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

6.5.3.4:

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

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

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 (foo)在编译时非常努力地发现表达式的大小:

6.5.3.4:

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

简而言之:可变长度数组，在运行时运行。(注意:可变长度数组是一个特定的特性——不是由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

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

为什么会这样?它可以工作，因为sizeof操作符不操作值，而是操作表达式的类型。因此，当你编写sizeof(f())时，它对表达式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()，然后调用实例上的函数f，通过编写A().f()，但这样的事情没有发生。

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

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

Sizeof取两个参数