Was ist der Grund für die vorläufige Definition in C?

Question

Folgendes Programm beachten. Wird dies zu Kompilierungsfehlern führen?

Auf den ersten Blick scheint der Compiler einen variablen Redefinitionsfehler zu haben, aber das Programm ist nach dem C-Standard perfekt gültig. (Siehe Live-Demo hier http://ideone.com/Xyo5SY).

Eine vorläufige Definition ist eine externe Datendeklaration, die keinen Speicherklassenspezifizierer und keinen Initialisierer hat.

C99 6.9.2/2

Eine Deklaration einer Kennung für ein Objekt, das ohne einen Initialisierer fi le Umfang hat, und ohne eine Speicherklasse spezifischen ER oder mit dem Speicherklasse spezifischen er statisch, stellt eine vorläufige Definition dar. Wenn eine Übersetzungseinheit eine oder mehrere vorläufige Definitionen für einen Identifier enthält und die Übersetzungseinheit keine externe Definition für enthält, die identisch ist, dann ist das Verhalten genau so, als ob die Übersetzung eine Dateibereichsdeklaration dieses Identifikators enthält der Verbundtyp ab Ende der Übersetzungseinheit, mit einem initializer gleich 0.

Meine Frage ist, was ist Gründe dafür, dass vorläufige Definitionen? Gibt es irgendeinen Gebrauch davon in C? Warum erlaubt C vorläufige Definitionen?

Answer 1

Vorläufige Definitionen wurden erstellt, um inkompatible Modelle vor dem C89 zu überbrücken. Dies wird in den C99 rationale Abschnitt 6.9.2 Externen Objektdefinitionen abgedeckt, die sagen:

Vor C90, Implementierungen weit in Bezug variierten Referenzierung Bezeichner mit interner Bindung zu übermitteln (siehe §6.2.2). Das C89 Komitee erfand das Konzept der vorläufigen Definition, um diese Situation zu behandeln. Eine vorläufige Definition ist eine Deklaration, die als eine Definition fungieren kann oder nicht: Wenn eine tatsächliche Definition später in der Übersetzungseinheit gefunden wird, fungiert die vorläufige Definition nur als Deklaration. Wenn nicht, fungiert die vorläufige Definition als tatsächliche Definition. Aus Gründen der Konsistenz gelten dieselben Regeln für Bezeichner mit externer Verknüpfung, obwohl sie nicht unbedingt erforderlich sind.

und Abschnitt 6.2.2 vom C99 Begründung sagt:

Die Definition Modell für Objekte mit externer Bindung verwendet werden sollte ein großes C89 Standardisierung Thema. Das grundlegende Problem war, zu entscheiden, welche Deklarationen eines Objekts Speicher für das Objekt definieren, und , die lediglich ein vorhandenes Objekt referenzieren. Ein damit zusammenhängendes Problem war ob mehrere Definitionen von Speicher zulässig sind, oder nur einer ist akzeptabel. Pre-C89-Implementierungen zeigen mindestens vier verschiedene Modelle , die hier aufgeführt in der Reihenfolge zunehmender restrictiveness:

Answer 2

Hier ist ein Beispiel für einen Fall, in dem es sinnvoll ist:

void (*a)(); 

void bar(); 
void foo() 
{ 
    a = bar; 
} 

static void (*a)() = foo; 

/* ... code that uses a ... */ 

Der entscheidende Punkt ist, dass die Definition von foo-a zu beziehen hat, und die Definition von a muss foo verweisen. Ähnliche Beispiele mit initialisierten Strukturen sollten ebenfalls möglich sein.