void型別修飾符(type specifier)表示“沒有值可以獲得”。因此,不可以採用這個型別宣告變數或常數。void 型別可以用於下面各小節所描述的目的。
void用於函數宣告
沒有返回值的函數,其型別為 void。例如,標準庫函數 perror() 被宣告為以下原型:
void perror( const char * );
下面是另一個函數原型的宣告,參數列中的關鍵字 void 表示該函數沒有引數:
FILE *tmpfile( void );
如果嘗試進行函數呼叫,例如採用 tmpfile("name.tmp"),則編譯器會報錯。如果該函數宣告時參數列中未採用 void,則C編譯器就無法獲得關於該函數引數的資訊,因此,無法判斷 tmpfile("name.tmp") 的呼叫是否正確。
void型別表示式
void 型別表示式指的是沒有值的表示式。例如,呼叫一個沒有返回值的函數,就是一種 void 型別表示式:
char filename[] = "memo.txt";
if ( fopen( filename, "r") == NULL )
perror( filename ); // void表示式
型別轉換(cast)運算(void)表示式顯式地將表示式的返回值丟棄,例如,如下程式碼丟棄了函數返回值:
(void)printf("I don't need this function's return value!n");
指向void的指標
一個 void* 型別的指標代表了物件的地址,但沒有該物件的型別資訊。這種“無資料型別”的指標主要用於宣告函數,讓函數可使用各種型別的指標引數,或者返回一個“多用途”的指標。例如,標準記憶體管理函數:
void *malloc( size_t size );
void *realloc( void *ptr, size_t size );
void free( void *ptr );
如下例所示,可將一個 void 指標值賦值給另一個物件指標型別,反之亦可,這都不需要進行顯式的型別轉換。
:演示void型別的用法:
#include <stdio.h>
#include <time.h>
#include <stdlib.h> // 提供以下函數的原型
// void srand( unsigned int seed );
// int rand( void );
// void *malloc( size_t size );
// void free( void *ptr );
// void exit( int status };
enum { ARR_LEN = 100 };
int main ()
{
int i, *pNumbers = malloc(ARR_LEN * sizeof(int)); //獲得相同的儲存空間
if( pNumbers == NULL )
{
fprintf(stderr,"Insufficient memory.n");
exit(1);
}
srand( (unsigned)time(NULL ); // 初始化亂數產生器
for ( i=0; i < ARR_LEN; ++i )
pNumbers[i] = rand() % 10000; // 儲存一些亂數
printf("n%d random numbers between 0 and 0000:n", ARR_LEN);
for ( i=0; i< ARR_LEN; ++i ) // 迴圈輸出
{
printf("%6d",pNumbers[i]); // 每次回圈輸出一個數位
if ( i % 10 == 9) putchar( 'n'); // 每10個數位換一行
}
free( pNumbers ); // 釋放儲存空間
return 0;
}