C ++奇怪的编译器语法错误

Question

我得到了以下代码（不要争论它是否有意义，它只是一个最小的例子）：

struct X{
    template <typename T>
    T foo(){ return T(); }
};

template <typename T>
struct Z{
    virtual X bar(){
        bar().foo<int>();
        return X();
    }
};

它不能在我的g ++ 4.6.3上编译。 line bar().foo<int>(); 给出以下错误：

error: expected primary-expression before ‘int’
error: expected ‘;’ before ‘int’

当我第一次将bar（）的结果保存在局部变量中时，它就可以工作，即如果我替换bar().foo<int>() by

        X x = bar();
        x.foo<int>(); 

然后它工作。 如果我现在声明局部变量auto而不是X ，即：

        auto x = bar();
        x.foo<int>();

然后我收到和以前一样的错误。 如果我从类Z中删除type参数（即使它成为常用而不是模板类），那么它再次起作用。

如果我使用类似X的classtype而不是int作为foo的类型参数，即foo<X> ，那么我收到以下错误：

expected primary-expression before ‘>’ token
expected primary-expression before ‘)’ token

我真的无法在这里发现错误。 请帮忙！

Answer 1

你需要证明有问题的类型是可以接受的（这是我认为是GCC中的一个错误的解决办法，请参阅下面的编辑），即

struct X{
    template <typename T>
    T foo(){ return T(); }
};

template <typename T>
struct Z{
    virtual X bar(){
        bar().template foo<int>();
        return X();
    }
};

基本问题与解析有关，因为可以通过多种方式解析显式模板实例化。 有趣的一点（我认为）位于14.2p4，它如下：

当成员模板专业化的名称出现之后. 或->在后连接的x表达或在合格音响ED-ID 嵌套名称SPECI音响ER，和后连接的x表达或在合格音响ED-ID的嵌套名称SPECI音响ER的对象或指针表达后取决于模板参数（14.6.2）但不引用当前实例化的成员（14.6.2.1），成员模板名称必须由关键字template预先设定。 否则，假定该名称命名非模板。

如果我没有严重错误， Z<T>::bar 确实依赖于模板参数，但同时它确实引用了当前的实例化，因此我倾向于认为该标准不需要资格认证像GCC那样。 当多个编译器的结果相互矛盾时，我倾向于使用Comeau，在这种情况下，表示template限定符不是必需的 。