C++模板显式实例化规则疑问：多匹配模板的实例化逻辑

先把你的代码贴出来方便参考：

template <typename T> void foo(T*); 
template <typename T> void foo(T**); 
template void foo(int**); 

template <typename T> void foo(T*) { 
    printf("called foo(T*)
"); 
} 

template <typename T> void foo(T**){ 
    printf("called foo(T**)
"); 
}

咱们逐个解答你的疑问：

1. 为什么实例化foo(int**)时，只生成T=int的foo(T**)而非T=int*的foo(T*)？ #

这本质是模板重载决议中的“更特化”规则在起作用。当编译器处理foo(int**)的实例化请求时，会先对两个模板进行实参推导：

• 对于第一个模板foo(T*)：推导得出T=int*（因为int**匹配T*，所以T是int*）
• 对于第二个模板foo(T**)：推导得出T=int（因为int**匹配T**，所以T是int）

此时两个模板都能匹配，但C++会优先选择更特化的模板。简单来说，foo(T**)是foo(T*)的特化版本——T**只能匹配“指针的指针”类型，而T*可以匹配任意指针类型（包括指针的指针）。更特化的模板在重载决议中优先级更高，所以最终只会实例化T=int的foo(T**)，不会去碰T=int*的foo(T*)。

2. 给未被使用的模板加static_assert(false)为什么编译失败？ #

这里要区分依赖模板参数的编译期检查和非依赖的编译期检查：

• 如果你的static_assert条件依赖模板参数（比如static_assert(sizeof(T) == 0, "")），那只有当模板被实例化时才会触发检查，未使用的模板不会报错。
• 但如果是static_assert(false, "")这种不依赖模板参数的常量表达式，编译器会在解析模板定义时就直接检查这个条件——因为这部分代码属于模板的“非依赖部分”，不管模板有没有被实例化，编译器都会立即验证。所以哪怕这个模板从未被使用，只要写了这样的static_assert，编译就会失败。

3. 显式指定实例化时，为什么只生成foo<int>(int*)和foo<int>(int**)？ #

显式实例化声明（比如template void foo(int*);）同样会触发模板重载决议：

• 对于template void foo(int*);：编译器匹配第一个模板foo(T*)，推导得出T=int，所以实例化foo<int>(int*)。
• 对于template void foo(int**);：编译器再次进行重载决议，还是会优先选择更特化的第二个模板foo(T**)，推导得出T=int，所以实例化foo<int>(int**)，而不会去匹配第一个模板的T=int*版本。

如果你想强制实例化第一个模板的T=int*版本，需要显式指定模板参数：

template void foo<int*>(int**); // 这样就会实例化第一个模板的T=int*版本

4. 编译器处理模板实例化的核心逻辑：先决议，再实例化 #

编译器的处理流程是这样的：

1. 收集所有候选的模板重载；
2. 对每个候选模板进行实参推导，筛选出可行的实例化版本；
3. 通过“更特化”规则，从可行版本中选出优先级最高的那一个；
4. 只实例化这一个选中的模板，其他可行的模板不会被实例化。

简单说，不是先实例化所有可能的选项再剔除，而是先通过重载决议选出最优解，再进行实例化。

内容的提问来源于stack exchange，提问作者sfink