C/C++語言void及void指標深層探索

1.概述

許多初學者對C/C++語言中的void及void指標類型不甚理解，因此在使用上出現了一些錯誤。本文將對void關鍵字的深刻含義進行解說，並詳述void及void指標類型的使用方法與技巧。

2.void的含義

void的字面意思是“無類型”，void *則為“無類型指標”，void *可以指向任何類型的資料。

void幾乎只有“注釋”和限制程式的作用，因為從來沒有人會定義一個void變數，讓我們試著來定義：

void a;

這行語句編譯時間會出錯，提示“illegal use of type ‘void‘”。不過，即使void a的編譯不會出錯，它也沒有任何實際意義。

void真正發揮的作用在於：

（1） 對函數返回的限定；

（2） 對函數參數的限定。

我們將在第三節對以上二點進行具體說明。

眾所周知，如果指標p1和p2的類型相同，那麼我們可以直接在p1和p2間互相賦值；如果p1和p2指向不同的資料類型，則必須使用強制類型轉換運算子把賦值運算子右邊的指標類型轉換為左邊指標的類型。

例如：

float *p1;
int *p2;
p1 = p2;

其中p1 = p2語句會編譯出錯，提示“‘=‘ : cannot convert from ‘int *‘ to ‘float *‘”，必須改為：

p1 = (float *)p2;

而void *則不同，任何類型的指標都可以直接賦值給它，無需進行強制類型轉換：

void *p1;
int *p2;
p1 = p2;

但這並不意味著，void *也可以無需強制類型轉換地賦給其它類型的指標。因為“無類型”可以包容“有類型”，而“有類型”則不能包容“無類型”。道理很簡單，我們可以說“男人和女人都是人”，但不能說“人是男人”或者“人是女人”。下面的語句編譯出錯：

void *p1;
int *p2;
p2 = p1;

提示“‘=‘ : cannot convert from ‘void *‘ to ‘int *‘”。