C: Nicht angegebene Anzahl von Parametern - void foo ()

Das ist eine alte Funktionsdeklaration.

Diese Erklärung:

deklariert, dass foo eine Funktion ist, die void zurückgibt, die eine nicht spezifizierte, aber feste Anzahl und Typen von Argumenten benötigt. Es bedeutet nicht, dass Aufrufe mit beliebigen Argumenten gültig sind; Dies bedeutet, dass der Compiler keine falschen Aufrufe mit der falschen Anzahl oder Art von Argumenten diagnostizieren kann.

Irgendwo, vielleicht in einer anderen Übersetzungseinheit (Quelldatei), muss es eine Definition der Funktion geben, vielleicht:

Dies bedeutet, dass jeder Aufruf von foo , das nicht zwei Argumente vom Typ long und double* übergibt, ungültig ist und nicht definiert ist.

Vor dem 1989 ANSI C-Standard waren dies die einzige Art von Funktionsdeklaration und -definition, die in der Sprache verfügbar waren, und die Last, korrekte Funktionsaufrufe zu schreiben, lag ausschließlich beim Programmierer. ANSI C fügte Prototypen hinzu, Funktionsdeklarationen, die die Typen der Parameter einer Funktion angeben, die eine Überprüfung der Funktionsaufrufe zur Kompilierungszeit ermöglichen. (Diese Funktion wurde von frühem C ++ übernommen.) Das moderne Äquivalent des obigen wäre:

Old-style (Nicht-Prototyp) Deklarationen und Definitionen sind immer noch legal, aber sie sind offiziell veraltet , was bedeutet, dass sie im Prinzip aus einer zukünftigen Version der Sprache entfernt werden könnten - obwohl sie immer noch in der Norm von 2011 sind, weiß ich nicht, dass das jemals tatsächlich passieren wird.

Es gibt keinen guten Grund, im modernen C-Code alte Funktionsdeklarationen und Definitionen zu verwenden. (Ich habe Argumente dafür gesehen, sie in einigen Fällen zu verwenden, aber ich finde sie nicht überzeugend.)

C unterstützt auch variadic Funktionen wie printf , die eine beliebige Anzahl von Argumenten enthalten, aber das ist ein besonderes Merkmal. Eine Variadic-Funktion muss mit einem Prototyp deklariert werden, der ein abschließendes , ... enthält. (Das Aufrufen einer variadischen Funktion ohne sichtbaren Prototyp ist nicht illegal, hat aber ein undefiniertes Verhalten.) Die Funktion selbst verwendet Makros, die in <stdarg.h> definiert sind, um ihre Parameter zu verarbeiten. Wie bei alten Funktionsdeklarationen gibt es keine Kompilierzeitprüfung für Argumente, die , ... entsprechen (obwohl einige Compiler einige Aufrufe überprüfen können; z. B. gcc warnt, wenn die Argumente in einem printf -Aufruf nicht mit dem Format übereinstimmen) Zeichenfolge).

Dies bedeutet wörtlich, dass Sie dem Compiler nicht sagen, welche Argumente die Funktion benötigt, das heißt, dass Sie nicht davor geschützt sind, sie mit einem beliebigen Satz von Argumenten aufzurufen. Sie müssten in der Definition genau sagen, welche Argumente tatsächlich für die zu implementierende Funktion verwendet werden.

Sie könnten dies beispielsweise verwenden, wenn Sie eine Header-Datei zum Beschreiben einer fremden Funktion in externem Code generieren. Wenn Sie jedoch nicht wissen, wie die Signatur der Funktion tatsächlich lautet, ist sie unter Verwendung Ihrer Kopfzeile dennoch aufrufbar Die falschen Argumente in den Anrufergebnissen sind nicht definiert.

Der Call-Standard der C-Funktion ermöglicht den Aufruf einer Funktion mit null oder mehr Argumenten und die Anzahl der Argumente kann mit der Funktionsschnittstelle übereinstimmen oder nicht.

Das funktioniert wie folgt: Der Aufrufer muss den Stack anpassen, nachdem die aufgerufene Funktion zurückgegeben wurde, und nicht die aufgerufene Funktion, um den Stack anzupassen, wie dies bei anderen Standards wie Pascal der Fall ist.

Da der Aufrufer weiß, welche Argumente und deren Typen auf den Stapel geschoben wurden, bevor die aufgerufene Funktion aufgerufen wird und die aufgerufene Funktion nicht, ist es dem Aufrufer überlassen, die übergebenen Argumente vom Stapel zu löschen, nachdem die aufgerufene Funktion zurückgegeben wurde .

Mit aktualisierten C-Standards ist die Beschreibung der Funktionsaufrufschnittstelle komplexer geworden, damit der Compiler Schnittstellenprobleme erkennen und melden kann, die der ursprüngliche K & amp; C-Standard vom Compiler nicht erkannt bekommen hat.

Der Standard besteht nun darin, dass Sie Variablenargumentlisten mit der Elipsis-Notation von drei Punkten oder Punkten nach dem letzten bekannten und angegebenen Argument in der Schnittstellenspezifikation oder Deklaration der aufgerufenen Funktionen angeben.

Sie würden also für einige der Standard-C-Bibliothek-E / A-Funktionen Folgendes sehen:

Dies zeigt an, dass die Funktion sprintf erfordert, dass das erste Argument ein char-Zeiger auf einen Puffer ist, das zweite Argument ein char-Zeiger auf eine Formatzeichenfolge ist und dass möglicherweise noch weitere Argumente vorhanden sind. In diesem Fall wären zusätzliche Argumente erforderlich, die für die Druckformatbezeichner in der Formatzeichenfolge eingefügt werden müssen. Wenn die Formatzeichenkette nur eine Textzeichenfolge ist, für die kein Format angegeben ist (etwas wie zB% d für eine ganze Zahl), gäbe es keine anderen Argumente.

Die neueren C-Standards spezifizieren eine Reihe von Funktionen / Makros für die Verwendung mit variablen Argumentlisten, den varg-Funktionen. Mit diesen Funktionen / Makros kann die aufgerufene Funktion den variablen Teil einer Argumentliste durchlaufen und die Argumente verarbeiten. Diese Funktionen sehen ungefähr so ​​aus:

Das Problem, das wir mit variablen Argumentlisten haben, ist, dass C keine Möglichkeit hat, das Variablenargument oder gar wie viele Argumente zu kommunizieren. Der Designer der Funktion muss also einen Mechanismus bereitstellen. Bei den C-Standard-Bibliothek-E / A-Funktionen erfolgt dies mit dem Format, das die Anzahl der Argumente angibt, die auf die Formatzeichenfolge folgen, indem für jedes Argument Formatspezifizierer angegeben werden. Und da es nichts gibt, was eine Konsistenzprüfung durchführt, können Sie am Ende eine Formatzeichenfolge erhalten, die mehr oder weniger als die tatsächlichen Argumente angibt, was entweder zu einer fehlerhaften Ausgabe oder zu einer geringeren Ausgabe als erwartet führt.

Da moderne C-Compiler einen gewissen Grad an Rückwärtskompatibilität für alten C-Quellcode haben, bedeutet das, dass Sie einige der älteren Konstrukte verwenden können und der Compiler wird es hoffentlich mit einer Warnung erlauben.

Die neuen Funktionsschnittstellenspezifikationen dienen dazu, die Wahrscheinlichkeit zu verringern, dass eine Funktion falsch verwendet wird. Daher empfehlen die neuen Standards, dass Sie die Deklaration der Funktionsschnittstelle verwenden, damit der Compiler Ihnen bei der Erkennung von Schnittstellenproblemen und falscher Variablenverwendung im Funktionsaufruf helfen kann.

Wenn Sie jedoch risikofreudig sein wollen, brauchen Sie dieses Sicherheitsnetz nicht zu benutzen. Wenn Sie möchten, können Sie einfach eine Funktion mit einer leeren Argumentliste definieren und sie flügeln.

Sie könnten auch eine Antwort finden, die ich in diese Frage zum Currying gestellt habe in C , die Variablenargumentlisten zusammen mit einer Möglichkeit verwendet, zu bestimmen, wie viele Argumente zur Verfügung gestellt werden.