Dlaczego szablony typedef są nielegalne?

Question

Z praktycznego punktu widzenia, rozumiem, że zarówno typedef i test są nieco „zbędny” i muszą zostać usunięte, jeśli chcemy następujący kod do kompilacji:

template< typename type_t > 
typedef struct tagTest 
{ 
    int a; 
} test; 

Jednak myślałem, że zbiór Deklaracje typedef stanowiły podzbiór zbioru deklaracji. Po prostu przydarzyło się, że mają specyficzny specyfikator dekodowania . To była moja racjonalizacja dla

typedef struct tagTest 
{ 
    int a; 
} test; 

wprowadzającej identyfikator testi deklarując strukturę tagTest. Jeśli ta interpretacja jest poprawna, to następujący akapit ze standardu powinien pozwolić na templatetypedef (chociaż nie ze znaczeniem podanym przez słowo kluczowe using).

Oświadczenie w szablonie-zgłoszeniu są - (1,1) stwierdzenie czy zdefiniowania funkcji, klasę lub zmienna lub - (1.2) określić funkcję członu klasa człon , a wyliczenie element lub statyczny element danych z klasy matrycy lub klasy zagnieżdżone w szablonie klasy lub - (1,3) określenie szablonu do klasy lub klasy szablonu lub - (1,4) być deklaracją aliasową.

Nie widzę błędu w moim uzasadnieniu, ale wniosek jest nielegalny.

Jakie są odpowiednie części normy, które rozwiązują powyższą zagadkę?

---

UPDATE Część powyższego rozumowania wykorzystuje fakt, że typedefstruct deklaruje strukturę. Specyfikator typedef, o ile rozumiem, oznacza, że ​​zadeklarowane zmienne są naprawdę typami. Oznacza to, że typedef aktualizuje się z samej zmiennej do typu, który jest równoważny z deklarowanym tagTest. Dlatego poniższy kod kompiluje (aczkolwiek z ostrzeżeniem).

typedef struct tagTest 
{ 
    int a; 
}; 
tagTest t; 

Jedna z odpowiedzi zajmuje się zbędnym test.Ale możliwe jest użycie typedef bez declarator because „Init-declarator-lista jest opcjonalny podczas deklarowania nazwanego klasa/struct/Unii lub nazwie wyliczanie”

Answer 1

Template typedefs nie pozwolono wstępnie C++ 11 i C++ 11 template aliases zostały wprowadzone do rozwiązania te problemy. Cfr. C++ template typedefs i wikipedia.

Ponieważ, jak już wspomniano, norma nie pozwala typedef się tam, że kod jest nieprawidłowy

alias-deklaracja:

using identifier attribute-specifier-seqopt= type-id ; 

typedef deklaracje nie są alias deklaracje.

Ponadto nie można mieć declarator jeśli deklarując szablonu klasy, jest wyraźnie zabronione przez standardową

[temp]/P3

w szablonie-deklaracji jawna specjalizacja lub jawna inicjacja listy deklaratorów init w deklaracji zawierają co najwyżej jeden deklarator. Gdy taka deklaracja jest używana do deklarowania szablonu klasy, nie jest dozwolony żaden deklarator.

więc nawet nie dodaje się skompiluje

template< typename type_t > 
struct tagTest 
{ 
    int a; 
} test; 

---

Edit:

To jest nigdzie określone, że

typedef struct S { }; 

powinien być błąd, a zatem zarówno gcc i clang zaakceptuj to ostrzeżeniem. Zakładam Clang liczy na [temp]/3 wydać błąd w przypadku typedef był używany z szablonem podczas gcc odrzuca ten kod natychmiast

template<typename T> 
typedef struct S { }; 

CFR. clang bug 22249

Answer 2

Niezależnie od tego, co typedef określi, że jest to deklaracja typedef , które nie są wymienione w tych przypadkach:

• [element] funkcja
• [element] Klasa
• zmienna
• elementu wyliczenia
• statyczne członek danych klasy szablonu/z klasy zagnieżdżone wewnątrz szablonu klasy
• członek szablonu klasy lub klasy szablonu
• deklaracja alias

I żeby była jasność typedef deklaracje nie są alias deklaracje. deklaracja Alias ​​, w sposób określony przez gramatyki w §7 standardu to:

alias-deklaracja:

using identifier attribute-specifier-seqopt= type-id ;

Nie wspominając, że gdyby to było możliwe, następnie deklaracja szablonu nie będzie już tak "cool", jak dzisiaj, i there would be little to no sense to have both.

Answer 3

C nie obsługuje szablonów i składnia w C++

typedef struct tagX { 
} X; 

jest szczątkowa C, tam, aby umożliwić dalsze wsparcie dla C nagłówków itp, nie do zastosowania w rzeczywistych C++.

C++ składni powyżej jest

struct X {}; 

(YMMV na umieszczenie obejmy)