非类型函数模板参数枚举需区分？跨编译器差异是否为未定义行为？

一、作为非类型函数模板参数的枚举是否需要彼此区分？ #

• 是的，不同枚举类型（尤其是强类型枚举enum class）作为非类型模板参数时，属于不同的模板参数类型，编译器应当将它们视为不同的模板重载。
• 强类型枚举的核心特性就是类型隔离，它们的类型独立于底层整数类型和其他枚举类型，因此哪怕枚举值的底层数值一致，只要枚举类型不同，对应的模板实例化就该是不同的实体。

二、代码的编译差异是否属于未定义行为？ #

给出的代码中，两个f模板分别以强类型枚举A和B作为非类型参数。MSVC中调用f<B::x>()时失败，是因为它误将f<A::a>()（底层值0）和f<B::x>()（底层值0）判定为实例化了同一个模板，但实际上这两个模板的参数类型完全不同。

结论： #

这不属于未定义行为，而是MSVC对C标准的实现存在偏差。
根据C标准，模板签名由模板参数的类型决定，而非参数的具体数值。强类型枚举A和B是不同的类型，因此两个template<A a_> void f()与template<B b_> void f()是合法的重载，它们的实例化（哪怕枚举值底层数值相同）也应该是不同的函数实体。

具体解析： #

• clang和g的实现符合标准：它们正确区分了不同枚举类型作为模板参数的情况，即便枚举值底层数值相同，也会生成独立的函数实例，因此代码能正常编译运行。
• MSVC的问题在于将强类型枚举的非类型模板参数等价于其底层整数类型，忽略了枚举本身的类型差异，导致把不同类型但同数值的参数当成同一个模板实例，进而引发编译/链接冲突。

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