chyba v g++/clang

7.8.2013 19:23 | Přečteno: 1536× | poslední úprava: 7.8.2013 19:21

Zkousel jsem zkompilovat nasledujici kod:

typedef int A;

template<typename T>
struct X {};

int main() {
	X<::A> t;
}

Vystup gcc:

a.cpp: In function ‘int main()’:
a.cpp:7:3: error: ‘<::’ cannot begin a template-argument list [-fpermissive]
a.cpp:7:3: note: ‘<:’ is an alternate spelling for ‘[’. Insert whitespace between ‘<’ and ‘::’
a.cpp:7:3: note: (if you use ‘-fpermissive’ G++ will accept your code)

Vystup clangu:

a.cpp:7:2: error: cannot refer to class template 'X' without a template argument
      list
        X<::A> t;
        ^
a.cpp:4:8: note: template is declared here
struct X {};
       ^
a.cpp:7:5: error: expected expression
        X<::A> t;
           ^
a.cpp:7:5: error: expected ']'
a.cpp:7:3: note: to match this '['
        X<::A> t;
         ^
3 errors generated.

Chapu ze oba prekladace nactou <: a povazuji to za alternativni token k [. V draftu C++11, kapitole "2.5 Preprocessing tokens", jsem ale nasel:

— Otherwise, if the next three characters are <:: and the subsequent character is neither : nor >, the < is treated as a preprocessor token by itself and not as the first character of the alternative token <:.

Jeste nez jim pujdu reportovat chyby tak by me zajimalo jestli se opravdu oba prekladace rozhodly tohle ignorovat, nebo je tam nejaky catch... Obzvlaste me prekvapuje g++ a jeho drza hlaska "‘<::’ cannot begin a template-argument list" Trochu jsem to hledal a nasel hlavne rady typu "pridej mezeru", coz je celkem jasny, ale podle standardu by to asi melo fungovat i bez ni...        

Komentáře

[Vojtěch Trefný]

V draftu C++11

Tohle je odpověď -- se -std=c++0x to projde

[:::]

Aha, to me nenapadlo ze to do standardu pridali az ted.

Po pridani -std=c++11 to:

- s clangem 3.0 funguje

- s gcc 4.7.2 nefunguje. Budu muset zkusit zkompilovat nejakou novejsi verzi.

[stativ]

Ani nemusíš, zkusil jsem to s gcc 4.8.1 a zkompilovat to jde.

[Šangala]

Jedině C++11, níž by to nemělo projít, podobně jako například:

std::vector<myNumber<int>>