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

Question

看看这个简单的sn-p：

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’模板 结构 Foo { };

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

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

Answer 1

在[dcl.type.auto.deduct]:

包含占位符类型的类型T，以及对应的初始化器e，确定如下：

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

这似乎表明推导的类型是decltype(Enum1::Value)，值是Enum1::Value。

---

decltype(Enum1::Value) 是否等于 decltype(Enum2::Value)？这段代码...

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

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

---

我认为你可能暴露了gcc中的一个错误。正如 Johannes Schaub 在 cmets 中指出的那样，还有一个 paragraph in favour of gcc's behavior。

有一个错误报告打开：#79092。

---

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

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

template <auto> 的行为与此不同会（恕我直言）令人惊讶和不受欢迎。