tipo declarado hacia adelante y "de tipo no-clase ya que ha declarado como un tipo de clase"

Question

que tienen un problema en esta siguiente código:

template <typename T> 
    void foo(struct bar & b); 
    struct bar {}; 
    int main(){} 

Se compila exitosamente en CCG, pero falla en MSVC (2008) con siguiente error:

C2990: 'bar' : non-class type as already been declared as a class type

es el código equivocado o se trata de un error en MSVC?

Funciona si agrego struct bar; antes de la definición de la plantilla.

Answer 1

y tenemos nuestro ganador:

https://connect.microsoft.com/VisualStudio/feedback/details/668430/forward-declared-type-and-non-class-type-as-already-been-declared-as-a-class-type

Thank you for reporting this issue. This is indeed a case of non-conformant behaviour in VC++. However, a simple workaround is to reorder the declarations so that the declaration "struct bar" is known when the template declaration is encountered. Due to the low severity of this bug and our priorities, we regret that we cannot fix the bug in the next release of the compiler but we will consider it for a future release.

Regards,

Tanveer Gani Visual C++ Team

Answer 2

Es muy probable que tenga struct bar {}; en algún lugar por encima de este bloque de código (posiblemente en un archivo de encabezado). Ver http://msdn.microsoft.com/en-us/library/zfcw8kk9.aspx

Editar: También desde el enlace de arriba:

C2990 can also occur due to a breaking change in the Visual C++ compiler for Visual C++ 2005; the compiler now requires that multiple declarations for the same type be identical with respect to template specification.

Desde foo es de plantilla y bar se está "hacia adelante declararon" en la lista foo argumento, ¿qué ocurre si se mueve struct bar {}; por encima de foo ?

Answer 3

En la mayoría de las situaciones, un compilador C (o C++) funciona estrictamente de arriba hacia abajo en su código fuente. Por lo tanto, necesita un forward declaration antes de intentar hacer referencia al struct bar, de lo contrario, el compilador no sabrá que existe.

Answer 4

Parece un código válido. Lo que sea que MSVC esté haciendo, parece ser un extraño comportamiento no conforme, por lo que puedo ver.

Answer 5

De todos modos, he publicado un error en Microsoft Connect: https://connect.microsoft.com/VisualStudio/feedback/details/668430/forward-declared-type-and-non-class-type-as-already-been-declared-as-a-class-type