为何重载函数模板调用无歧义？C++偏序与重载决议疑问

你的代码中，标记为(1)和(2)的两个函数模板在调用点(3)均能匹配，但编译器未报歧义错误反而选择了模板(2)，核心原因在于模板偏序无法区分两者时，重载决议会选择定义顺序更靠后的模板。

代码回顾 #

#include <utility>

template <int V, bool Enabled = true>
struct Version;

template <int V>
std::true_type  Database(Version<V, V == 1>*);  // (1)

template <int V>
std::false_type Database(Version<V>*);          // (2)

using Winner = decltype(Database(std::declval<Version<1>*>()));  // (3)

int foo()
{
    return Winner::value;
}

关键分析 #

1. 模板匹配情况
   当调用Database(Version<1>*)时，两个模板均能成功推导：

   • 模板(1)：推导V=1，此时第二个模板参数V==1结果为true，形参类型为Version<1, true>*，与实参完全匹配，返回std::true_type。
   • 模板(2)：推导V=1，形参类型为Version<1, true>*（使用默认模板参数Enabled=true），与实参完全匹配，返回std::false_type。

2. 模板偏序无法区分特化程度
   根据C++模板偏序规则，判断两个模板的特化程度需要验证：是否其中一个模板的所有实例都能匹配另一个模板的形参。

   • 模板(1)的实例仅在V=1时能匹配模板(2)的形参（此时第二个参数为true），V≠1时实例类型为Version<V, false>*，无法匹配模板(2)的Version<V, true>*。
   • 模板(2)的实例仅在V=1时能匹配模板(1)的形参，V≠1时实例类型为Version<V, true>*，无法匹配模板(1)的Version<V, false>*。
     两者的实例集合互不包含，因此无法通过偏序规则判断哪个更特化。

3. 重载决议的最终规则
   当模板偏序无法区分时，C++标准规定：在同一翻译单元中，定义顺序更靠后的函数模板会被优先选择。原代码中模板(2)定义在模板(1)之后，因此编译器最终选择了模板(2)，Winner的类型为std::false_type。

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