什么是恒定参考？ （不是对常量的引用）

Question

为什么常量引用的行为方式与常量指针不同，以便我可以实际更改它们指向的对象？它们确实看起来像是另一个简单的变量声明。我为什么要使用它们？

这是我运行的一个简短示例，它编译并运行时没有错误：

int main (){
    int i=0;
    int y=1;    
    int&const icr=i;
    icr=y;          // Can change the object it is pointing to so it's not like a const pointer...
    icr=99;         // Can assign another value but the value is not assigned to y...
    int x=9;
    icr=x;
    cout<<"icr: "<<icr<<", y:"<<y<<endl; 
}

Answer 1

最明确的答案。
是否“X&” const x”有什么意义吗？

不，这是废话

要了解上述声明的含义，请从右到左阅读：
“x 是对 X 的 const 引用”。但这是多余的——参考文献
始终是 const，从某种意义上说，您永远无法重新设置引用
使其引用不同的对象。绝不。有或没有
常量。

换句话说，“X& const x”在功能上等同于“X& x”。
由于在 & 之后添加 const 没有任何好处，所以
不应该添加它：它会让人们感到困惑——const 会让一些人
人们认为 X 是 const，就好像你说“const X&” x”。

Answer 2

语句 icr=y; 不会使引用指向 y;它将y 的值分配给icr 引用的变量i。

引用本质上是 const，也就是说您无法更改它们所引用的内容。有一些“const引用”实际上是“对const的引用”，也就是说你不能改变它们引用的对象的值。它们被声明为 const int& 或 int const& 而不是 int&不过。

Answer 3

什么是常量引用（不是对常量的引用）
常量引用实际上是对常量的引用。

常量引用/对常量的引用表示为：

int const &i = j; //or Alternatively
const int &i = j;
i = 1;            //Compilation Error

它基本上意味着，您不能修改引用所引用的类型对象的值。
例如：
尝试通过 const 引用修改变量 j 的值（分配 1），i 将导致错误：

分配只读引用“i”

---

icr=y;          // Can change the object it is pointing to so it's not like a const pointer...
icr=99;

不更改引用，它分配引用引用的类型的值。
除了初始化时绑定的变量之外，不能引用任何其他变量。

第一条语句将值y赋给i
第二条语句分配值99给i

Answer 4

此代码格式错误：

int&const icr=i;

参考：C++17 [dcl.ref]/1：

除非引入了 cv 限定符，否则 Cv 限定引用的格式不正确
通过使用 typedef-name 或 decltype-specifier，在这种情况下，cv 限定符将被忽略。

该规则已存在于 C++ 的所有标准化版本中。因为代码格式不正确：

• 您不应该使用它，并且
• 没有关联的行为。

编译器应该拒绝该程序；如果没有，则可执行文件的行为完全未定义。

注意：不确定其他答案怎么没有提到这一点......没有人可以访问编译器？

Answer 5

我猜你所说的“常量引用”实际上是指“对常量数据的引用”。另一方面，指针可以是常量指针（指针本身是常量，而不是它指向的数据）、指向常量数据的指针，或两者兼而有之。

Answer 6

正如在另一个答案中提到的，引用本质上是常量。

int &ref = obj;

一旦使用对象初始化了引用，就无法解除该引用与其所引用的对象的绑定。引用的作用就像别名一样。

当你声明一个 const 引用时，它只不过是一个引用 const 对象的引用。

const int &ref = obj;

上面的声明性语句（例如 const 和 int）正在确定引用所引用的对象的可用功能。更清楚地说，我想向您展示相当于 const 引用的 pointer；

const int *const ptr = &obj;

所以上面这行代码在其工作方式上相当于一个const引用。 此外，还有最后一点我想提一下；

引用必须仅使用对象进行初始化

因此当您这样做时，您将收到错误；

int  &r = 0; // Error: a nonconst reference cannot be initialized to a literal

这条规则有一个例外。如果引用被声明为 const，那么您也可以使用文字对其进行初始化；

const int  &r = 0; // a valid approach

Answer 7

首先，我认为 int&const icr=i; 只是 int& icr = i，修饰符'const'没有任何意义（它只是意味着你不能使引用引用其他变量）。

const int x = 10;
// int& const y = x; // Compiler error here

其次，常量引用意味着你不能通过引用来改变变量的值。

const int x = 10;
const int& y = x;
//y = 20; // Compiler error here

第三，常量引用可以绑定右值。编译器将创建一个临时变量来绑定引用。

float x = 10;
const int& y = x;
const int& z = y + 10;
cout << (long long)&x << endl; //print 348791766212
cout << (long long)&y << endl; //print 348791766276
cout << (long long)&z << endl; //print 348791766340