Üres

Szemantika

A kulcsszó szemantikája voidnem vonatkozik a típusmeghatározók általános szemantikájára, és a használattól függ:

• A függvény visszaadási típusának neveként : azt jelzi, hogy a függvény nem ad vissza értéket, és a függvényhívás érvénytelen kifejezés . Egy ilyen függvény törzse nem tartalmazhat kifejezésekkel ellátott return utasításokat . Például:voidf ( );
• A függvénydeklarátor részeként : azt jelzi, hogy a függvénynek prototípusa van, és nincsenek paraméterei. Például:int f ( érvénytelen );
• Egy cast művelet céltípusának neve: az ilyen üres cast a cast kifejezés értékének elvetését jelenti. Például:#define promote_ptr() ((void) (ptr++))
• Az üres mutató típusnév részeként: egy ilyen mutató képes megjeleníteni bármely objektumra mutató mutató értékét és a hiányos típusokat , azaz bármely objektum címét . Így a void-pointer egy általánosított objektummutató . void-mutatók nem képesek megjeleníteni a függvénymutatók értékeit . Kivéve azt az esetet, amikor a const null mutatót egy függvénymutatóra öntjük C-ben, nincs explicit vagy implicit konverzió a void-mutatók és a függvénymutatók között.

A típus voidegy hiányos típusként van definiálva, amely nem fejezhető be. Következésképpen ezt a típust nem szabad használni ott, ahol csak a teljes típusok engedélyezettek, például egy paramétertípus egy függvénydefinícióban .

A C nyelv a void előtt

Az első C-szabvány 1989-es kiadása előtt, amely bevezette a kulcsszót void, általános gyakorlat volt olyan függvények deklarálása, amelyek nem adtak vissza értékeket típusleírók használata nélkül. Míg egy ilyen deklaráció szemantikailag egyenértékű volt egy type értéket visszaadó függvény deklarálásával int, a szándékosan kihagyott típusleírók hangsúlyozták, hogy a függvény nem ad vissza semmilyen értéket. Például: