g++模板bug还是VC太自由？

Question

我正在用 C++ 编写一段高度模板化的代码。它在 VS 2005 中运行得很好，但是当我尝试在 g++ 中编译它时，我遇到了一些非常奇怪的错误。

基本代码段（简化到最低限度，也不能编译）如下：

template <class Actual>
class Generic
{
public:
    typedef Actual ThisType;
};

template <class Actual>
class Intermediate : public Generic<Actual>
{
};

template <class Q>
class Derived : public Intermediate<Derived<Q> >
{
public:
    void FooBar()
    {
        ThisType q;
    }
};

错误是： “‘ThisType’未在此范围内声明” 在声明“q”的行中。

奇怪的是，当 Derived 不是模板而是普通类时，一切正常。为什么编译器会在实例化模板函数之前检查它的实现？我知道 VC++ 在编译模板时检查得太少（未使用的模板甚至可能包含语法错误的代码） - 但 g++ 在这里检查不是太多了吗？我尝试添加一个 typename 关键字，希望渺茫，但也失败了。有什么方法可以让 ThisType 按预期工作吗？我害怕手动将其添加到每个派生类中的想法 - 它很麻烦、多余、不优雅并且会引发错误。

此致， 米兹

Answer 1

不会在依赖基类中查找非限定名称（您的基类取决于模板参数Q）。限定该名称，它就会起作用。

typename Derived::ThisType q;

Answer 2

相信Comeau 在线编译器！

Comeau C/C++ 4.3.10.1 (Oct  6 2008 11:28:09) for ONLINE_EVALUATION_BETA2
Copyright 1988-2008 Comeau Computing.  All rights reserved.
MODE:strict errors C++ C++0x_extensions

"ComeauTest.c", line 19: error: identifier "ThisType" is undefined
          ThisType q;
          ^

"ComeauTest.c", line 19: error: expected a ";" (perhaps on the previous statement)
          ThisType q;
                   ^

2 errors detected in the compilation of "ComeauTest.c".

不考虑继承类的依赖类型名称，您可以尝试显式请求 ThisType：

typename Intermediate<Derived<Q> >::ThisType q;

Answer 3

该代码确实格式不正确。当基类依赖于模板参数时，在查找非限定名称时，名称查找不会考虑基类。

在您的情况下，将不会在基类 Intermediate 中查找非限定名称 ThisType 。 > 因为您的基类依赖于模板参数 Q。

Answer 4

您缺少类型名称

template <class Actual> class Generic { public:
    typedef Actual ThisType; };

template <class Actual> class Intermediate : public Generic<Actual> { };

template <class Q> class Derived : public Intermediate<Derived<Q> > { public:
    void FooBar()
    {
        typename Derived::ThisType q;
        return *this;
    } };

int main(){}