为std::byte特化std::numeric_limits是否安全？

你观察到的现象是对的：C++标准并未为std::byte提供std::numeric_limits的特化，因此使用默认模板实现时，digits成员会返回默认值0。

关于自行特化的安全性——绝对不要这么做：

• 根据C++标准规则，用户仅允许在std命名空间中特化模板，前提是该特化针对的是用户自定义类型。std::byte属于标准库提供的类型，不属于用户自定义范畴，因此在std中特化numeric_limits<std::byte>属于未定义行为。这可能导致编译错误、运行时异常，或是和未来标准库的更新产生冲突（比如后续标准为std::byte添加了官方特化，你的自定义特化会引发冲突）。

替代方案 #

不用修改std命名空间，自己实现工具类或函数来获取std::byte的数值属性即可：

1. 自定义工具类：

struct ByteLimits {
    static constexpr int digits = 8;
    static constexpr bool is_integer = true;
    static constexpr bool is_signed = false;
    // 按需添加其他需要的属性
};

使用时直接调用ByteLimits::digits即可。

2. 模板特化工具函数：

#include <limits>
#include <cstddef>

template<typename T>
constexpr int get_numeric_digits() {
    return std::numeric_limits<T>::digits;
}

// 针对std::byte的特化
template<>
constexpr int get_numeric_digits<std::byte>() {
    return 8;
}

调用时用get_numeric_digits<std::byte>()获取预期值。

另外需要注意：部分编译器或标准库可能提供了非标准的std::numeric_limits<std::byte>特化，但这类实现不具备可移植性，依赖它们会导致代码在不同环境下行为不一致，因此不推荐使用。

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