带括号的子表达式的类型提升规则是什么？

如何解决带括号的子表达式的类型提升规则是什么？

假设一个整数表达式包含多个无符号整数类型uint16_t和uint32_t。该表达式包含一个带括号的子表达式，其中所有元素的类型均为uint16_t。

在评估子表达式之前，应将带括号的子表达式中的元素提升为uint32_t吗？

例如：

#include <stdint.h>
#include <stdio.h>

int main(void)
{
    uint16_t a16 = 0x2000;
    uint16_t b16 = 0x3000;
    uint32_t c32 = 0x00000001;
    uint32_t d32;

    // Should (a16 * b16) be evaluated to 0x06000000,or to 0x0000?
    // Should d32 be evaluated to 0x06000001,or to 0x00000001?
    d32 = c32 + (a16 * b16);

    printf("d32=0x%08x\n",d32);

    return 0;
}

在 ideone 在线编译器中进行尝试，建议在乘法之前将a16和b16提升为uint32_t。这是C标准强制要求的吗？为什么不在括号内时求值为uint16_t？

解决方法

在乘法之前，所有小于int的类型都将提升为int。

因此，如果您具有32位2的补码int，则结果实际上是两种int32_t类型的乘积。

表达式中的括号对该隐式类型转换或最终结果均无效。

无论何时使用小于类型int的类型的表达式，它都会首先提升为int或unsigned int，而与表达式的上下文无关。

C standard的6.3.1.1p2节对此进行了详细说明：

以下表达式可以在int或可以使用unsigned int

具有整数类型（int或unsigned int除外）的整数转换等级较小的对象或表达式等于或等于int和unsigned int的等级。

_Bool，int，signed int或unsigned int类型的位域。

如果int可以表示原始类型的所有值（如受宽度限制（对于位字段），该值为转换为int；否则，它将转换为 unsigned int。这些称为整数促销。所有整数促销未更改其他类型

因此，在您的情况下，假设a16大于{{1}，b16和int都将被提升为int，然后再应用于任何运算符。 }。

请注意，这是整数促销，与常规算术转换不同。后者规定了在应用运算符之前如何将两个不同类型的操作数转换为通用类型。

假设一个整数表达式由多个无符号整数组成键入uint16_t和uint32_t。该表达式包含一个括号子表达式，其中所有元素的类型均为uint16_t。

应将带括号的子表达式中的元素设置为在评估子表达式之前提升为uint32_t？

不。主要有两种可能性：

uint16_t与unsigned int的类型相同。在这种情况下，在评估具有两个uint16_t操作数的操作时不会执行任何提升，并且结果的类型为uint16_t。
int比uint16_t宽，因此可以表示uint16_t可以表示的所有值。在这种情况下，当一个二元运算符的两个操作数都为uint16_t类型时，它们都被提升为int（肯定与uint32_t不同），并且运算的结果为输入int。

原则上，C并不排除在实践中您永远不会看到的第三种可能性：

uint16_t与unsigned int的类型不同，但是大小相同。在这种情况下，您要么晋升到unsigned int（在这种情况下不能与uint32_t相同），要么没有晋升。

在不允许使用符合C的实现的情况下，有问题的操作数都不会提升为uint32_t，使用两个uint16_t操作数的操作也不会产生uint32_t的结果。