void_C語言void關鍵字詳解

2020-07-16 10:04:21
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;
}