Comment void fonctionne avec le type Aliassing?

Question

J'ai lu attentivement sur les règles pour le type aliasing: http://en.cppreference.com/w/cpp/language/reinterpret_cast#Type_aliasing j'ai spécifiquement une question sur la dernière règle, dans laquelle nous sommes autorisés à jeter à:

char ou unsigned char: cela permet l'examen de l'objet la représentation d'un objet comme un tableau de unsigned char

J'ai remarqué que cela ne pas comprennent le type void. Ne devrions-nous pas être en mesure de jeter quelque chose à void et de retour aussi?

Answer 1

Il n'y a aucun alias de type dans ce cas, car vous ne pouvez pas examiner un objet via un void*. Pour ce faire, vous devez déréférencer le void*, mais cela n'est pas autorisé. void dans n'importe quel contexte est un type incomplet et vous ne pouvez pas déréférencer des pointeurs vers des types incomplets.

Answer 2

void est un type incomplet. Il ne peut jamais y avoir d'objet de type void.

Answer 3

voidvoid est étrange en ce que vous pouvez déclarer quelque chose void*, mais vous utiliseriez rarement void en dehors du contexte d'une définition de fonction. En ce sens, c'est un type incomplet, et n'a donc pas de signification réelle en soi. void existe vraiment juste pour la syntaxe.

Vous pouvez techniquement jeter un type à void,

int i = 0; 
(void)i; 

mais cela est vraiment un no-op. Vous pourriez voir ceci quand quelqu'un essaye de cacher des avertissements de compilateur au sujet des variables inutilisées. Vous ne pouvez pas renvoyer le résultat à son type d'origine, car il ne génère pas de résultat.

Vous pouvez également convertir et déclarer des pointeurs en tant que void*, ce qui signifie qu'il peut pointer sur n'importe quoi (avec quelques exceptions). Cependant, vous ne pouvez pas le déréférencer tant que vous ne l'avez pas converti en type complet, par exemple unsigned char.