Perché la creazione di un tipo di vettore locale fallire

Question

#include <iostream> 
#include <vector> 

int main() 
{ 
    class Int { 
     public: 
      Int(int _i) : i(i) {} 
     private: 
      int i; 
    }; 

    std::vector<Int> VI; 
} 

provo a compilare il codice di cui sopra ed ha ottenuto il seguente messaggio di errore:

foo.cc: In function 'int main()': 
foo.cc:13: error: 'main()::Int' uses local type 'main()::Int' 
foo.cc:13: error: trying to instantiate 'template<class _Alloc> class std::allocator' 
foo.cc:13: error: template argument 2 is invalid 
foo.cc:13: error: invalid type in declaration before ';' token 

Potrebbe qualcuno di voi dirmi perché non posso fare cose come questa in C++? Grazie in anticipo.

Answer 1

Lo standard esclude esplicitamente l'utilizzo di classi locali per creare un'istanza di modelli in 14.3.1 [temp.arg.type]/2.

Un tipo locale, un tipo senza collegamento, un tipo senza nome o un tipo composto da uno di questi tipi non deve essere utilizzato come argomento modello per un parametro di tipo di modello.

Questo verrà modificato in C++ 0x.