Den Unterschied zwischen f () und f (void) in C und C ++ ein für allemal verstehen

Ok, also ich habe gehört, verschiedene Meinungen zu diesem Thema und wollen einfach nur sicherstellen, dass ich es richtig verstehe.

Für C++

Erklärungen void f(); und void f(void); bedeuten genau das gleiche, die Funktion f keine Parameter. Das gleiche gilt für Definitionen.

Für C

Erklärung void f(void); bedeutet, dass f keine Parameter.

Erklärung void f(); bedeutet, dass die Funktion f möglicherweise oder möglicherweise nicht über Parameter, und wenn es das tut, wissen wir nicht, welche Parameter das sind, oder wie viele es von Ihnen ist. Beachten Sie, dass es ist NICHT das gleiche wie Ellipse, wir können nicht va_list.

Nun, hier ist, wo die Dinge interessant.

Fall 1

Erklärung:

void f();

Definition:

void f(int a, int b, float c)
{
   //...
}

Fall 2

Erklärung:

void f();

Definition:

void f()
{
   //...
}

Frage:

Was geschieht bei der Kompilierung in den Fällen 1 und 2, wenn wir rufen f mit den richtigen Argumenten, falschen Argumente und nicht-Argumente? Was geschieht zur Laufzeit?

Zusätzliche Frage:

Wenn ich erkläre f mit Argumenten, sondern definieren es ohne Sie, wird es einen Unterschied machen? Sollte ich in der Lage, die Argumente von der Funktion Körper?

InformationsquelleAutor der Frage | 2012-11-10

  1. 51

    Mehr Terminologie (C, nicht C++): ein Prototyp für eine Funktion deklariert, die Typen Ihrer Argumente. Sonst ist die Funktion nicht haben, ist ein Prototyp.

    void f();                      //Declaration, but not a prototype
void f(void);                  //Declaration and prototype
void f(int a, int b, float c); //Declaration and prototype

    Erklärungen, die nicht Prototypen sind holdovers aus der vor-ANSI-C, von den Tagen der K&R C. Der einzige Grund für die Verwendung einer old-style-Deklaration aufrecht zu erhalten, die binäre Kompatibilität mit altem code. Zum Beispiel, in Gtk 2 gibt es eine Funktion, Erklärung, ohne ein Prototyp-es gibt es durch Zufall, aber es nicht entfernt werden kann, ohne zu brechen binaries. Der C99-standard Kommentare:

    6.11.6 Funktion declarators

    Die Verwendung der Funktion declarators mit leeren Klammern (nicht Prototyp-format-parameter
    geben Sie declarators) ist eine veraltete Funktion.

    Empfehlung: ich schlage vor, in denen alle C-code in GCC/Clang mit -Wstrict-prototypes und -Wmissing-prototypeszusätzlich zu den üblichen -Wall -Wextra.

    Was passiert

    void f(); //declaration
void f(int a, int b, float c) { } //ERROR

    Der Erklärung nicht einverstanden mit der Funktion Körper! Dies ist eigentlich ein compile-Zeit Fehler, und es ist, weil Sie nicht haben eine float argument in eine Funktion ohne Prototyp. Der Grund, warum Sie nicht verwenden können, eine float in einem unprototyped Funktion ist, weil beim Aufruf einer solchen Funktion, alle Argumente erhalten, gefördert über bestimmte Standard-Aktionen. Hier ist eine Feste Beispiel:

    void f();

void g()
{
    char a;
    int b;
    float c;
    f(a, b, c);
}

    In diesem Programm a wird gefördert int1 und c wird gefördert double. So die definition für f() werden:

    void f(int a, int b, double c)
{
    ...
}

    Sehen C99 6.7.6 Absatz 15,

    Wenn ein Typ hat ein parameter Typ Liste und die andere Art wird durch ein
    Funktion gegen die Feststellung, dass ist nicht Teil der definition einer Funktion ist, und enthält eine leere
    id-Liste, der Liste der parameter wird nicht als eine Ellipse terminator und die Art der einzelnen
    parameter sind kompatibel mit dem Typ, dass die Ergebnisse aus der Anwendung der
    default argument promotions.

    Antwort 1

    Was geschieht bei der Kompilierung in den Fällen 1 und 2, wenn wir rufen f mit den richtigen Argumenten, falschen Argumente und nicht-Argumente? Was geschieht zur Laufzeit?

    Beim Aufruf f() die Parameter steigt mit der Standard-promotions. Wenn die geförderten Arten übereinstimmung der tatsächlichen parameter-Typen für f()dann ist alles gut. Wenn Sie nicht übereinstimmen, wird es wahrscheinlich kompilieren, aber Sie werden auf jeden Fall zu undefiniertem Verhalten.

    "Undefined behavior" wird spec-sprechen für "wir machen keine Garantien über das, was geschehen wird." Vielleicht wird Ihr Programm Abstürzen, vielleicht wird es funktionieren, vielleicht wird es laden Sie Ihre Schwiegereltern zum Abendessen.

    Gibt es zwei Möglichkeiten für die Diagnostik zur compile-Zeit. Wenn Sie eine anspruchsvolle compiler mit Kreuz-Modul statische Analyse-Funktionen, dann werden Sie wahrscheinlich eine Fehlermeldung erhalten. Sie können auch Nachrichten für un-Prototyp-Deklarationen mit GCC, mit -Wstrict-prototypes -- ich empfehle dem einschalten in alle Ihre Projekte (mit Ausnahme von Dateien, die Verwendung von Gtk 2).

    Antwort 2

    Wenn ich erkläre f mit Argumenten, sondern definieren es ohne Sie, wird es einen Unterschied machen? Sollte ich in der Lage, die Argumente von der Funktion Körper?

    Sollte es nicht kompilieren.

    Ausnahmen

    Gibt es tatsächlich zwei Fälle, in denen die Funktion Argumente zulässig sind, nicht einverstanden mit der definition einer Funktion.

    1. Ist es okay, pass char * um eine Funktion, die erwartet, dass void *und Umgekehrt.

    2. Ist es okay, pass eine vorzeichenbehaftete Ganzzahl-Typ auf eine Funktion, die erwartet, dass die unsigned-version geben, oder Umgekehrt, so lange der Wert darstellbar ist in beiden Arten (D. H., es ist nicht negativ, und nicht aus der Reichweite des unterzeichneten Typ).

    Fußnoten

    1: Es ist möglichdass char fördert zu unsigned intaber das ist sehr selten.

    InformationsquelleAutor der Antwort Dietrich Epp

  2. 6

    Die ganze Sache ist wirklich ein strittiger Punkt, wenn Sie C99 oder später (und, es sei denn, du stehst auf ein altes embedded-system oder so etwas wie, dass Sie wahrscheinlich sollte werden mit etwas mehr modern).

    C99/C11 Abschnitt 6.11.6 Future language directions, Function declarators Staaten:

    Die Verwendung der Funktion declarators mit leeren Klammern (nicht Prototyp-parameter format Typ declarators) ist eine veraltete Funktion.

    Daher sollten Sie es vermeiden, Dinge wie void f(); insgesamt.

    Wenn es dauert, Parameter, Liste Sie hier auf, Sie bilden ein richtiges Vorbild. Wenn nicht, uns void zu zeigen definitiv, dass es nimmt keine Parameter.

    InformationsquelleAutor der Antwort paxdiablo

  3. 3

    In C++,
    f() und f(void) ist die gleiche

    In C,
    Sie sind anders, und eine beliebige Anzahl von Argumenten übergeben werden kann, während die aufrufende Funktion f() aber kein argument übergeben werden kann in f(void)

    InformationsquelleAutor der Antwort rs2012

  4. -1

    In reinem C, das zu dem Fehler führt: error C2084: function 'void __cdecl f(void )' already has a body

    void f(void);
void f( );

int main() {
  f(10);
  f(10.10);
  f("ten");

  return 0;
}

void f(void) {

}

void f( ) {

}

    .

     fvoid.c line(19) : error C2084: function 'void __cdecl f(void )' already has a body

    Aber in Reinem C++ wird kompiliert ohne Fehler.

    Überladen von Funktionen (nur C++, C hat keine überlastung)

    Überlastung name einer Funktion f, indem er erklärt mehr als eine Funktion mit dem Namen f im gleichen Umfang. Die Erklärungen von f muss, unterscheiden sich von einander durch die Art und/oder die Anzahl der Argumente in der Argumentliste. Beim Aufruf einer überladenen Funktion mit dem Namen f, die richtige Funktion ausgewählt ist, indem Sie vergleichen die Liste der Argumente des Funktionsaufrufs mit der Liste der parameter von jedem der überladenen Kandidat Funktionen mit dem Namen f.

    Beispiel:

    #include <iostream>
using namespace std;

void f(int i);
void f(double  f);
void f(char* c);


int main() {
  f(10);
  f(10.10);
  f("ten");

  return 0;
}

void f(int i) {
  cout << " Here is int " << i << endl;
}
void f(double  f) {
  cout << " Here is float " << f << endl;
}

void f(char* c) {
  cout << " Here is char* " << c << endl;
}

    Ausgabe:

     Here is int 10
 Here is float 10.1
 Here is char* ten

    InformationsquelleAutor der Antwort Software_Designer

Schreibe einen Kommentar