2

我有一些我正在修改的模板代码，我遇到了一个我无法解决的奇怪错误。我能够使用以下更简单（但毫无意义）的代码片段重新创建问题：

struct Widget
{
};

template <typename A>
class Foo
{
public:

    template <int numA>
    inline bool funcCall()
    {
        return numA > 0;
    }

    inline bool funcCallNoTemplate()
    {
        return false;
    }
};

template <typename B>
class Bar : public Foo<B>
{
public:

    // doesn't work
    bool concrete()
    {
        return Foo<B>::funcCall<5>();
    }

    // works fine
    bool other()
    {
        return Foo<B>::funcCallNoTemplate();
    }
};

int main()
{
    Bar<Widget> b;
    b.concrete();
    b.other();
    return 0;
}

我在 GCC 4.7 中得到的错误如下（第 30 行是 Bar::concrete 的主体）：

example.cxx: In member function ‘bool Bar<B>::concrete()’:
example.cxx:30: error: expected primary-expression before ‘)’ token
example.cxx: In member function ‘bool Bar<B>::concrete() [with B = Widget]’:
example.cxx:43:   instantiated from here
example.cxx:30: error: invalid operands of types ‘&lt;unresolved overloaded function type>’ and ‘int’ to binary ‘operator<’

似乎编译器甚至无法正确解析它，我是否在这里遗漏了一些使该行完全伪造的东西？

4

1 回答 1

1

似乎编译器甚至无法正确解析它，我是否在这里遗漏了一些使该行完全伪造的东西？

是的。您需要使用template消歧器：

return Foo<B>::template funcCall<5>();
//             ^^^^^^^^

这样，您将告诉编译器将依赖名称解析funcCall为成员函数模板的名称，并将随后的尖括号解析为相应模板参数的分隔符。

没有它，funcCall将被解析为数据成员的名称，而<和>将分别被解析为小于和大于。

于 2013-05-16T21:27:55.720 回答