（部分）专门化依赖类型的非类型模板参数

Question

也许我累了，但是我被这个简单的局部特化卡住了，它不起作用，因为非类型模板参数用依赖类型'T'指定模板参数：

template <typename T, T N> struct X;
template <typename T>      struct X <T, 0>;

将0替换为T（0），T{0}或（T）0没有帮助。那么这种专门化是否可能呢？

Answer 1

您可以将typename=void参数添加到template参数列表的末尾，然后使用std:：enable\u if\t

Answer 2

使用Yakk的解决方案：

#include <iostream>
#include <type_traits>

template <typename T, T N, typename = void > 
struct X {
  static const bool isZero = false;
};

template <typename T, T N>
struct X < T, N, typename std::enable_if<N == 0>::type > {
  static const bool isZero = true;
};

int main(int argc, char* argv[]) {
    std::cout << X <int, 0>::isZero << std::endl;
    std::cout << X <int, 1>::isZero << std::endl;
    return 0;
}

现场演示

Answer 3

见本标准第14.5.5/8段【温度等级规范】：

与专门化的非类型参数相对应的模板参数的类型不应依赖于专门化的参数。[示例：

template <class T, T t> struct C {};
template <class T> struct C<T, 1>; // error

template< int X, int (*array_ptr)[X] > class A {};
int array[5];
template< int X > class A<X,&array> { }; // error

-[结束示例]

编辑的答案是：最简单的解决方法是将非类型模板参数替换为类型模板参数：

#include <type_traits>

template <typename T, typename U>
struct X_;

template <typename T, T N>
struct X_<T, std::integral_constant<T, N>> {};

template <typename T>
struct X_<T, std::integral_constant<T, 0>> {};

template <typename T, T N>
struct X : X_<T, std::integral_constant<T, N>> {};