error "parámetro de plantilla no válido" en Visual Studio, pero no GCC

Question

suponga que tiene el código

template <template<class> class BaseType> 
class EST16 
    : public BaseType<int> 
{ 
public: 
    EST16(double d) 
    { 
    } 
}; 

template <class T> 
class SCEST 
{ 
    T y; 
}; 
typedef EST16<SCEST> EST16_SC; 
class Child 
    : public EST16_SC 
{ 
public: 
    Child() 
     : EST16_SC(1.0) 
    { 
    } 

}; 



class NotWorkingChild 
    : public EST16<SCEST> 
{ 
public: 
    NotWorkingChild() 
     : EST16<SCEST>(1.0) 
    { 
    } 

}; 



TEST(TemplateTest, TestInstantiate) 
{ 
    Child child; 
    NotWorkingChild notWorkingChild; 
} 

Infantil y NotWorkingChild sólo se diferencian por el typedef. En tanto GCC compile, en Visual Studio el constructor de NotWorkingChild produce el siguiente error:

2>..\..\..\src\itenav\test\SCKFErrorStateTest.cpp(43) : error C3200: 'SCEST<T>' : invalid template argument for template parameter 'BaseType', expected a class template 
2>  with 
2>  [ 
2>   T=int 
2>  ] 

Puede explicar por qué esto es así? ¿Hay una solución portátil mejor que el typedef?

Gracias!

Answer 1

El mensaje de error se debe a NotWorkingChild deriva (indirectamente) de SCEST<int>, lo que hace SCEST dentro del alcance de NotWorkingChild se refiere a la clase SCEST<int>, en lugar de la plantilla. MSVC tiene razón al rechazar esto, y GCC4.5 debería rechazarlo también (GCC4.5 tiene una búsqueda de nombre de clase inyectada más correcta).

Aquí es una solución que podría funcionar para ambos compiladores

class NotWorkingChild 
    : public EST16<SCEST> 
{ 
public: 
    NotWorkingChild() 
     : EST16<::SCEST>(1.0) 
    { 
    } 

}; 

notar que utilizamos el operador de resolución de alcance y la necesidad de poner un espacio antes :: (el token <: de lo contrario sería tomado como un dígrafo).

---

Noticias de última hora: C++ 0x hará el trabajo por encima incluso si lo hace EST16<SCEST>. La razón es que dice que si el nombre de clase inyectado se pasa a un parámetro de plantilla de plantilla, el nombre de clase inyectado se trata como una plantilla, en lugar de como un tipo. Por lo tanto, para C++ 0x, GCC sería el compilador que lo haría correctamente.

Answer 2

Compila en VS si cambia el inicializador para simplemente referirse al nombre de la clase de plantilla, EST16. Es decir .:

class NotWorkingChild : public EST16<SCEST> 
{ 
public: 
    NotWorkingChild() 
     : EST16(1.0) 
    { 
    } 
};