结构体与别名模板中非类型模板参数的编译差异问题

先看完整代码片段：

template <class>
struct wrapper;

template <int>
struct backend{};

//(1) 编译通过
template <int Arg>
using my_type = backend<Arg>;

//(2) 无法编译
//template <int Arg>
//using my_type = backend<Arg + 1>;

//(3) 编译通过
//template <int Arg>
//struct my_type : backend<Arg + 1>{};

template <int Arg>
struct wrapper<my_type<Arg>> {};

int main() {
  [[maybe_unused]] wrapper<my_type<1>> w;
}

Clang对应的报错信息：

Clang error: prog.cc:20:12: error: class template partial specialization contains a template parameter that cannot be deduced; this partial specialization will never be used [-Wunusable-partial-specialization]
20 | struct wrapper<my_type> {};

核心原因分析 #

1. 模板别名（using）的本质：仅为类型别名，不生成新类型

模板别名（别名模板）不会创建全新的类型，它只是现有类型的“别名”。当你写my_type<Arg>时，编译器会直接将其替换为背后的backend<...>类型。

• 对于(1)：my_type<Arg>等价于backend<Arg>，当wrapper的偏特化匹配my_type<1>（即backend<1>）时，编译器可以直接从backend<1>的模板参数推导出Arg=1，匹配成功。
• 对于(2)：my_type<Arg>等价于backend<Arg+1>。此时my_type<1>实际是backend<2>，编译器需要从backend<2>反推Arg的值——也就是解Arg+1=2得到Arg=1。但C++标准不允许这种反向推导，因为模板参数出现在非推导上下文（算术表达式的结果）中，编译器无法从最终的backend<2>反推出原始的Arg值，因此偏特化无法匹配，直接报错。

2. 类模板继承的本质：生成全新独立类型

(3)中的my_type是一个类模板，它继承自backend<Arg+1>，但my_type<Arg>本身是一个独立的类类型，和backend<Arg+1>是完全不同的类型。
当使用wrapper<my_type<1>>时，编译器不需要关注my_type<1>继承了什么，只需要匹配wrapper<my_type<Arg>>这个偏特化——my_type<1>就是my_type模板的实例，模板参数Arg可以直接从my_type<1>中提取为1，完全不需要涉及背后的backend类型，因此推导成功，编译通过。

C++标准依据 #

• 根据C++20标准**[temp.deduct.type]/5**：模板参数不能从包含该参数的算术表达式中推导出来。当别名模板展开后的类型包含这类表达式时，编译器无法从最终类型反推原始模板参数，导致偏特化无法匹配。
• 根据C++20标准**[temp.class.spec.partial]/4**：类模板偏特化的模板参数，可以直接从作为模板实参的类模板实例中推导，只要该实例的模板参数是直接传递的（比如my_type<Arg>中的Arg），不需要依赖其他类型的推导。

内容的提问来源于stack exchange，提问作者Igor R.