c - 具有条件(三元)表达式的运算符 'sizeof'

Question

当给定一个三元表达式时，我很难理解 sizeof 的行为。

#define STRING "a string"

int main(int argc, char** argv)
{
  int a = sizeof(argc > 1 ? STRING : "");

  int b = sizeof(STRING);
  int c = sizeof("");

  printf("%d\n" "%d\n" "%d\n", a, b, c);

  return 0;
}

在这个例子中(用 gcc 4.4.3 和 4.7.2 测试，用 -std=c99 编译)，b 是 9(8 个字符 + 隐式 '\0')，c 为 1(隐式 '\0')。由于某种原因，a 是 4。

根据 argc 是否大于 1，我希望 a 为 9 或 1。我认为可能字符串文字在传递给 sizeof 之前被转换为指针，导致 sizeof(char*) 为 4。

我尝试用字符数组替换 STRING 和 ""...

char x[] = "";
char y[] = "a string";
int a = sizeof(argc > 1 ? x : y);

...但我得到了相同的结果(a=4、b=9、c=1)。

然后我尝试深入研究 C99 spec ，但我没有在其中找到任何明显的解释。出于好奇，我也尝试将 x 和 y 更改为其他类型:

• char 和 long long int:a 变成 8
• 都是 short 或者都是 char:a 变成 4

所以肯定存在某种转换，但我很难找到任何官方解释。我可以想象这会发生在算术类型上(我模糊地意识到当涉及这些时有很多促销事件正在进行)，但我不明白为什么 三元表达式返回的字符串文字会是转换为大小为 4 的东西。

注意:在这台机器上 sizeof(int) == sizeof(foo*) == 4。

跟进

谢谢各位指点。了解 sizeof 和 ?: 的工作原理实际上让我尝试了更多的类型混搭并查看编译器的 react 。为了完整起见，我正在编辑它们:

foo* x = NULL; /* or foo x[] = {} */
int  y = 0;    /* or any integer type */

int a = sizeof(argc > 1 ? x : y);

产生 警告:条件表达式中的指针/整数类型不匹配 [默认启用] 和 a == sizeof(foo*)。

使用 foo x[], bar y[], foo* x, bar* y 或 foo* x, bar y[]，警告变为 指针类型不匹配。使用 void* 时没有警告。

float x = 0; /* or any floating-point type */
int   y = 0; /* or any integer type */

int a = sizeof(argc > 1 ? x : y);

不产生警告，a == sizeof(x)(即浮点类型)。

float x = 0;    /* or any floating-point type */
foo*  y = NULL; /* or foo y[] = {} */

int a = sizeof(argc > 1 ? x : y);

产生错误:条件表达式中的类型不匹配。

如果我完整阅读了规范，我会确保编辑此问题以指向相关部分。

Answer 1

您必须了解表达式，这是该语言的核心组成部分。

每个表达式都有一个类型。对于表达式 e，sizeof e 是表达式 e 的值类型的大小。

表达式 a ? b : c 有一个类型。该类型是 b 和 c 这两个操作数表达式的公共(public)类型。

在您的示例中，char[9] 和 char[1] 的常见类型是 char *(均为数组值表达式衰减为指向第一个元素的指针)。 (在 C++ 中，字符串文字的规则是不同的，到处都是 const。)