下面是在dev c++ windows中编译的代码:

#include <stdio.h>

int main() {
    int x = 5;
    printf("%d and ", sizeof(x++)); // note 1
    printf("%d\n", x); // note 2
    return 0;
}

我期望在执行注释1后x为6。然而,输出结果是:

4 and 5

有人能解释一下为什么x在注释1之后没有增加吗?


当前回答

Sizeof在编译时运行,但x++只能在运行时求值。为了解决这个问题,c++标准规定不计算sizeof的操作数。C标准说:

如果操作数[of sizeof]的类型是变长数组类型,则计算该操作数;否则,操作数不计算,结果为整数常数。

其他回答

在编译期间不能执行。所以++i/i++不会发生。sizeof(foo())也不会执行函数,而是返回正确的类型。

Note

这个答案是从一个副本合并而来的,所以日期晚了。

原始

除了变长数组,sizeof不计算它的参数。我们可以从C99标准草案第6.5.3.4节sizeof运算符第2段中看到这一点,其中说:

sizeof操作符产生其操作数的大小(以字节为单位),该操作数可以是 表达式或类型的圆括号名称。尺寸是由类型决定的 操作数。结果是一个整数。如果操作数的类型是可变长度数组 类型,则对操作数求值;否则,操作数不求值,结果为 整型常量。

一个评论(现已删除)询问这样的东西是否会在运行时求值:

sizeof( char[x++]  ) ;

确实是这样,像这样的东西也会起作用(看他们都活下来了):

sizeof( char[func()]  ) ;

因为它们都是变长数组。不过,我觉得这两种方法都没什么实际用处。

注意,可变长度数组在C99标准草案第6.7.5.2节数组声明符第4段中涉及:

[…如果size是一个整数常量表达式,并且元素类型有一个已知的常量大小,则数组类型不是变长数组类型;否则,数组类型为变长数组类型。

更新

在C11中,VLA情况的答案会发生变化,在某些情况下,是否计算大小表达式是未指定的。在第6.7.6.2节中,数组声明符表示:

[…其中,size表达式是sizeof操作数的一部分 操作符和改变大小表达式的值将不会 影响运算结果的,不确定是否 计算大小表达式。

例如,在这样的情况下(看现场):

sizeof( int (*)[x++] )

Sizeof是一个编译时内置操作符,不是一个函数。在不带括号的情况下,这一点变得非常明显:

(sizeof x)  //this also works

Sizeof (foo)在编译时非常努力地发现表达式的大小:

6.5.3.4:

sizeof操作符产生其操作数的大小(以字节为单位),该操作数可以是 表达式或类型的圆括号名称。尺寸是由类型决定的 操作数。结果是一个整数。如果操作数的类型是可变长度数组 类型,则对操作数求值;否则,操作数不求值,结果为 整型常量。

简而言之:可变长度数组,在运行时运行。(注意:可变长度数组是一个特定的特性——不是由malloc(3)分配的数组。)否则,只计算表达式的类型,并在编译时计算表达式的类型。

这一行:

printf("%d and ", sizeof(x++)); // note 1

导致乌兰巴托。%d期望类型int而不是size_t。获得UB后,行为是未定义的,包括写入标准输出的字节。

如果你想通过将%d替换为%zu或将值转换为int来解决这个问题,但不是两者都用,你仍然不会增加x,但这是一个不同的问题,应该在不同的问题中问。