Forward deklaracja klasy stosowanych w funkcji szablonu nie jest kompilowany przez brzękiem ++

Question

Jest to kod:

class A; 

template <class T> 
void fun() { 
    A a; 
} 

class A { 
public: 
    A() { } 
}; 

int main() { 
    fun<int>(); 
    return 0; 
} 

g ++ 4.5 i 4.7 g ++ kompiluje to bezbłędnie. Ale clang ++ 3.2 (trunk) daje ten błąd:

main.cpp:5:6: error: variable has incomplete type 'A' 
    A a; 
    ^
main.cpp:1:7: note: forward declaration of 'A' 
class A; 
    ^

Który kompilator jest wtedy zgodny ze standardem C++?

Answer 1

Which compiler is right then according to C++ standard?

Obie są poprawne. To źle sformułowany program. Kopalnia nacisk:

N3290 14.6¶9
If a type used in a non-dependent name is incomplete at the point at which a template is defined but is complete at the point at which an instantiation is done, and if the completeness of that type affects whether or not the program is well-formed or affects the semantics of the program, the program is ill-formed; no diagnostic is required.

To dzyń ++ i inne kompilatory zrobić wydać diagnostyczny tutaj jest miły do ​​dodałem cecha, ale diagnoza nie jest obowiązkowe. Ta klauzula "program jest źle sformułowany, nie jest wymagana diagnostyka" daje deweloperowi kompilatorowi swobodę panowania nad wszystkim w takich okolicznościach i nadal jest zgodny.

Answer 2

Clang jest poprawny, o ile wiem. W twojej funcji nie znamy rozmiaru A, a od twojego przydziału A, musisz znać jego rozmiar. Moim zdaniem, gcc jest sposobem na wybaczenie tutaj.

Answer 3

kompilator Comeau nie lubi to albo:

"ComeauTest.c", line 5: error: incomplete type is not allowed 
    A a; 
    ^

Jednak moje próby znalezienia rozdział i wers w standardowej C++ były bezowocne. Wydaje się ukryty pomiędzy liniami i interakcjami "punktu tworzenia", "rozpoznawania nazw". Punkty 14.6/8 i 14.6/9 normy z 2003 r. Wydają się istotne.

Answer 4

clang++ stosuje prawidłowe działanie, co zostało opisane w części 4.6/9 standardu (n1905).

---

Templates 14.6/9 Name resolution

If a name does not depend on a template-parameter (as defined in 14.6.2), a declaration (or set of declarations) for that name shall be in scope at the point where the name appears in the template definition; the name is bound to the declaration (or declarations) found at that point and this binding is not affected by declarations that are visible at the point of instantiation.

---

aby to w prostszy sposób; jeśli nazwa jest nie zależna od parametru-szablonu, powinna znajdować się w zasięgu, w którym znajduje się definicja; Dlatego przed definicją template<typename T> void fun() musisz zdefiniować A.