Jakie jest uzasadnienie wstępnych definicji w C?

Question

Rozważ zastosowanie następującego programu. Czy spowoduje to błędy kompilacji?

#include <stdio.h> 
int s=5; 
int s; 
int main(void) 
{ 
    printf("%d",s); 
} 

Na pierwszy rzut oka wydaje się, że kompilator podaje błąd redefinicji, ale program jest całkowicie poprawny zgodnie ze standardem C. (Zobacz prezentację na żywo tutaj: http://ideone.com/Xyo5SY).

Wstępna definicja to dowolna zewnętrzna deklaracja danych, która nie ma specyfikatora klasy pamięci i żadnego inicjalizatora.

C99 6.9.2/2

Oświadczenie o stwierdziliśmy er dla obiektu, który ma fi l zakres bez inicjatora i bez magazynowania klasy, określonym ER lub z magazynowania klasy, określonym er statycznego stanowi wstępną definicję. Jeżeli jednostka tłumaczeniowa zawiera jedno lub więcej wstępnych definicji dla identyfikatora , a jednostka tłumaczeniowa nie zawiera żadnej zewnętrznej definicji dla tego identyfikatora, to zachowanie to jest dokładnie tak, jak jednostka tłumaczenia zawiera deklarację zakresu pliku tego identyfikatora, z typu kompozyt na koniec jednostki tłumaczeniowej, z inicjatora równa 0.

Moje pytanie brzmi, co jest uzasadnieniem dla pozwalając definicje wstępne? Czy jest jakieś wykorzystanie tego w C? Dlaczego C zezwala na wstępne definicje?

Answer 1

Definicje wstępne zostały stworzone jako sposób na mostkowanie niekompatybilnych modeli, które istniały przed C89. Jest to ujęte w C99 rationale sekcji 6.9.2 zewnętrznych definicji obiektów, które mówi:

Przed C90 implementacje bardzo zróżnicowane w odniesieniu do przekazania odwołujące identyfikatory z łącznikiem wewnętrznym (patrz §6.2.2). Komitet C89 wynalazł koncepcję wstępnej definicji do obsługi tej sytuacji . Wstępna definicja jest deklaracją, która może, ale nie musi, być zgodna z definicją: Jeśli aktualna definicja znajduje się później w jednostce tłumaczeniowej , wówczas wstępna definicja działa jedynie jako deklaracja . Jeśli nie, to wstępna definicja działa jako rzeczywista definicja . Ze względu na spójność te same zasady obowiązują dla identyfikatorów z łączem zewnętrznym, mimo że nie są one ściśle wymagane: .

i sekcja 6.2.2 z uzasadnieniem C99 mówi:

Model definicji mają być stosowane do obiektów z zewnętrznym łącznikiem był poważnym problemem standaryzacja C89. Podstawowym problemem było ustalenie, które deklaracje obiektu definiują pamięć dla obiektu, oraz , które jedynie odwołują się do istniejącego obiektu. Powiązany problem to , czy dozwolone są wielokrotne definicje pamięci, czy tylko jeden jest akceptowalny. Pre-C89 implementacje wykazują co najmniej cztery różne modele, wymienione poniżej w kolejności rosnącej restrykcyjności:

Answer 2

Oto przykład przypadku, gdy jest to przydatne:

void (*a)(); 

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

static void (*a)() = foo; 

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

Kluczową kwestią jest to, że definicja foo musi odnosić się do a i definicja a musi odnosić się do foo. Podobne przykłady z inicjalizowanymi strukturami również powinny być możliwe.