为何使用sizeof()初始化数组合法，用strlen()却触发可变长度数组错误？

你遇到的编译行为差异，本质是C语言对「固定长度数组」和「变长数组（VLA）」的规则差异，加上两个函数的求值时机完全不同：

1. 为什么sizeof(str)可以正常初始化str2 #

首先要明确：sizeof是C语言的内置运算符，不是普通库函数，它的求值时机分两种情况：

• 当操作数是普通固定长度变量、数组、已知大小的类型时，sizeof的计算是完全在编译阶段完成的常量运算，结果是真正的编译期常量。
• 只有当操作数本身是变长数组类型时，sizeof才会推迟到运行时求值。
  对你写的代码来说，str是用字符串字面量直接初始化的固定长度字符数组，编译阶段就已经确定了它的总字节数（字符串可见字符数 + 末尾隐藏的\0结束符占的1字节），这时候sizeof(str)算出的是实打实的编译期常量。
  这时候定义的str2[sizeof(str)]是普通的固定长度数组，完全符合C语言对固定数组的初始化规则——可以在定义时用{初始化列表}给元素赋初值，自然能正常编译。
  针对你问的“sizeof()的返回值不也是变量吗？”：绝大多数情况下不是。只要sizeof的操作数不是变长数组，它的结果全是编译期就能确定的常量值，根本不存在“运行时才动态变化”的情况，自然不算变量。

2. 为什么换成strlen(str)就触发报错 #

strlen是标准库提供的运行时函数，它的计算逻辑是：从传入的内存地址开始逐字节遍历，直到碰到第一个\0字符为止才返回长度——这个过程必须等程序实际加载内存内容、运行起来才能算出结果，编译阶段根本无法提前确定最终的长度值。
这时候定义str2[strlen(str)]的时候，因为数组长度是运行时才能确定的值，这是一个典型的变长数组（VLA）。而C语言标准有明确的约束：变长数组不支持在定义时直接携带初始化列表——因为编译器在编译阶段根本不知道这个动态长度的数组到底会占多少内存、需要匹配多少个初始化值，所以直接抛出variable-sized object may not be initialized的报错。
举个实际的数值参考：你写的字符串" @@ Aab, ~bccdD>> e"，sizeof(str)算出来是包含末尾\0的总长度，而strlen(str)算出来的是不包含\0的可见字符串长度，两个值本身在数值上就差1，加上求值时机的差异，自然触发了不同的编译逻辑。

常见认知误区 #

很多人会觉得“明明我传的字符串是固定的，strlen(str)的结果不就是个固定值吗”，但实际上C语言的语法检查是严格按照「长度表达式是否为编译期可确定的常量表达式」来判定的——只要表达式里包含strlen这类运行时函数，哪怕逻辑上结果是固定的，编译器也会把它判定为运行时长度，进而识别为变长数组，拒绝支持定义时初始化。
如果确实需要基于strlen算出来的长度创建数组并赋初值，不能在数组定义的时候直接写初始化列表，得等数组定义完之后再手动赋值元素，写法参考：

char str[] = " @@ Aab, ~bccdD>> e";
size_t str_len = strlen(str);
char str2[str_len];
str2[0] = -1; // 禁止在定义数组时直接写 { -1 } 初始化

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