为什么sizeof(x++)不增加x?

sizeof是一个< em >编译时操作符< / em >，所以在编译时sizeof及其操作数将被结果值替换。的操作数为not evaluate (除非它是一个变长数组);只有结果的type才重要。

short func(short x) {  // this function never gets called !!
printf("%d", x);    // this print never happens
return x;
}


int main() {
printf("%d", sizeof(func(3))); // all that matters to sizeof is the
// return type of the function.
return 0;
}

输出:

2

as short在我的机器上占用2个字节。

将函数的返回类型更改为double:

double func(short x) {
// rest all same

将给出8作为输出。

从C99标准(重点是我的)

6.5.3.4/2

sizeof操作符产生其操作数的大小(以字节为单位)，该操作数可以是表达式或带括号的类型名。大小由操作数的类型决定。结果是一个整数。如果操作数的类型是变长数组类型，则计算该操作数;否则，不计算操作数，结果是一个整数常量。

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

6.5.3.4:

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

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

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

(sizeof x)  //this also works

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

由于sizeof操作符的操作数没有被求值，你可以这样做:

int f(); //no definition, which means we cannot call it


int main(void) {
printf("%d", sizeof(f()) );  //no linker error
return 0;
}

在线演示:http://ideone.com/S8e2Y

也就是说，如果函数f只在sizeof中使用，则不需要定义它。这种技术主要用于c++模板元编程，因为即使在c++中，sizeof的操作数也不会求值。

为什么会这样?它能工作是因为sizeof操作符不操作价值，而是操作表达式的类型。因此，当你编写sizeof(f())时，它操作表达式f()的类型，而它只是函数f的返回类型。返回类型总是相同的，不管函数实际执行时会返回什么值。

在c++中，你甚至可以这样做:

struct A
{
A(); //no definition, which means we cannot create instance!
int f(); //no definition, which means we cannot call it
};


int main() {
std::cout << sizeof(A().f())<< std::endl;
return 0;
}

然而看起来，在sizeof中，我首先通过编写A()创建了A的实例，然后通过编写A().f()调用实例上的f函数，但没有发生这样的事情。

演示:http://ideone.com/egPMi

下面是另一个主题，它解释了sizeof的其他一些有趣的属性:

• sizeof取两个参数

sizeof()操作符只给出数据类型的大小，它不计算内部元素。

请注意

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

原始

除了可变长度数组， 运算符不计算它的实参。我们可以从C99标准草案6.5.3.4 sizeof操作符段落2中看到这一点，该段落说:

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

sizeof( char[x++]  ) ;

sizeof( char[func()]  ) ;

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