是否允许使用具有相同整数值的枚举专门化模板？

Question

看看这个简单的片段：

enum class Enum1 { Value };
enum class Enum2 { Value };
template <auto> struct Foo;
template <> struct Foo<Enum1::Value> { };
template <> struct Foo<Enum2::Value> { };

clang编译了这个，但是gcc-7.2失败了：

x、 cpp:5:20:错误：重新定义“struct Foo”

此错误消息似乎无效，在第5行，写入了Enum2:：Value。

哪个编译器是正确的？这是符合标准的代码吗？

Answer 1

在[dcl.type.auto.deduct]：

包含占位符类型的类型T，以及相应的初始值设定项e，确定如下：

• 对于使用包含占位符类型的类型声明的非类型模板参数，T是非类型模板参数的声明类型，e是相应的模板参数

这似乎表明推断的类型将是decltype（Enum1:：Value），而值将是Enum1:：Value。

dectype（Enum1::Value）是否等于dectype（Enum2::Value）？这段代码...

static_assert(std::is_same_v<decltype(Enum1::Value), decltype(Enum2::Value)>);

...无法同时使用clang 6和g 8进行编译。

我想你可能暴露了gcc中的一个错误。正如Johannes Schaub在评论中指出的那样，还有一段支持gcc的行为。

有一个bug报告打开了：#79092。

还请注意，两个编译器都接受以下代码：

template <typename T, T> struct Foo;
template <> struct Foo<decltype(Enum1::Value), Enum1::Value> { };
template <> struct Foo<decltype(Enum2::Value), Enum2::Value> { };

模板