Stellen Sie sich die Leere als die "leere Struktur" vor. Lassen Sie mich erklären.
Jede Funktion verwendet eine Folge von Parametern, wobei jeder Parameter einen Typ hat. Tatsächlich könnten wir die Parameter in eine Struktur packen, wobei die Strukturschlitze den Parametern entsprechen. Dadurch hat jede Funktion genau ein Argument. In ähnlicher Weise erzeugen Funktionen ein Ergebnis, das einen Typ hat. Es könnte ein Boolescher Wert sein, oder es könnte float sein, oder es könnte eine Struktur sein, die eine beliebige Menge anderer typisierter Werte enthält. Wenn wir eine Sprache mit mehreren Rückgabewerten wollen, können wir einfach darauf bestehen, dass sie in eine Struktur gepackt werden. Tatsächlich konnten wir immer darauf bestehen, dass eine Funktion eine Struktur zurückgab. Jetzt nimmt jede Funktion genau ein Argument und erzeugt genau einen Wert.
Was passiert nun, wenn ich eine Funktion benötige, die den Wert "no" erzeugt? Überlegen Sie, was ich bekomme, wenn ich eine Struktur mit 3 Slots bilde: Sie enthält 3 Werte. Wenn ich 2 Slots habe, enthält es zwei Werte. Wenn es einen Steckplatz hat, einen Wert. Und wenn es null Slots hat, enthält es ... ähm, null Werte oder "kein" Wert. Ich kann mir also eine Funktion vorstellen, die void zurückgibt, als eine Struktur, die keine Werte enthält. Sie können sogar entscheiden, dass "void" ist nur ein Synonym für den Typ, der durch die leere Struktur dargestellt wird, und kein Schlüsselwort in der Sprache (möglicherweise ist es nur ein vordefinierter Typ :)
Ebenso kann ich mir eine Funktion, die keine Werte erfordert, als Akzeptanz einer leeren Struktur vorstellen, z. B. "void".
Auf diese Weise kann ich sogar meine Programmiersprache implementieren. Das Übergeben eines ungültigen Werts nimmt null Bytes ein, daher ist das Übergeben von ungültigen Werten nur ein Sonderfall für das Übergeben anderer Werte beliebiger Größe. Dies erleichtert dem Compiler die Behandlung des Ergebnisses oder Arguments "void". Sie möchten wahrscheinlich eine Sprachfunktion, die ein Funktionsergebnis wegwerfen kann. in C, wenn Sie die nicht leere Ergebnisfunktion foo in der folgenden Anweisung aufrufen: foo (...); Der Compiler weiß, dass foo ein Ergebnis erzeugt und ignoriert es einfach. Wenn void ein Wert ist, funktioniert dies perfekt und jetzt sind "Prozeduren" (die nur ein Adjektiv für eine Funktion mit void-Ergebnis sind) nur triviale Sonderfälle allgemeiner Funktionen.
Void * ist ein bisschen lustiger. Ich glaube nicht, dass die C-Designer auf die oben genannte Weise an Leere gedacht haben. Sie haben gerade ein Schlüsselwort erstellt. Dieses Schlüsselwort war verfügbar, wenn jemand einen Punkt auf einen beliebigen Typ benötigte, also void * als Redewendung in C. Es funktioniert tatsächlich ziemlich gut, wenn Sie void als leere Struktur interpretieren. Ein void * -Zeiger ist die Adresse eines Ortes, an dem diese leere Struktur platziert wurde.
Casts von void * bis T * für andere Typen T funktionieren ebenfalls mit dieser Perspektive. Zeiger-Casts sind ein vollständiger Cheat, der auf den meisten gängigen Architekturen funktioniert, um die Tatsache auszunutzen, dass, wenn ein zusammengesetzter Typ T ein Element mit dem Subtyp S hat, das physisch am Anfang von T in seinem Speicherlayout platziert ist, S * in T * und umgewandelt wird Umgekehrt funktioniert die Verwendung derselben physischen Maschinenadresse in der Regel, da die meisten Maschinenzeiger eine einzige Darstellung haben. Das Ersetzen des Typs S durch den Typ void ergibt genau den gleichen Effekt, und somit funktioniert das Casting zu / von void *.
Die Programmiersprache PARLANSE setzt die oben genannten Ideen ziemlich genau um. Wir haben das Design vermasselt und "void" als Rückgabetyp nicht genau beachtet und haben daher Schlüsselwörter für die Prozedur. Es ist meistens nur eine einfache Syntaxänderung, aber es ist eines der Dinge, an die Sie nicht herankommen, wenn Sie einen umfangreichen Arbeitscode in einer Sprache erhalten.