C++ 中模板化子 class 专业化的限制

Question

假设我们有代码：

template <int Size>
struct A {
    template <typename T, typename Enable = void> struct B;
    template <> struct B<bool, std::enable_if_t<Size >= 1>> {};
    template <> struct B<short, std::enable_if_t<Size >= 2>> {};
};

template <int Size>
struct D {
    template <typename T> struct E;
    template <> struct E<bool> {};
    template <> struct E<short> {};
};

template <int Size>
struct F {
    template <typename T> struct G {};
};

template <int Size, typename T, typename Enable = void> struct C;
template <int Size> struct C<Size, bool, std::enable_if_t<Size >= 1>> {};
template <int Size> struct C<Size, short, std::enable_if_t<Size >= 2>> {};

结构 C 和 F 在所有 CLang/GCC/MSVC 中都能很好地编译。 Struct D 在 CLang/MSVC 中编译良好，但在 GCC 中有编译错误。结构 A 没有被所有 CLang/GCC/MSVC.

编译

GCC 对 D 的错误（与 A 类似）：

<source>:19:15: error: explicit specialization in non-namespace scope 'struct D<Size>'
   19 |     template <> struct E<bool> {};

CLang 对 A 的错误：

type_traits:2514:44: error: no type named 'type' in 'std::enable_if<false>'; 'enable_if' cannot be used to disable this declaration
    using enable_if_t = typename enable_if<_Cond, _Tp>::type;

MSVC 对 A 的错误：

<source>(11): error C2938: 'std::enable_if_t<false,void>' : Failed to specialize alias template
<source>(11): note: see reference to alias template instantiation 'std::enable_if_t<false,void>' being compiled
<source>(30): note: see reference to class template instantiation 'A<1>' being compiled
<source>(11): error C2913: explicit specialization; 'A<1>::B' is not a specialization of a class template

我有几个问题：

在标准 C++ 中是否允许专门化模板化子class？有什么限制？看起来 GCC 根本不允许，CLang/MSVC 允许但有一定的限制。
是否允许模板化子class。如果允许，我该如何专门化它？也许他们允许一些超出 class 的专业化（那么语法是什么）？
如果不允许专门化模板化子class，那么至少允许有完全定义的模板化子class（没有专门化）？看起来上面的结构 F 使用了完全定义的模板化子 class 并且在任何地方都可以很好地编译。

Answer 1

为什么 A 不起作用

你可以注意到A和F的区别，std::enable_if是用Size来检查，但是它是class模板的模板参数A，但不是内部模板 B 本身的模板参数。如果您像 F 那样添加一个，那么它将起作用。例如

template <int Size>
struct A {
    template <int S = Size, typename T = void, typename Enable = void> struct B;
    template <int S> struct B<S, bool, std::enable_if_t<S >= 1>> {};
    template <int S> struct B<S, short, std::enable_if_t<S >= 2>> {};
};

为什么 Gcc 不能与 D

它似乎是一个 gcc's issue, according to CWG 727，可以在任何范围内声明显式特化，包括在 class 定义中。

An explicit specialization may be declared in any scope in which the corresponding primary template may be defined (10.3.1.2 [namespace.memdef], 12.2 [class.mem], 17.6.2 [temp.mem]).

C++ 中模板化子 class 专业化的限制

Limits of templated sub-class specialization in C++

c++

templates

subclass

template-specialization