标准C中能否用三元表达式创建数组或空指针？为何无法实现？

• 语法不成立：你写的int[var]是数组声明的语法，不是能求值的表达式。条件运算符?:的两边必须是合法表达式，编译器看到这种写法直接报错。
• 变长数组（VLA）的规则限制：C99才允许变长数组，但它只能在代码块里单独声明成自动变量（比如int tmp[var];），不能在赋值、条件表达式这种地方凭空创建未命名的VLA。
• 你误解了数组和指针的关系：数组不是指针——数组是一块连续内存，有自己的类型（比如int[var]就是变长数组类型，不是int*），只是在多数表达式里会自动转成指向首元素的指针，但这种转换是单向的，不能把数组声明语法当指针表达式用。
• 生命周期逻辑存在矛盾：就算语法放行，临时VLA的生命周期也没法定义。自动变量的内存到所在代码块结束就会被释放，要是在条件表达式里生成VLA并赋值给指针，过了这行代码指针就成了悬垂指针，访问它就是未定义行为，标准不可能允许这种隐患写法。

可行的替代方案 #

如果不想用malloc，可以试试C99的复合字面量（注意内存生命周期的坑）：

int *arr = condition ? (int[var]){} : NULL;

但要记住：这个复合字面量是自动存储期，离开当前代码块后，arr指向的内存就失效了，再访问会出问题。

要是想避免悬垂指针，要么用malloc手动管理内存（用完记得free），要么把数组放到更大的作用域里：

int *arr = NULL;
if (condition) {
    static int tmp[var]; // 这里var得是编译期常量，而且static变长数组是C11可选特性，不是所有编译器都支持
    arr = tmp;
}

内容的提问来源于stack exchange，提问作者donotread123