C++无符号转带符号可移植转换：static_cast与std::bit_cast选型问题

核心结论 #

你描述的场景下应当优先使用std::bit_cast<short int>(x)替代static_cast，且你的判断完全正确：std::bit_cast在所有符合C++20标准的运行环境下返回结果完全一致，static_cast的行为则属于实现定义，存在跨环境结果不一致的可能。

原因说明 #

• static_cast的实现定义问题 #

  当unsigned short int类型的值超出short int的可表示范围时（也就是字节反转后的数值最高位为1，对应无符号值大于32767，这是short为16位的常规场景），C++标准明确规定static_cast从无符号整数转同宽度有符号整数的行为属于实现定义，没有强制要求保留原始位模式。虽然绝大多数现代编译器都会选择直接按补码解释位模式，和你本地测试的结果一致，但不保证所有平台、所有编译器都遵循这个逻辑，代码可移植性得不到标准保障。

• std::bit_cast的标准保障 #

  C20引入的std::bit_cast明确要求：当源类型和目标类型大小相同、且均为可平凡复制类型时，会完全保留源对象的位模式，直接按目标类型解释这些位。unsigned short int和short int完全满足上述前提条件，因此只要是符合C20标准的实现，std::bit_cast的行为完全一致，不存在实现定义的歧义，语义也完全匹配你「保留反转后的位模式直接解释为有符号短整型」的需求。

额外注意点 #

你当前的代码中遍历vals时用了非const引用，会直接修改原数组中存储的元素，如果你的业务逻辑没有修改原数组的需求，建议调整为用临时变量存储反转后的值，避免副作用：

std::vector<short int> result;
for(const unsigned short int& x : vals) {
    unsigned short swapped = (x << 8) | (x >> 8);
    result.push_back(std::bit_cast<short int>(swapped));
}

如果你的编译环境不支持C++20，可以用std::memcpy实现等价的位模式复制，行为同样受标准保障：

std::vector<short int> result;
for(const unsigned short int& x : vals) {
    unsigned short swapped = (x << 8) | (x >> 8);
    short res;
    std::memcpy(&res, &swapped, sizeof(res));
    result.push_back(res);
}

内容的提问来源于stack exchange，提问作者user17004502