為什么reference本身不是const?

asker160

我們知道一個const變量的意思是一旦賦值，就不能修改:

1. 
   
2.     int const i=1;
   
3.     i=2;
   

復制代碼

上面的程序會編譯失敗，gcc提示error: assignment of read-only variable 'i'
這都沒有問題，但是下面的程序我就無法理解了:

1. 
   
2. #include<iostream>
   
3. using namespace std;
   
4. int main()
   
5. {
   
6.     boolalpha(cout);
   
7.     int const i =1;
   
8.     cout<<is_const<decltype(i)>::value<<endl;
   
9.     int const &ri=i;
   
10.     cout<<is_const<decltype(ri)>::value<<endl;
    
11.     return 0;
    
12. }
    

復制代碼

它輸出的是

1. 
   
2. true
   
3. false
   

復制代碼

我們知道，引用一旦綁定到了某個名稱以后，就不能在綁定到別的名稱了，而只能對原綁定的對象進行訪問和修改。
那么ri的類型，就是i的類型對吧，那么既然i是int const，為什么ri不是const?

bruceteen

int const &ri
中 const 修飾的不是ri，而是ri引用的內容

類似于 int const *p 和 int* const p

bruceteen

引用本身是read only的，也就是只能初始化時確定引用誰，以后無法再更改。所以不存在 const引用 和 non-const引用。
int const &ri 的意思是 ri是個引用，引用了一個int const對象。

windoze

我們知道一個const變量的意思是一旦賦值，就不能修改

其實我們不知道，而且const也不是這個意思。