深入理解void以及void指針的含義

更新時間：2013年05月08日 11:41:00 作者：

本篇文章對小編void以及void指針的含義進行了詳細的分析和介紹。需要的朋友參考下

void的含義
void即“無類型”，void *則為“無類型指針”，可以指向任何數(shù)據(jù)類型。

void指針使用規(guī)范
①void指針可以指向任意類型的數(shù)據(jù)，亦即可用任意數(shù)據(jù)類型的指針對void指針賦值。例如：
int *pint;
void *pvoid;
pvoid = pint; /* 不過不能 pint = pvoid; */
如果要將pvoid賦給其他類型指針，則需要強制類型轉換如：pint = (int *)pvoid;

②在ANSI C標準中，不允許對void指針進行算術運算如pvoid++或pvoid+=1等，而在GNU中則允許，因為在缺省情況下，GNU認為void *與char *一樣。sizeof( *pvoid )== sizeof( char ).

void的作用
①對函數(shù)返回的限定。
②對函數(shù)參數(shù)的限定。
當函數(shù)不需要返回值時，必須使用void限定。例如： void func(int, int);
當函數(shù)不允許接受參數(shù)時，必須使用void限定。例如： int func(void)。

由于void指針可以指向任意類型的數(shù)據(jù)，亦即可用任意數(shù)據(jù)類型的指針對void指針賦值，因此還可以用void指針來作為函數(shù)形參，這樣函數(shù)就可以接受任意數(shù)據(jù)類型的指針作為參數(shù)。例如：
void * memcpy( void *dest, const void *src, size_t len );
void * memset( void * buffer, int c, size_t num );

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

1.規(guī)則小心使用void指針類型
　　按照ANSI(AmericanNationalStandardsInstitute)標準，不能對void指針進行算法操作，即下列操作都是不合法的：
void*pvoid;
pvoid++;//ANSI：錯誤
pvoid+=1;//ANSI：錯誤
//ANSI標準之所以這樣認定，是因為它堅持：進行算法操作的指針必須是確定知道其指向數(shù)據(jù)類型大小的。
//例如：
int*pint;
pint++;//ANSI：正確
　　pint++的結果是使其增大sizeof(int)。
　　但是大名鼎鼎的GNU(GNU'sNotUnix的縮寫)則不這么認定，它指定void*的算法操作與char*一致。
因此下列語句在GNU編譯器中皆正確：
pvoid++;//GNU：正確
pvoid+=1;//GNU：正確
　　pvoid++的執(zhí)行結果是其增大了1。
　　在實際的程序設計中，為迎合ANSI標準，并提高程序的可移植性，我們可以這樣編寫實現(xiàn)同樣功能的代碼：
void*pvoid;
(char*)pvoid++;//ANSI：正確；GNU：正確
(char*)pvoid+=1;//ANSI：錯誤；GNU：正確
　　GNU和ANSI還有一些區(qū)別，總體而言，GNU較ANSI更“開放”，提供了對更多語法的支持。但是我們在真實設計時，還是應該盡可能地迎合ANSI標準。

2.規(guī)則二如果函數(shù)的參數(shù)可以是任意類型指針，那么應聲明其參數(shù)為void*
　　典型的如內存操作函數(shù)memcpy和memset的函數(shù)原型分別為：
void*memcpy(void*dest,constvoid*src,size_tlen);
void*memset(void*buffer,intc,size_tnum);
　　這樣，任何類型的指針都可以傳入memcpy和memset中，這也真實地體現(xiàn)了內存操作函數(shù)的意義，因為它操作的對象僅僅是一片內存，而不論這片內存是什么類型。如果 memcpy和memset的參數(shù)類型不是void*，而是char*，那才叫真的奇怪了！這樣的memcpy和memset明顯不是一個“純粹的，脫離低級趣味的”函數(shù)！
下面的代碼執(zhí)行正確：
//示例：memset接受任意類型指針
int intarray[100];
memset(intarray,0,100*sizeof(int));//將intarray清0
//示例：memcpy接受任意類型指針
int intarray1[100], intarray2[100];
memcpy(intarray1,intarray2,100*sizeof(int));//將intarray2拷貝給intarray1
　　有趣的是，memcpy和memset函數(shù)返回的也是void*類型，標準庫函數(shù)的編寫者是多么地富有學問??！

3.規(guī)則三 void不能代表一個真實的變量
　　下面代碼都企圖讓void代表一個真實的變量，因此都是錯誤的代碼：
voida;//錯誤
function(voida);//錯誤
　　void體現(xiàn)了一種抽象，這個世界上的變量都是“有類型”的，譬如一個人不是男人就是女人（還有人妖？）。
　　void的出現(xiàn)只是為了一種抽象的需要，如果你正確地理解了面向對象中“抽象基類”的概念，也很容易理解void數(shù)據(jù)類型。正如不能給抽象基類定義一個實例，我們也不能定義一個void（讓我們類比的稱void為“抽象數(shù)據(jù)類型”）變量。