C++函数模板重载疑问：左值调用无歧义，右值调用为何歧义？

代码定义 #

#include <string>

class MyObj {
private:
    std::string str;
public:
    MyObj(const std::string& s) : str(s) {}
};

struct MyClass {
    // 第一个函数模板：无额外固定模板参数的可变参数模板
    template <typename... T>
    auto& func(T&&... args) {
        static std::string msg = "First";
        return msg;
    }

    // 第二个函数模板：带一个固定模板参数TT的可变参数模板
    template <typename TT, typename... T>
    auto& func(T&&... args) {
        static std::string msg = "Second";
        return msg;
    }
};

测试场景 #

• 左值调用：a.func<MyObj>(objA, objB)，匹配第二个模板，输出"Second"；
• 右值调用：a.func<MyObj>(MyObj{"a"}, MyObj{"a"})，编译器提示调用歧义；
• 混合调用：a.func<MyObj>(objA, MyObj{"b"})，无歧义，匹配第二个模板。

核心疑问 #

为何左值调用无歧义？是否因第一个模板无法推导T=<MyObj&, MyObj&>，而第二个模板的参数可实现匹配覆盖？

问题分析 #

左值调用无歧义的原因 #

当调用a.func<MyObj>(objA, objB)时，我们显式指定了一个模板参数MyObj，两个模板的匹配逻辑如下：

1. 第一个模板：显式指定的MyObj会被纳入可变参数包T，再结合两个左值参数推导出的MyObj&，最终T的实例化结果是MyObj, MyObj&, MyObj&。
2. 第二个模板：显式指定的MyObj会直接绑定到固定模板参数TT，两个左值参数则被推导为可变参数包T的元素，即T的实例化结果是MyObj&, MyObj&。

根据C++模板重载决议规则，更贴合调用意图的特化模板会被优先选中：第二个模板将显式参数单独绑定到固定参数TT，剩余参数由可变参数包承接，匹配逻辑更精准；而第一个模板需要把显式参数混入可变参数包，属于更泛化的匹配。因此编译器会优先选择第二个模板，左值调用无歧义。

右值调用产生歧义的原因 #

当调用a.func<MyObj>(MyObj{"a"}, MyObj{"a"})时，两个函数参数都是右值MyObj&&：

1. 第一个模板：T会被实例化为MyObj, MyObj, MyObj（显式参数+两个右值对应的MyObj）；
2. 第二个模板：TT=MyObj，T会被实例化为MyObj, MyObj（两个右值对应的MyObj）。

此时两个模板生成的函数签名完全一致：auto& func(MyObj&&, MyObj&&)，编译器无法区分哪个是更合适的匹配，因此报调用歧义错误。

混合调用无歧义的原因 #

混合调用中，一个参数是左值MyObj&，另一个是右值MyObj&&：

• 第二个模板的TT=MyObj，T被实例化为MyObj&, MyObj；
• 第一个模板的T被实例化为MyObj, MyObj&, MyObj。

同样，第二个模板的匹配逻辑更贴合显式指定参数的意图，重载决议会优先选中它，因此无歧义。

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