C++右值引用与模板转发两类技术问题咨询

问题一：右值引用模板中的函数匹配疑问 #

代码示例 #

#include <iostream>

void g(int&) {
    std::cout << "int&" << std::endl;
}

void g(int&&) {
    std::cout << "int&&" << std::endl;
}

template<typename T>
void func(T&& x) {
    std::cout << "func(T&&)\n=================\n";
    std::cout << "int: " << std::is_same_v<decltype(x), int> << std::endl;
    std::cout << "int&: " << std::is_same_v<decltype(x), int&> << std::endl;
    std::cout << "int&&: " << std::is_same_v<decltype(x), int&&> << std::endl;
    std::cout << "=================\n";
    g(x);
    auto tmp = std::move(x);
    g(tmp);
    g(std::move(x));
}

int main() {
    func(2);
}

输出结果 #

func(T&&)
=================
int: 0
int&: 0
int&&: 1
=================
int&
int&
int&&

疑问 #

为何仅调用g(std::move(x))时才匹配int&&重载？已知可通过std::forward解决，但不理解背后原因。

解答 #

别搞混变量类型和值类别这两个核心概念：

• 传2给func时，模板参数T推导为int，所以x的类型是int&&（右值引用）——这就是decltype(x)显示int&&的原因。
• 关键规则：任何有名字的变量，无论它的类型是左值还是右值引用，本身都是左值。所以直接调用g(x)时，x是左值，自然匹配g(int&)重载。
• std::move(x)的作用是把变量强制转换为右值引用类型，此时这个表达式的值类别是右值，因此匹配g(int&&)重载。
• tmp是有名字的变量，哪怕它是用std::move(x)初始化的，本质还是左值，所以g(tmp)同样匹配int&重载。
• std::forward是完美转发工具，能保留原始参数的左/右值属性。如果把g(x)换成g(std::forward<T>(x))，就能按照原始参数的类型匹配对应的g重载。

问题二：模板函数传入字面量的行为差异 #

代码示例 #

#include <iostream>
#include <string>

using namespace std;

template<typename T>
void foo(T&& bar){
    bar = T();
    std::cout << bar;
}

int main() {
    foo(22);    // 正常运行
    foo("qwe");   // 运行报错
}

疑问 #

为何foo(22)可正常运行，而foo("qwe")会报错？

解答 #

核心在于两次调用的模板参数推导结果完全不同：

1. 调用foo(22)时：

   • 22是int类型的右值，模板参数T推导为int，bar的类型是int&&（右值引用）。
   • bar = T();等价于给右值引用赋值一个临时int对象，这在C++中是合法操作，因此代码正常运行。

2. 调用foo("qwe")时：

   • "qwe"是字符串字面量，本质是const char[4]类型的左值（所有字符串字面量都是左值）。
   • 根据C++的引用折叠规则，模板参数推导后，bar的类型是const char(&)[4]（对const char数组的左值引用）。
   • 执行bar = T();时，T()是默认初始化的const char[4]数组，但C++中数组类型没有赋值运算符，不能直接赋值，这直接触发了编译错误。
   • 即便忽略赋值问题，std::cout << bar可以正常输出（数组会退化为指针），但赋值操作本身已经违反了语法规则，这是报错的根本原因。

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