非命名空间范围内的显式特化在 GCC 中不编译

Question

以下代码在 Clang 中编译，但在 GCC 中不编译：

template<typename T>
struct Widget
{
    template<typename U>
    void foo(U)
    {
    }

    template<>
    void foo(int*)
    {
    }
};

根据 C++ 标准（[temp.expl.spec]，第 2 段）：

可以在对应的主模板可能存在的任何范围内声明显式特化 定义

这是 GCC 中的错误吗？如果是，我如何在其错误跟踪器中找到它？

这是 GCC 的输出：

prog.cc:13:14: error: explicit specialization in non-namespace scope 'struct Widget<T>'
     template<>
              ^

我正在使用 GCC HEAD 8.0.1，-std=c++2a。

Answer 1

这应该是 GCC 错误。在任何范围内都应允许完全专业化，包括在类定义中。

根据CWG 727，[temp.expl.spec]第2段从

（强调我的）

显式特化应在命名空间中声明包含特化模板。 declarator-id 或 class-head-name 未限定的显式特化应在模板的最近的封闭命名空间中声明，或者，如果命名空间是内联的（10.3.1 [namespace.def]），则应在模板的任何命名空间中声明封闭的命名空间集。这样的声明也可以是一个定义。如果声明不是定义，则可以稍后定义特化（10.3.1.2 [namespace.memdef]）。

到

（强调我的）

显式特化可以在任何范围内声明，在其中可以定义相应的主模板（10.3.1.2 [namespace.memdef]、12.2 [class.mem]、17.6.2 [temp .mem])。

GCC 似乎没有遵循这一点。

编辑

我已将问题报告为Bug 85282。