为何C++转发引用调用默认参数时无法绑定左值？

问题根源 #

当你无参调用someFunc()时，模板参数T使用了默认值decltype(something)——也就是int。这时候T&&是右值引用（int&&），但默认参数something是左值（静态变量属于左值），C++不允许左值绑定到右值引用，因此触发编译错误。

而传入左值something_local时，模板参数T会被自动推导为int&，根据C++的引用折叠规则，T&&会变成int&（左值引用），自然能绑定左值，所以调用正常。

两种可行的解决办法 #

办法1：给默认参数使用std::forward #

借助std::forward<T>，它会根据T的类型自动转发成对应的值类别，让默认参数的类型和T&&匹配：

#include <memory>
#include <utility> // 必须引入该头文件以使用std::forward

template <typename key_t>
class KeyValueDatabase2
{
public:
    static KeyValueDatabase2* create_or_open(const char* filepath)
    {
        return new KeyValueDatabase2();
    }

    static inline int something = 6;
    template <typename T = decltype(something)>
    int someFunc(T&& t = std::forward<T>(something))
    {
        return 0;
    }
};
    
int main(int argc, char* argv[])
{
    auto* db = KeyValueDatabase2<int>::create_or_open("test_db_something_something");

    db->someFunc(); // 现在可正常编译运行
    
    int something_local = 5;
    db->someFunc(something_local); // 依然正常工作
}

办法2：修改模板参数的默认值为左值引用 #

把T的默认类型设为decltype(something)&，这样无参调用时T&&会折叠成左值引用，就能直接绑定左值something：

#include <memory>

template <typename key_t>
class KeyValueDatabase2
{
public:
    static KeyValueDatabase2* create_or_open(const char* filepath)
    {
        return new KeyValueDatabase2();
    }

    static inline int something = 6;
    template <typename T = decltype(something)&>
    int someFunc(T&& t = something)
    {
        return 0;
    }
};
    
int main(int argc, char* argv[])
{
    auto* db = KeyValueDatabase2<int>::create_or_open("test_db_something_something");

    db->someFunc(); // 正常编译
    
    int something_local = 5;
    db->someFunc(something_local); // 正常运行
}

关键知识点提醒 #

转发引用（T&&）的“万能绑定”特性，只有在模板参数被编译器自动推导时才会生效。如果给T设置了默认类型，无参调用时编译器不会做类型推导，直接使用默认的T，此时T&&就是普通的右值引用，不再具备转发引用的特性——这就是问题的核心所在。

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