Warum wird eine Funktion ohne Parameter (im Vergleich zur eigentlichen Funktionsdefinition) kompiliert?

Ich bin gerade auf den C-Code von jemandem gestoßen, bei dem ich verwirrt bin, warum er kompiliert. Es gibt zwei Punkte, die ich nicht verstehe.

1. Das Funktionsprototyp hat im Vergleich zur eigentlichen Funktionsdefinition keine Parameter.

2. Der Parameter in der Funktionsdefinition hat keinen Typ.

#include <stdio.h>

int func();

int func(param)
{
    return param;
}

int main()
{
    int bla = func(10);    
    printf("%d", bla);
}

Warum funktioniert das? Ich habe es in ein paar Compilern getestet, und es funktioniert gut.

Alle anderen Antworten sind richtig, aber nur für Fertigstellung

Eine Funktion wird folgendermaßen deklariert:

  return-type function-name(parameter-list,...) { body... }

Rückgabetyp ist der Variablentyp, den die Funktion zurückgibt. Dies kann kein Array-Typ oder ein Funktionstyp sein. Wenn nicht angegeben, wird int angenommen.

Funktionsname ist der Name der Funktion.

Parameterliste ist die Liste der Parameter, die die Funktion durch Kommas getrennt übernimmt. Wenn keine Parameter angegeben sind, nimmt die Funktion keine entgegen und sollte mit leeren Klammern oder mit dem Schlüsselwort void definiert werden. Steht in der Parameterliste vor einer Variablen kein Variablentyp, wird int angenommen. Arrays und Funktionen werden nicht an Funktionen übergeben, sondern automatisch in Zeiger umgewandelt. Wenn die Liste mit Auslassungspunkten (,…) abgeschlossen wird, gibt es keine festgelegte Anzahl von Parametern. Hinweis: Der Header stdarg.h kann verwendet werden, um auf Argumente zuzugreifen, wenn Auslassungspunkte verwendet werden.

Und nochmal der Vollständigkeit halber. Aus C11-Spezifikation 6:11:6 (Seite: 179)

Das Verwendung von Funktionsdeklaratoren mit leeren Klammern (keine Parametertypdeklaratoren im Prototypformat) ist eine veraltete Funktion.

In C func() bedeutet, dass Sie beliebig viele Argumente übergeben können. Wenn Sie keine Argumente wollen, müssen Sie as deklarieren func(void). Der Typ, den Sie an Ihre Funktion übergeben, wenn nicht angegeben, standardmäßig int.

int func(); ist eine veraltete Funktionsdeklaration aus der Zeit, als es noch keinen C-Standard gab, also aus den Tagen von K&R C (vor 1989, dem Jahr der Veröffentlichung des ersten “ANSI C”-Standards).

Denken Sie daran, dass es gab keine Prototypen in K&R C und das Stichwort void war noch nicht erfunden. Alles, was Sie tun konnten, war, den Compiler über die zu informieren Rückgabetyp einer Funktion. Die leere Parameterliste in K&R C bedeutet „eine unbestimmte, aber feste“ Anzahl von Argumenten. Fixed bedeutet, dass Sie die Funktion mit aufrufen müssen gleich Anzahl von Argumenten jedes Mal (im Gegensatz zu a variadisch funktionieren wie printfwobei Anzahl und Typ für jeden Anruf unterschiedlich sein können).

Viele Compiler werden dieses Konstrukt diagnostizieren; im Speziellen gcc -Wstrict-prototypes wird Ihnen sagen “Funktionsdeklaration ist kein Prototyp”, was genau richtig ist, weil es sieht aus wie ein Prototyp (besonders wenn Sie von C++ vergiftet sind!), ist es aber nicht. Es ist eine K&R-C-Rückgabetypdeklaration im alten Stil.

Faustregel: Lassen Sie niemals eine leere Parameterlisten-Deklaration leer, verwenden Sie int func(void) um genau zu sein. Dadurch wird die K&R-Rückgabetypdeklaration zu einem richtigen C89-Prototyp. Compiler sind glücklich, Entwickler sind glücklich, statische Prüfer sind glücklich. Diejenigen, die von^W^W C++ in die Irre geführt werden, könnten jedoch zusammenzucken, weil sie zusätzliche Zeichen eingeben müssen, wenn sie versuchen, ihre Fremdsprachenkenntnisse zu trainieren 🙂

• Die leere Parameterliste bedeutet “beliebige Argumente”, also ist die Definition nicht falsch.
• Als fehlender Typ wird angenommen int.

Ich würde jedoch davon ausgehen, dass jedem Build, der dies besteht, die konfigurierte Warn- / Fehlerebene fehlt. Es macht keinen Sinn, dies für tatsächlichen Code zuzulassen.

Es ist K&R Style-Funktionsdeklaration und -definition. Ab C99-Standard (ISO/IEC 9899:TC3)

Abschnitt 6.7.5.3 Funktionsdeklaratoren (einschließlich Prototypen)

Eine Bezeichnerliste deklariert nur die Bezeichner der Parameter der Funktion. Eine leere Liste in einem Funktionsdeklarator, der Teil einer Definition dieser Funktion ist, gibt an, dass die Funktion keine Parameter hat. Die leere Liste in einem Funktionsdeklarator, der nicht Teil einer Definition dieser Funktion ist, gibt an, dass keine Informationen über die Anzahl oder Typen der Parameter bereitgestellt werden. (Wenn beide Funktionstypen “alter Stil” sind, werden Parametertypen nicht verglichen.)

Abschnitt 6.11.6 Funktionsdeklaratoren

Die Verwendung von Funktionsdeklaratoren mit leeren Klammern (keine Parametertyp-Deklaratoren im Prototypformat) ist eine veraltetes Merkmal.

Abschnitt 6.11.7 Funktionsdefinitionen

Die Verwendung von Funktionsdefinitionen mit separaten Parameterbezeichnern und Deklarationslisten (keine Parametertyp- und Bezeichnerdeklaratoren im Prototypformat) ist eine veraltetes Merkmal.

Was der alte Stil bedeutet K&R Stil

Beispiel:

Erklärung: int old_style();

Definition:

int old_style(a, b)
    int a; 
    int b;
{
     /* something to do */
}

C nimmt an int wenn kein Typ für Funktionsrückgabetyp und Parameterliste angegeben ist. Nur für diese Regel sind folgende seltsame Dinge möglich.

Eine Funktionsdefinition sieht so aus.

int func(int param) { /* body */}

Wenn es ein Prototyp ist, den Sie schreiben

int func(int param);

Im Prototyp können Sie nur die Art der Parameter angeben. Der Name des Parameters ist nicht obligatorisch. So

int func(int);

Auch wenn Sie den Parametertyp nicht angeben, sondern den Namen int wird als Typ angenommen.

int func(param);

Wenn Sie weiter gehen, funktioniert das Folgen auch.

func();

Compiler geht davon aus int func() wenn du schreibst func(). Aber nicht setzen func() innerhalb eines Funktionskörpers. Das wird ein Funktionsaufruf sein

Wie @Krishnabhadra sagte, haben alle vorherigen Antworten von anderen Benutzern eine korrekte Interpretation, und ich möchte nur einige Punkte detaillierter analysieren.

Im Old-C wie im ANSI-C ist das “untypisierter formaler Parameter“, nehmen Sie die Dimension Ihrer Arbeitsregister- oder Befehlstiefenfähigkeit (Schattenregister oder kumulativer Befehlszyklus), in einer 8-Bit-MPU wird es ein int16 sein, in einer 16-Bit-MPU und so wird es ein int16 und so weiter sein, im Fall von 64 Bit Architekturen können sich dafür entscheiden, Optionen zu kompilieren wie: -m32.

Obwohl es eine einfachere Implementierung auf hoher Ebene zu sein scheint, wird die Arbeit des Programmierers in dem Steuerdimensions-Datentypschritt zum Übergeben mehrerer Parameter anspruchsvoller.

In anderen Fällen nutzten die angepassten ANSI-Compiler für einige Mikroprozessorarchitekturen einige dieser alten Funktionen, um die Verwendung des Codes zu optimieren, und erzwangen, dass die Position dieser “nicht typisierten formalen Parameter” innerhalb oder außerhalb des Arbeitsregisters funktioniert, heute erhalten Sie fast dasselbe mit der Verwendung von “volatile” und “register”.

Es sollte jedoch beachtet werden, dass die modernsten Compiler keinen Unterschied zwischen den beiden Arten der Parameterdeklaration machen.

Beispiele für eine Kompilierung mit gcc unter Linux:

In jedem Fall nützt die Angabe des Prototyps lokal nichts, da ohne Parameter kein Aufruf unterlassen wird, auf diesen Prototyp zu verweisen. Wenn Sie das System mit “untypisiertem Formalparameter” verwenden, fahren Sie für einen externen Aufruf mit der Generierung eines deklarativen Prototyp-Datentyps fort.

So was:

int myfunc(int param);