我知道我可以部分专门化类模板,并且我不能部分指定函数模板。
variable templates呢?我找不到有关它们是否可以部分专业化的文档。
答案 0 :(得分:4)
是的,根据[temp.arg.template]/2:
实例化基于模板template-parameter的专业化时,将考虑与主要类模板或主要变量模板相关的任何部分专业化。 ...
... 类模板的部分专业化声明,变量模板,非模板类的成员类模板,非模板的静态数据成员模板的放置类,类模板的成员类模板等。
它在[constraints.namespace.std]/3中也提到过:
如果C ++程序声明了任何标准库变量模板的显式或部分专业化,则该C ++程序的行为未定义,除非该变量的规范明确允许模板。
更不用说所有主要的编译器(Clang,GCC和MSVC)都没有问题:
template <int x, int y>
constexpr int foo = -1;
template <>
constexpr float foo<1, 0> = 1.0;
template <int x>
constexpr double foo<1, x> = 1.1;
int main()
{
static_assert(foo<0, 0> == -1, "");
static_assert(foo<0, 1> == -1, "");
static_assert(foo<1, 0> == 1.0, "");
static_assert(foo<1, 1> == 1.1, "");
}