C++20如何定义枚举模板？枚举模板声明报错原因解析

enum ByteOrder :uint16_t
{
    LittleEndian = 0x4949,
    BigEndian = 0x4D4D,
};
template<ByteOrder BO>
enum SF :uint16_t;
template<>
enum SF<LittleEndian>
{
    SF_A = 0x0001;
};
template<>
enum SF<BigEndian>
{
    SF_A = 0x0100;
};

这个报错的指向非常明确：C++ 从首个支持模板的版本开始，就不允许在全局/命名空间作用域直接声明独立的枚举模板。只有当被声明/特化的枚举属于某个已经提前定义的类模板成员时，带template前缀的枚举声明才是合法语法。
你写的template<ByteOrder BO> enum SF :uint16_t;是全局作用域下的独立枚举，不属于任何类模板的成员，完全不符合语法规则，编译器才会抛出这个错误。

• 无论是 C20 还是更新的 C23 标准，都不支持独立的全局/命名空间作用域枚举模板，不存在任何特殊编译开关、扩展语法可以开启这个特性，这个语法限制从模板特性诞生起就没有被放开过。
• C20 确实调整了枚举相关的模板规则，但仅放宽了类模板成员枚举的特化限制：旧标准中要特化类模板内部的枚举，必须先特化整个外层类模板；C20 允许直接特化类模板的成员枚举，不需要特化整个外层类。这个规则调整和你尝试写的全局枚举模板没有关系。

要实现字节序自适应的枚举值，最通用的方案是用结构体模板包裹枚举定义，通过特化结构体区分不同字节序下的枚举值，参考实现如下：

enum ByteOrder :uint16_t
{
    LittleEndian = 0x4949,
    BigEndian = 0x4D4D,
};

template<ByteOrder BO>
struct SF_detail;

template<>
struct SF_detail<LittleEndian>
{
    enum Type :uint16_t
    {
        SF_A = 0x0001
    };
};

template<>
struct SF_detail<BigEndian>
{
    enum Type :uint16_t
    {
        SF_A = 0x0100
    };
};

// 定义别名简化调用
template<ByteOrder BO>
using SF = typename SF_detail<BO>::Type;

使用时直接通过SF<LittleEndian>::SF_A、SF<BigEndian>::SF_A就能拿到对应字节序下的正确枚举值，和你原本预期的使用效果基本一致。

内容的提问来源于stack exchange，提问作者埃博拉酱