Dlaczego można zadeklarować struct i non-struct o tej samej nazwie?

Question

Najwyraźniej

Z powodów, które docierają do prehistorii C, możliwe jest, aby zadeklarować struct i non-struct o tej samej nazwie w tym samym zakresie. - (Bjarne Stroustrup - C++ Programming Language 4th Edition.)

Na przykład:

struct Ambig {}; 

// the struct must be referred to with the prefix struct 
void Ambig(struct Ambig* buf) {} 

Jestem tylko ciekaw, co początkowy powodem było? Bez zrozumienia wydaje się, że jest to przykład złego projektu językowego, który powoduje niejednoznaczność i jest mylący.

Answer 1

Powodem, o którym mowa w cytacie z Stroustrup, jest historyczne. W języku C, musisz musi zawsze prefiksować nazwę struktury z struct; nazwa struktury (jak nazwa związków lub wyliczeń) jest nazywana znacznikiem i żyje w zupełnie innej nazwie niż inne symbole. A więc rzeczy takie jak:

struct stat 
{ 
    // ... 
}; 
int stat(char const* filename, struct stat* buf); 

są całkowicie legalne. (Powyższe jest w rzeczywistości częścią Posix).

W C++, nazwa klasy (zadeklarowanego przy class, struct lub union) lub enum jest w tej samej przestrzeni nazw, jak wszystko inne, i w przeciwieństwie do C, można napisać takie rzeczy jak:

struct MyClass {}; 
MyClass variableName; 

nie byłoby to legalne C. W C, druga linia musiałaby być:

struct MyClass variableName; 

Problemem jest to, że C++ wymaga, aby móc korzystać z interfejsów zdefiniowane w C (podobnie jak interfejs Posix, powyżej). Więc C++ definiuje kilka specjalnych reguł, aby na to pozwolić: możesz podać zmienną lub funkcję, a typ klasy taką samą. Gdy to zrobisz, zmienna lub funkcja nazwa ma pierwszeństwo, i ukrywa nazwę klasy , z wyjątkiem „opracowanego typu specyfikatorami” (tj class, struct, union lub enum, a następnie symbol), gdzie nazwy non-type są ignorowane podczas wyszukiwania.

Answer 2

Cóż, dodając struct przed structs jest całkowicie legalne C. Dlatego niektóre C kod dotyczy również C++.
Czego się spodziewałeś? C++ bazuje na C.

W języku C++ unikamy używania struct przed każdą strukturą. Nigdy nie widziałem tego w kodzie produkcyjnym.

Jeśli chodzi o niejednoznaczność, nie sądzę, by ktokolwiek wiedział, dlaczego na to pozwolił. Ale uważam, że jest tak, ponieważ niejednoznaczność została rozwiązana po dodaniu struct. Zasadniczo mówisz kompilatorowi, że nie jest to funkcja i dlatego wyeliminowano possible meaning.

Answer 3

Powodem jest to jak ma to związek z C++ dziedziczenie z C. nie został „dodany” do C++, to jest tam, bo to działa w ten sposób w C

W C, trzeba użyć struct X i union Y (nie ma słowa kluczowego class w języku C) lub użyj typedef struct X A;, a następnie użyj nazwy A zamiast strcut X (gdzie X i A mogą być takie same).

W języku C++ kompilator będzie, o ile nazwa jest unikatowa, rozumieć, że X odnosi się do struct X. Nie musisz wpisywać przed nazwą nazwy: struct, union lub class lub użyć typedef, aby utworzyć nową, samodzielną nazwę.

Ponieważ C++ został zaprojektowany, aby umożliwić (w miarę możliwości) użycie składni C, nadal można pisać struct X, odnosząc się do struktury. Pozwala to na użycie nazwy, która poza tym jest niejednoznaczna.

Zaleca się, aby nie skorzystać z tej „możliwości”, chyba że wymagane przez historycznych decyzji projektowych, ponieważ wszystko to osiągnąć jest bardziej zamieszanie ...

Answer 4

Jestem tylko ciekaw, co początkowy powód był? Bez zrozumienia wydaje się, że jest to przykład złego projektu językowego, który powoduje niejednoznaczność i jest mylący.

W języku C jest to pierwsza implementacja przestrzeni nazw. Identyfikatory żyją w różnych przestrzeniach nazw i myślą, że mogą mieć tę samą nazwę, jeśli są zadeklarowane w różnych przestrzeniach nazw. Nazwa przestrzeń dla znaczników struktury i zwykłych identyfikatorów nie są tylko dwa miejsca w nazwa C w C są cztery miejsca Nazwa:

(C99, 6.2.3 miejsca Nazwisko identyfikatorów P1) „Tak, istnieją osobne przestrzenie nazw dla różnych kategorii identyfikatorów, co następuje:

- Nazwy etykiet (ujednoznacznione przez składni deklaracji etykiet i wykorzystywania);

- The tagi struktur, związków i wyliczeń (ujednoznacznione wykonując any24) z kluczowymi struct, unia, czy wyliczenia);

- członków struktur lub związków; każda struktura czy Unia ma osobną nazwę przestrzeń dla jego członkowie (disambiguated przez typ wyrażenie używane do uzyskania dostępu do członka za pośrednictwem operatora. lub ->

- wszystkie inne identyfikatory, zwane zwykłymi identyfikatorami (zadeklarowane w zwykłych deklaratorach lub jako stałe wyliczeniowe). "