C++引用绑定方向的困惑：GCC与VC报错表述差异解析

先看这段C++代码：

// rrlv1.cpp
#include <utility>
class CInt {
public: int mi;
}; 
void rrlv(CInt&& iobj) {
    int old = iobj.mi;
    iobj.mi = 4;
}

int main() {
    CInt i1{1};
    rrlv(i1);  // compile ERROR, should use std::move(i1)
    return 0;
}

这段代码编译报错，不同编译器的提示如下：

GCC 12报错信息 #

rrlv1.cpp:13:15: error: cannot bind rvalue reference of type ‘CInt&&’ to lvalue of type ‘CInt’
   13 |         rrlv0(i1);
      |               ^~
rrlv1.cpp:6:19: note:   initializing argument 1 of ‘void rrlv0(CInt&&)’
    6 | void rrlv0(CInt&& iobj) {
      |            ~~~~~~~^~~~

Visual C++ 2019 16.11报错信息 #

rrlv1.cpp(13): error C2664: 'void rrlv0(CInt &&)': cannot convert argument 1 from 'CInt' to 'CInt &&'
rrlv1.cpp(13): note: You cannot bind an lvalue to an rvalue reference

核心疑问 #

在C++术语中，引用绑定到底是“将变量/参数名绑定到表达式”，还是反过来？这种表述不清晰的问题会导致新手困惑，甚至资深开发者之间的沟通混乱。请问哪种表述是业界普遍认可的正确说法？

解答 #

业界普遍认可的标准表述是：将引用（变量/参数名）绑定到表达式所指代的对象，更精准的说法是「把引用（即参数或变量）绑定到表达式的结果对象上」。

从C++标准的定义来看，引用本身是一种别名，当我们声明或初始化一个引用时，是让这个引用名称成为某个已有对象的别名——也就是把引用“绑定”到那个对象上。而表达式（比如代码里的i1）是用来定位这个对象的载体。

编译器报错里的“cannot bind rvalue reference... to lvalue”表述也符合这个逻辑：这里的rvalue reference指的是函数参数iobj这个引用变量，要把它绑定到i1这个左值表达式所指代的对象上，但C++规则不允许这种绑定，所以报错。

简单来说，引用是“别名”，绑定动作的主体是引用（名称），目标是表达式指向的对象，所以正确的表述是将引用（变量/参数名）绑定到表达式所指代的对象，而非反过来。

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