表达式中多个位移位运算符的意外行为

Question

我注意到我正在编写的程序运行不正常，所以我编写了一个简单的测试来检查问题是否是二进制移位。 代码如下：

#include <iostream>
#include <Windows.h>
#include <bitset>

using namespace std;
int main(){
    BYTE byte = 0b10010000; //This is 2^7 + 2^4 = 144
    cout << "This is the binary number 10010000: " << endl << "Numerical value: " << (unsigned short int) byte << endl << "Binary string: " << bitset<8>(byte) << endl;

    byte = byte << 1;
    cout << "Shifted left by 1 with << 1:" << endl << "Numerical value: " << (unsigned short int) byte << endl << "Binary string: " << bitset<8>(byte) << endl;

    byte = byte >> 5;
    cout << "Shifted right by 5 with >> 5: " << endl << "Numerical value: " << (unsigned short int) byte << endl << "Binary string: " << bitset<8>(byte) << endl;

    byte = 0b10010000;
    byte = (byte << 1) >> 5; //Expect to store 00000001 inside byte
    cout << "But what happens if I do it all in one line? " << endl << "Numerical value: " << (unsigned short int) byte << endl << "Binary string: " << bitset<8>(byte) << endl;
    return 0;
}

Output出品

通过运行它，会产生以下 output：

这是二进制数 10010000：
数值：144
二进制字符串：10010000
<< 1 左移 1：
数值：32
二进制字符串：00100000
用 >> 5 右移 5：
数值：1
二进制字符串：00000001
但是，如果我在一行中完成所有操作会发生什么？
数值：9
二进制字符串：00001001

我所期待的

我预计cout打印的最后一条消息是：

但是，如果我在一行中完成所有操作会发生什么？
数值：1
二进制字符串：00000001

但令人惊讶的是，事实并非如此。
有人可以向我解释为什么会这样吗？ 我尝试检查 microsoft 文档，但一无所获。

附加信息：BYTE 类型在这里定义： https://docs.microsoft.com/en-us/windows/win32/winprog/windows-data-types

Answer 1

您正在体验 integer 促销的效果。

操作byte << 1不会产生unsigned char ，尽管byte属于该类型。 基本原理是硬件通常无法对小型类型（机器字以下）执行许多操作，因此 C++ 继承自 C 将操作中的数据类型提升为较大类型的概念。

因此，由于结果不是 8 位，而是可能是 32 位，因此最高有效位不会移出而是保留。 在将 32 位值移回并隐式将其转换回unsigned char后，该位又回到了 output 中。