Über vorläufige Definition

Ich habe aus einem Buch über vorläufige Definitionen gelesen, dass

Eine vorläufige Definition ist jede externe Datendeklaration, die keinen Speicherklassenbezeichner und keinen Initialisierer hat. Eine vorläufige Definition wird zu einer vollständigen Definition, wenn das Ende der Übersetzungseinheit erreicht ist und keine Definition mit einem Initialisierer für die Kennung erschienen ist

Bitte erläutern Sie, was die obige Aussage bedeutet. Auch der Unterschied zwischen Deklaration und Definition? Ich bin deswegen durcheinander gekommen. 🙁 Und warum gibt dieses Programm keinen Fehler aus:

#include <stdio.h>

int a;      //Tentative definition
int a;      //similarly this declaration too.
int main()  //not getting any error with this code why its so?
{
    printf("hi");
} 

Außerdem, was ist falsch an diesem Code:

#include<stdio.h>
printf("Hi");
int main(void){
    return 0;
}

Eine Variable Erklärung sagt, “es gibt eine Variable mit folgendem Namen und Typ im Programm”.

Eine Variable Definition sagt: “Sehr geehrter Herr Compiler, bitte weisen Sie jetzt Speicher für eine Variable mit dem folgenden Namen und Typ zu.”

Es kann also mehrere Deklarationen für dieselbe Variable geben, aber es sollte nur eine Definition geben.

In C wird reinen Deklarationen (die nicht gleichzeitig Definitionen sind) das Schlüsselwort vorangestellt extern. Da Sie dieses Schlüsselwort also in Ihrem ersten Beispiel nicht haben, haben Sie zwei Definitionen. Auf den ersten Blick scheint dies ein Problem zu sein (und ist tatsächlich ein Fehler in C++), aber C hat eine spezielle “vorläufige Definitions”-Regel, die mehrere Definitionen für dieselbe Variable in derselben Übersetzungseinheit zulässt, solange sie alle passen und höchstens man hat einen Initialisierer. Der C-Compiler kombiniert hinter den Kulissen alle vorläufigen Definitionen zu einer einzigen Definition.

Hätten Sie versucht, beide Definitionen wie folgt zu initialisieren:

int a = 1;
int a = 2;

Dann hättest du einen Fehler gehabt.

Ihre zweite Frage ist einfacher. In C können Sie einfach keine ausführbaren Anweisungen außerhalb des Hauptteils einer Funktion haben. Es ist einfach nicht erlaubt. Denken Sie darüber nach: Wann würden Sie damit rechnen, dass es läuft, wenn es erlaubt wäre?

Die erste funktioniert, weil Ihre beiden Definitionen von a sind vorläufig, die beliebig oft dupliziert werden können. Am Ende der Übersetzungseinheit wurde keine nicht vorläufige Definition gesehen, also wird das, was Sie für Attribute angegeben haben, mit Standardwerten kombiniert, um eine endgültige Definition von zu geben aalso hat es eine externe Verknüpfung, eine statische Speicherdauer und wird auf 0 initialisiert.

Das Problem mit dem zweiten hat nichts mit vorläufigen Definitionen zu tun. Dein printf("Hi"); muss sich innerhalb einer Funktion befinden, um zu funktionieren – es ist keine Deklaration oder Definition (vorläufig oder anderweitig); dort ist es einfach nicht erlaubt.