g++模板化基类成员的编译器错误

Question

我正在尝试使用 g++ 编译一些 Microsoft Visual C++ 代码。现在我遇到了一个我真的无法理解的编译器错误。 （简化的）代码如下所示：

template<int X> struct A {
    template<class Ret> static Ret call() {
        return 0;
    }
};

template<int X> struct B : A<X> {
    int f() {
        return A<X>::call<int>();
    }
};

当我尝试使用 g++（版本 4.4.5）编译此代码时，出现以下错误：

main.cpp: In member function int B<X>::f(): 
main.cpp:16: error: expected primary-expression before int 
main.cpp:16: error: expected ; before int
main.cpp:16: error: expected unqualified-id before > token

如果我从方法 A::call 中删除模板类型 (Ret)，则代码仅编译美好的。有人能看出这里出了什么问题吗？

谢谢！

Answer 1

您需要 template 关键字：

return A<X>::template call<int>();

call 是一个依赖名称，这意味着它的含义取决于模板参数，而编译器处理 f() 时不知道该模板参数。您需要通过使用 template 关键字作为前缀来表明 call 是一个函数模板。

当您尝试访问嵌套类型时，也会发生同样的事情：您需要添加 typename 关键字来指示该名称表示一个类型：

template <typename T>
struct A { typedef int type; };

template <typename T>
void f()
{
    typename A<T>::type i = 0; // notice "typename" here
}

有时您甚至需要混合使用两者：

template <typename T>
struct A
{
    template <typename U>
    struct inner { };
};

template <typename T>
void f()
{
    typename A<T>::template inner<int> var;
}

这两个的使用关键字在这个问题的答案中得到了彻底的解释：我必须在哪里以及为什么必须放置“template”和“typename”关键字？（感谢@Björn Pollex 找到了链接）。

Answer 2

A 是一个模板，在不知道 X 的情况下，编译器无法确定 A 的内容。特别是它不知道 call 最终会成为模板。

要告诉编译器，您必须使用 template 关键字：

template<int X> struct B : A<X> {
    int f() {
        return A<X>::template call<int>();
    }
};

Answer 3

您必须指定您调用的函数是模板，因为它是模板类的一部分。编译器不知道任何给定的 A 都有一个名为 call 的模板函数，因此您需要帮助它。

template<int X> struct B : A<X> {
    int f() {
        return A<X>::template call<int>();
    }
};