复合字面量数组的sizeof是否产生副作用？编译期评估是否合规？

1. 编译期求值与标准保障 #

根据C99及后续版本的C标准（C11、C17、C23），sizeof运算符的操作数若为完整非变长数组类型的表达式，其计算结果属于编译期常量，求值过程完全在编译阶段完成，该行为有明确的标准条款保障。

此处的(int[]){1,2,3}是C99引入的复合字面量，它代表一个长度固定为3的int数组（属于完整非变长类型），因此sizeof对它的计算无需等到运行时，完全由编译器在编译期确定结果。

2. 操作数是否存在副作用 #

不存在任何副作用。

C标准明确规定：除非sizeof的操作数是变长数组（VLA）类型的表达式，否则操作数对应的表达式不会被实际求值。也就是说，这个复合字面量里的初始化值不会被存储到内存，也不会触发任何计算逻辑，自然不会产生诸如变量修改、函数调用这类副作用。

3. Tasking编译器警告与MISRA规则13.6合规性 #

Tasking编译器触发的side effects of 'sizeof' operand are ignored警告属于误报。

MISRA规则13.6的核心要求是：sizeof()的操作数不应包含具有潜在副作用的表达式。而此场景中，sizeof的操作数是一个非VLA复合字面量，表达式本身不会被求值，不存在任何可触发副作用的行为，完全符合该规则的要求。

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