C++編程語言中,對於常量的引用是一個非常重要的應用技巧。在這篇文章中,我們將會為大家詳細介紹一下有關C++常量引用的相關應用方法,相信大家可以從中學到很多知識。
如果是對一個常量進行引用,則編譯器首先建立一個臨時變量,然後將該常量的值置入臨時變量中,對該引用的操作就是對該臨時變量的操作。對C++常量引用可以用其它任何引用來初始化;但不能改變。
關於引用的初始化有兩點值得注意:
1)當初始化值是一個左值可以取得地址)時,沒有任何問題;
2)當初始化值不是一個左值時,則只能對一個const T&常量引用)賦值。而且這個賦值是有一個過程的:
首先將值隱式轉換到類型T,然後將這個轉換結果存放在一個臨時對象裡,最後用這個臨時對象來初始化這個引用變量。
例子:
- double& dr = 1; // 錯誤:需要左值
- const double& cdr = 1; // ok
第二句實際的過程如下:
- double temp = double(1);
- const double& cdr = temp;
作函數參數時:
- // bc_temp_objects_not_bound_to_nonconst_ref.cpp
- // compile with: /EHsc
- #include "iostream"
- using namespace std;
- class C {};
- void f(C & c) { cout << "C&" << endl; }
- void f(C const & c) { cout << "C const &" << endl; }
- int main() {
- f(C());
- }
結果:
C const &
更直接的,用基本類型:
- #include <iostream>
- using namespace std;
- void display(int const &ref) {cout<<ref<<'\n';}
- int main()
- {
- int i=1;
- display(i);
- int const anotheri=2;
- display(anotheri);
- display(2);
- display(1+2);
- display(static_cast<int>(3.14159));
- }
通過C++常量引用從函數返回一個局部對象:
一般從一個函數返回一個局部對象的引用是不對的:
- T & my_op ( void )
- {
- T t;
- return t;
- } // The T object t got destroyed here so the
returned reference is not valid anymore.
特殊情況:返回一個常引用
- const T & my_op ( void )
- {
- T t;
- return t;
- }
- const T & my_t_obj = my_op ();
在這個情況下,局部變量 t 不會被直接析構,而是會保留到 my_t_obj 的生命周期結束為止。
總之,C++常量引用語法上可以引用一個臨時變量。這種方法在使用引用作函數參數和返回局部變量時有意義。我目前看來常量引用主要用在作函數參數或保證不修改原變量的時候。