如何实现适配所有无符号数值类型的按标志设置最高位通用方案？

直接通过类型推导生成对应长度的最高位掩码即可，完整实现代码如下：

#include <type_traits>

template<typename K>
class Item {
  public:
    K first;

    Item() = default;
    explicit Item(const K &elem, const bool flag = false) {
        // 限制仅支持无符号整数类型，避免未定义行为，C++17以下版本替换为std::is_unsigned<K>::value
        static_assert(std::is_unsigned_v<K>, "K must be an unsigned integer type");
        // 生成当前K类型的最高位掩码
        constexpr K highest_bit_mask = static_cast<K>(1) << (sizeof(K) * 8 - 1);
        // 清空原有最高位，保留其他位
        first = elem & (~highest_bit_mask);
        // 根据标志位设置最高位
        if (flag) {
            first |= highest_bit_mask;
        }
    }
};

原写法失效原因 #

你之前尝试8 * sizeof(K)不生效，大概率是直接用了1 << (8 * sizeof(K) - 1)生成掩码：字面量1默认是int类型，当K的字节数大于等于int的字节数时，移位操作会超出int的取值范围，触发未定义行为，因此结果不符合预期。必须先将字面量1强转为K类型再做移位。

注意事项 #

• 上述实现默认仅支持无符号整数类型，有符号整数的最高位为符号位，直接移位操作属于C++标准规定的未定义行为，不建议直接使用。如果确实需要支持有符号类型，可以先转为对应长度的无符号类型操作完成后再强转回原类型。
• 不需要额外依赖其他库，兼容C++11及以上标准。

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