c - "? :"发生了什么？我不知道返回类型

Question

我认为((1 ? (int)1 : (unsigned int)2) > -1)结果 1 (正确)，但实际上它是 0 (假)在 Visual Studio 2017 中。

我认为(1 ? (int)1 : (unsigned int)2)的值(value)应该是 (int)1 ，因为 1 ?是真的，1 > -1会是真的。

不知道为什么这个表达式最后的结果是false。

当我尝试像 ((int)(1 ? (int)1 : (unsigned int)2) > -1) 那样转换时, 它返回 1 (正确)。

signed int test = -1;
signed int si = 1;
unsigned int ui = 2;

printf("%d\n", ((1 ? si : ui) > test));
return 0;

我希望输出为 1 , 但实际输出是 0 .

Answer 1

a 的类型？ b : c 不依赖于 a。它由 b 和 c 的类型无条件确定。完整的规则很复杂，但是对于算术操作数，类型由通常的算术转换决定。实际上，这两个操作数被转换为通用类型。对于 int 和 unsigned int，结果类型为 unsigned int。

条件运算符，？ : 在 C 2018 标准的第 6.5.15 条中进行了描述。第 4 段说结果“转换为下面描述的类型”。

第 5 段描述了算术类型、结构和 union 的结果:

If both the second and third operands have arithmetic type, the result type that would be determined by the usual arithmetic conversions, were they applied to those two operands, is the type of the result. If both the operands have structure or union type, the result has that type. If both operands have void type, the result has void type.

算术类型是整数和浮点类型，根据 6.2.5 18。(这些包括实数和复数类型。)通常的算术转换在 6.3.1.8 1 中描述，它们是(在我的总结中，未引用) ):

• 如果其中一个是复数类型，则结果为复数，其余规则描述实部和虚部的类型。否则，结果为真实，其余规则描述其类型。
• 如果其中一个是long double，则结果是long double。
• 否则，如果其中一个是double，则结果是double。
• 否则，如果其中一个是float，则结果是float。
• 否则，整数提升应用于每个操作数(这些在 6.3.1.1 2 中指定)，然后将两种类型转换为通用整数类型。完整的规则有点复杂，使用需要一些解释的等级概念，并涵盖一些深奥的情况，所以我只针对正常情况总结它们:如果两种类型都是 int 或更窄(意味着更少的位数或相同数量的位数但有符号而不是无符号)，结果是 int。否则，如果两者都是 unsigned int 或更窄的值，则结果为 unsigned int。否则，结果是更宽的类型。

structure、union、void规则很明确:两个操作数必须有相同的类型，那就是结果。

第 6 段描述了指针的结果:

If both the second and third operands are pointers or one is a null pointer constant and the other is a pointer, the result type is a pointer to a type qualified with all the type qualifiers of the types referenced by both operands. Furthermore, if both operands are pointers to compatible types or to differently qualified versions of compatible types, the result type is a pointer to an appropriately qualified version of the composite type; if one operand is a null pointer constant, the result has the type of the other operand; otherwise, one operand is a pointer to void or a qualified version of void, in which case the result type is a pointer to an appropriately qualified version of void.

总而言之，就是说:

• 如果任一操作数具有限定符(const、volatile、restrict 或 _Atomic)，请将它们包含在结果类型。
• 如果两种类型不同但兼容(例如未知大小的数组和已知大小的数组，两者都具有相同类型的元素)，则将这两种类型结合起来。 (除了数组大小之外，其他组合的可能性包括数组的元素是不同但兼容的类型，带有和不带参数列表的函数，以及函数的参数是不同但兼容的类型。)