c++ - C++ 表达式中什么时候会发生隐式强制转换？

Question

这是一个非常简单的问题。我注意到以下内容在 MSVS2012 中编译时为 val 生成 预期的 0x3412 结果:

unsigned char test[] = { 0x12, 0x34, 0x56, 0x78 };
unsigned char* ch = test;
unsigned int val = *ch | (*(ch+1) << 8);

我实际上希望右边的取消引用的字符指针 *(ch+1) 产生 0x34 的 char 值，然后将其左移 8 位生成 0x00。似乎在值被取消引用的时间点，它已经存储在一个大到足以包含至少两个字节的类型中。

这是在某处的 C++ 标准中指定的吗？这种隐式转换究竟是如何发生的？

Answer 1

这包含在 draft C++ standard 中5.8 Shift operators 段 1 说:

[...]The operands shall be of integral or unscoped enumeration type and integral promotions are performed.[...]

和积分促销在4.5部分积分促销中介绍，在1段中说:

A prvalue of an integer type other than bool, char16_t, char32_t, or wchar_t whose integer conversion rank (4.13) is less than the rank of int can be converted to a prvalue of type int if int can represent all the values of the source type; otherwise, the source prvalue can be converted to a prvalue of type unsigned int.