为何C++右值引用的行为会因类型不同而存在差异？

你遇到的核心矛盾是：返回右值引用的函数调用结果确实是xvalue，但自定义类型和内置类型对xvalue作为赋值左操作数的处理规则不同，这完全符合C++标准规定。

问题重现 #

自定义结构体代码（可正常运行） #

struct S {
    int a;
};

S&& t(S& a) {
    return (S&&)a;
}

int main()
{   
    S s = { 1 };
    t(s) = S{ 2 };
    cout << s.a; // 输出2
    return 0;
}

内置int类型代码（编译报错） #

int&& t(int& a) {
    return (int&&)(a);
}

int main()
{   
    int s = 1;
    t(s) = 2; // 错误：using rvalue as lvalue
    std::cout << s;
    return 0;
}

差异原因解析 #

1. 自定义类型的赋值逻辑 #

对于自定义类型（如结构体S），编译器会自动生成默认的移动赋值运算符，签名为：

S& operator=(S&&);

同时也会生成拷贝赋值运算符。关键在于：

• xvalue属于广义左值（glvalue），具备对象标识（能指向具体的内存对象），因此可以调用成员函数。
• 当你用t(s)（xvalue）作为左操作数时，实际上是调用了S的移动赋值运算符，该函数的作用是修改当前对象（也就是t(s)绑定的原对象s）的内容，最终s.a被修改为2，符合你的预期。

2. 内置类型的赋值规则 #

内置类型（如int）的赋值是C++语言的内置操作，并非成员函数，它有明确的语法规则：赋值运算符的左操作数必须是可修改的左值（modifiable lvalue）。

• xvalue属于右值的一种（右值包含xvalue和prvalue），不满足“可修改左值”的要求，因此编译器直接报错，拒绝这种操作。

符合标准的验证 #

C++标准确实明确“返回右值引用的函数调用结果是xvalue”，你对值类别的判断是正确的。两种代码的差异并非值类别判定错误，而是自定义类型与内置类型的赋值机制不同：

• 自定义类型通过成员函数实现赋值，允许glvalue（包括xvalue）调用并修改对象；
• 内置类型的赋值是语言原生规则，仅接受可修改左值作为左操作数。

内容的提问来源于stack exchange，提问作者WILLIAM MAURICIO GIRALDO MURIL