參照

指標是最簡單的參照，由於和底層硬體的親密關係，使其成為最強大及有效的參照之一。不過，也因為此一關係，程式設計師在使用指標時，必須非常了解記憶體架構的細節。因為指標儲存記憶體的位址，而非直接儲存值，不正常地使用指標會導致程式出現未定義行為。智慧指標是一個非透明指標，作用和指標相似，但只能透過特定方式存取。

控制代碼是一種抽象參照，可用許多不同方法呈現。其中一個常見的例子為檔案控制代碼（用於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临时对象；右值參照当然可以绑定到临时对象。

• 抽象化 (計算機科學)
• 变量 (程序设计)
• 弱引用