“无效的模板参数” Visual Studio 中出现错误，但 GCC 中没有错误

Question

假设您的代码

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; 
}

Child 和 NotWorkingChild 仅在 typedef 上有所不同。在 GCC 中都可以编译，在 Visual Studio 中，NotWorkingChild 的构造函数会产生以下错误：

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>        ]

你能解释一下为什么会出现这种情况吗？有没有比 typedef 更好的便携式解决方案？

谢谢！

Answer 1

该错误消息是因为 NotWorkingChild 派生（间接）自 SCEST，这使得 SCEST 在 NotWorkingChild 的范围内code> 引用类 SCEST，而不是模板。 MSVC 正确地拒绝了这一点，GCC4.5 也应该拒绝这一点（GCC4.5 有更正确的注入类名查找）。

这是一个可能适用于两种编译器的解决方案

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

};

请注意，我们使用范围解析运算符，并且需要在 :: 之前放置一个空格（否则标记 <: 将是视为有向图）。

---

突发新闻：即使您执行EST16，C++0x 也会使上述工作正常进行。原因是，它表示如果将注入的类名传递给模板模板参数，则注入的类名将被视为模板，而不是类型。因此，对于 C++0x，GCC 将是正确执行此操作的编译器。

Answer 2

如果您将初始化程序更改为仅引用模板类名称 EST16，它会在 VS 上编译。 IE：

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