參照
在電腦科學中,參照(英語:)是指一個可以讓程式間接存取於電腦記憶體或其他儲存裝置中一特定資料的值,該數據可以為變數或記錄。
參照和資料本身不同。一般而言,參照會是資料儲存於記憶體或儲存裝置中的實體位址。因此,參照亦常被稱為該資料的指標或位址。不過,參照也被用來指資料位址和某一固定「基準」位址的偏移值,或是陣列的索引。
參照的概念和其他如關聯鍵或識別字之類用來識別特定資料項目的值不同,後者只能透過資料庫表中的尋找運算,來存取資料。
參照被廣泛用於程式設計之中,尤其是用於將大量或易變的資料有效地透過參數傳給子程式,或在不同的用途中共享此類資料。此外,參照也能指向一個包含其他資料之參照的變數或記錄,此一概念為間接定址及連結資料結構(如連結串列)之基礎。
例子
指標是最簡單的參照,由於和底層硬體的親密關係,使其成為最強大及有效的參照之一。不過,也因為此一關係,程式設計師在使用指標時,必須非常了解記憶體架構的細節。因為指標儲存記憶體的位址,而非直接儲存值,不正常地使用指標會導致程式出現未定義行為。智慧指標是一個非透明指標,作用和指標相似,但只能透過特定方式存取。
控制代碼是一種抽象參照,可用許多不同方法呈現。其中一個常見的例子為檔案控制代碼(用於C語言標準輸入/輸出函式庫中的檔案資料結構 ),用來描述抽象的檔案內容。檔案控制代碼通常可用來表示檔案本身(當要求該檔案的鎖時),以及檔案內容中的某一特定位置(當讀存該檔案時)。
在分布式計算中,參照可能包含一個以上的位址或識別字;也可能包括用來定位或存取參照物件之網路協定的編碼格式,用來說明訊息被編碼或序列化之方式。舉例來說,WSDL中對遠端網路服務的描述可被視為一種參照,包括如何定位及綁定特定Web服務之完整格式。另一個例子為對即使分布式物件的參照:該參照為一個如何建設稱之為「代理(proxy)」之小型軟體元件的完整格式,此代理接著會執行點對點(peer-to-peer)的互動,並使本地機器得以存取被複裝或只存在部分一致之訊息串流的資料。
程式語言的支援性
在第一個被使用的程式語言-組合語言中,一般使用未處理的記憶體位址或陣列中的索引表示參照。這樣使用是可行的,但有點微妙,因為一個位址無法告訴你它指向的值是什麼,更不用說這個值有多大,或是該如何解釋;此類訊息都內含在程式的邏輯之中。如此一來,誤解將可能出現在不正確的程式裡,引發令人感到困惑的錯誤。
最早的不透明參照為LISP的CONS函式,此一函式只是一個包含兩個參照至其他Lisp物件的記錄,其他Lisp物件也可能包括其他的cons函式。此一簡單的結構最常被用來建構單向連結串列,但也可用來建構簡單的二元樹,以及一種被稱為「點狀串列」的結構,該結構最終會終止於一個值上,而非空參照。
另一個早期的語言-Fortran則沒有明確用來表示參照的用法,但可以傳參照呼叫的方式使用參照。
指標依然是今日最常見的一種參照,類似於組合語言中對未處理記憶體位址的表示方式,不同之處在於指標帶有一個固定之資料型別,可在編譯期間用來確保所指之資料不被誤解。不過,因為C語言有個可以使用型別轉換(在不同指標型別間及指標型別與整數間轉換)的弱型別系統,雖然較為困難,但還是有可能誤解。C++試圖在C++標準程式庫中使用新的cast運算子及較聰明的指標,以增加型別安全;但為了相容性,仍保留繞過這些安全機制的能力。
許多今日常見的主流語言,如Eiffel、Java、C#及Visual Basic等,則均採用了一種更加不透明的參照,通常即簡稱為「參照」。此類參照具有類似C語言指標的型別,會指出其所參照資料的意思;不過,此類參照為型別安全的,無法指向一個未處理的位址,以及進行不被允許的不安全轉換。
參照与指標的区别
对于同时支持參照与指標的C/C++,两类数据型的区别有:
- 指针可以重新赋值,而參照在初始化绑定后就不能再绑定到其他对象。
- 指针对象有它自己的内存地址与内存长度,而參照与它指向的对象具有相同的内存地址、内存长度。因此,可以把參照看作是被指向对象的另一个名字。
- 指针可以指向另一指针,因此允许多层的指针间址(indirection);而參照只允许到对象的一层间址,不允许“參照的參照”。
- 指针可以直接赋值为NULL,參照不能。当然,可以费劲办法把參照绑定到内存的NULL上,但这并不实用。
- 指针可以在数组上遍历(iterate),參照不能。
- 指针需要用运算符“*”来解參照(dereference)以访问它所指向的内存的内容;參照不需要显式解引用。指向类/结构的指针访问成员变量/成员函数需要用运算符->而參照使用运算符.来访问成员。
- 指针是一个变量,保存了内存地址;而C++标准都没有明说參照是如何实现的。实际上,几乎所有C++编译器把參照作为一个隐式的指针来实现。
- 指针可以成为数组的成员类型,即指针数组;但參照不可以作为数组的成员类型,即不存在“引用数组”。
- const參照可以绑定到临时对象;而指针不能(例如,
int *y = 12;
编译出错)。按照C++11语法,const左值引用可以绑定到一切对象,包括const左值对象,非const左值对象,const临时对象,非const临时对象;右值參照当然可以绑定到临时对象。