規則一

　　1.規則說明。

　　如果函式沒有返回值，那麼應宣告為void型別。

　　在C語言中，凡不加返回值型別限定的函式，就會被編譯器作為返回整型值處理。即不加返回值說明的函式為返回為int的函式。

        2.示例。

void function()
{}

　　3.總結。

　　為了避免混亂，在編寫C/C++程式時，對於任何函式都必須一個不漏地指定其型別。

        如果函式沒有返回值，一定要宣告為void型別。這既是程式良好可讀性的需要，也是程式設計規範性的要求。另外，加上void型別聲明後，也可以發揮程式碼的“自注釋”作用。程式碼的“自注釋”即程式碼能自己註釋自己。

規則二

　　1.規則說明。

　　如果函式無引數，那麼應宣告其引數為void。

　　2.示例。

function(void)
{}

        3.總結。

　　在C語言中，可以給無引數的函式傳送任意型別的引數，但是在C++編譯器中編譯同樣的程式碼則會出錯。在C++中，不能向無引數的函式傳送任何引數，出錯提示“'fun' : function does not take 1 parameters”。

　　所以，無論在C還是C++中，若函式不接受任何引數，一定要指明引數為void。

規則三

　　1.規則說明。

　　小心使用void指標型別。

　　1.1 在ANSI標準中

　　在ANSI C中，可以有「可以指向任何型別的指標型別」——void*型別。

#include <stdio.h>
int main(void)
{
	int avr = 5;
	void *p;
	p = &avr;
	printf("%d\n",*(int*)p);
	return 0;
}

　　按照ANSI(American National Standards Institute)標準，不能對void指標進行演算法操作，即下列操作都是不合法的：

void * pvoid;
pvoid++; //ANSI：錯誤
pvoid += 1; //ANSI：錯誤
//ANSI標準之所以這樣認定，是因為它堅持：進行演算法操作的指標必須是確定知道其指向資料型別大小的。
//例如：
int *pint;
pint++; //ANSI：正確
 

　　pint++的結果是使其增大sizeof(int)。( 在VC6.0上測試是sizeof(int)的倍數)

　　1.2 在GNU中

　　但是大名鼎鼎的GNU(GNU's Not Unix的縮寫)則不這麼認定，它指定void *的演算法操作與char *一致。

　　因此下列語句在GNU編譯器中皆正確：

pvoid++; //GNU：正確
pvoid += 1; //GNU：正確

　　pvoid++的執行結果是其增大了1。( 在VC6.0上測試是sizeof(int)的倍數)

        2.總結

　　在實際的程式設計中，為迎合ANSI標準，並提高程式的可移植性，我們可以這樣編寫實現同樣功能的程式碼：

void * pvoid;
(char *)pvoid++; //ANSI：正確；GNU：正確
(char *)pvoid += 1; //ANSI：錯誤；GNU：正確

　　GNU和ANSI還有一些區別，總體而言，GNU較ANSI更“開放”，提供了對更多語法的支援。但是我們在真實設計時，還是應該儘可能地迎合ANSI標準。

規則四

　　1.規則說明。

　　如果函式的引數可以是任意型別指標，那麼應宣告其引數為void *。

　　2.示例和總結。

　　典型的如記憶體操作函式memcpy和memset的函式原型分別為：

void * memcpy(void *dest, const void *src, size_tlen);
void * memset ( void * buffer, int c, size_t num );

　　這樣，任何型別的指標都可以傳入memcpy和memset中，這也真實地體現了記憶體操作函式的意義，因為它操作的物件僅僅是一片記憶體，而不論這片記憶體是什麼型別。

規則五

　　1.規則說明。

void不能代表一個真實的變數型別。

　　2.示例

　　下面程式碼都企圖讓void代表一個真實的變數，因此都是錯誤的程式碼：

void a; //錯誤
function(void a); //錯誤　

　　void體現了一種抽象，這個世界上的變數都是“有型別”。

　　3.總結

　　void的出現只是為了一種抽象的需要，如果你正確地理解了面向物件中“抽象基類”的概念，也很容易理解void資料型別。正如不能給抽象基類定義一個例項，我們也不能定義一個void（讓我們類比的稱void為“抽象資料型別”）變數。