c - 为什么这个条件表达式的大小是 float ？

Question

我期望输出为“short int”，但输出为“float”。

#include <stdio.h>
int main(void)
{
    int x = 1;
    short int i = 2;
    float f = 3;
    if (sizeof((x == 2) ? f : i) == sizeof(float))
        printf("float\n");
    else if (sizeof((x == 2) ? f : i) == sizeof(short int))
        printf("short int\n");
}

Answer 1

您期望(x == 2) 吗？ f : i 具有基于 x 值的类型。但这不是 C 类型系统的运行方式。条件运算符是一个表达式，C 中的所有 * 表达式在编译时都有固定的类型。 sizeof 所操作的正是这种类型。表达式的值取决于 x 的值，但类型仅取决于 f 和 i。

在这种情况下，类型是由通常的算术转换确定的，它指定 float 作为结果的类型，就像您编写 f + i 一样>，不出所料，结果也是一个float。

<小时/>

<子> (*) - VLA 对此规则提供了豁免，但您的问题与此无关，因此无关紧要。