¿Por qué esta declaración de la clase no funciona en Visual Studio

Question

Así que estoy tratando de conseguir algo de código que se escribe para gcc para compilar en Visual Studio 2008. Tengo un problema que he reducido a esto:

class value_t 
{ 
public: 
    typedef std::deque<value_t>   sequence_t; 
    typedef sequence_t::iterator  iterator; 
}; 

este código falla:

1>cpptest.cpp 
1>c:\program files\microsoft visual studio 9.0\vc\include\deque(518) : error C2027: use of undefined type 'value_t' 
1>  c:\temp\cpptest\cpptest.cpp(10) : see declaration of 'value_t' 
1>  c:\temp\cpptest\cpptest.cpp(13) : see reference to class template instantiation 'std::deque<_Ty>' being compiled 
1>  with 
1>  [ 
1>   _Ty=value_t 
1>  ] 
1>c:\program files\microsoft visual studio 9.0\vc\include\deque(518) : error C2027: use of undefined type 'value_t' 
1>  c:\temp\cpptest\cpptest.cpp(10) : see declaration of 'value_t' 

Sin embargo cuando intento esto con std :: vector, que compila bien:

class value_t 
{ 
public: 
    typedef std::vector<value_t>  sequence_t; 
    typedef sequence_t::iterator  iterator; 
}; 

Wh ¿Está mal? He intentado agregar 'typename' en cualquier lugar que se me ocurra, pero en este momento estoy pensando que es solo un error en el Dinkumware STL. ¿Alguien puede explicar lo que está pasando y/u ofrecer una solución? Gracias.

Answer 1

Su comportamiento indefinido. Ver this enlace en ++ CLC moderado

Recorte de la respuesta de Daniel K: -.

el estándar C++ (tanto en C++ 03 y C++ 0x) dice que lo que está tratando causas no definidas comportamiento, consulte [lib.res.on.functions]/2:

"en particular, los efectos son indefinido en los siguientes casos: [..] - si un tipo incompleto (3.9) es utilizado como un argumento de plantilla cuando instanciando un componente de plantilla. "

Answer 2

Está tratando de usar una clase dentro de sí mismo en una plantilla. ¿Cómo resuelve esto? No sé si alguna vez intenté hacer esto, pero ¿es esto posible? No sé por qué funciona para std :: vector, pero mi suposición es que está mal. Está definiendo una clase y usando esa definición en la definición. Me parece mal. Buena suerte en este caso, voy a estar interesado en ver algunas de las respuestas más profundas a mí mismo ...

Answer 3

que piensan el problema es que value_t es un tipo incompleto hasta que llegue al final de la definición. Tratar de usar un tipo incompleto como el parámetro de plantilla para un contenedor estándar realmente no se supone que funcione. Puede/funcionará en algunas circunstancias, pero si fallara con todos los tipos de contenedores estándar, eso aún no indicaría ningún tipo de error. El estándar requiere que sea un tipo completo, por lo que si no lo es, obtienes lo que obtienes, probablemente debería fallar constantemente, pero si funciona, no hay nada de malo en eso.