完美匹配候选存在时的C++模板优先级问题及修复方案

调用Foo(a, 0.2, b, "error")时，第一个模板未被选中的核心原因是模板参数推导失败，具体有两个关键问题：

1. 浮点类型不匹配：0.2是C++默认的double类型字面量，而第一个模板的第三个参数是float。模板推导要求实参与形参类型精确匹配（隐式转换不会纳入推导逻辑），因此这里无法完成有效推导，第一个模板被SFINAE规则排除。
2. 字符串类型不匹配：传入的"error"是const char*类型，第一个模板的最后一个参数是std::string。模板推导阶段不考虑隐式转换（const char*转std::string属于隐式转换），这进一步导致第一个模板推导失败。

最终编译器只能选择无约束的第二个可变参数模板。

可根据实际需求选择以下任意一种方案：

方案1：修正实参类型，匹配模板形参 #

将浮点字面量改为float类型（加f后缀），同时显式转换字符串实参为std::string：

Foo(a, 0.2f, b, string("error"));

方案2：修改模板形参，兼容实参 #

调整第一个模板的参数类型，适配默认的浮点和字符串字面量：

template<typename T> requires is_enum_v<T>
void FooT(unsigned line, T p1, 
          double m,       T p2, string_view errMsg = "")
{
  cout <<"good call"<<"\n";
}

方案3：给第二个模板添加约束，仅在第一个模板不匹配时生效 #

利用C++20的concept，让第二个模板仅在无法匹配第一个模板的场景下被选中：

template<typename... T>
requires (!std::disjunction_v<std::is_enum<T>...>)
void FooT(unsigned line, T... args){ 
  cout <<"bad call with "<< sizeof...(T) <<" args at line "<< line <<"\n"; 
}

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