24

此代码无法在 g++ (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3 上编译，出现此错误

test.cpp: In function ‘T mul(V&, V&)’:
test.cpp:38:27: error: expected primary-expression before ‘>’ token
test.cpp:38:29: error: expected primary-expression before ‘)’ token
test.cpp:38:53: error: expected primary-expression before ‘>’ token
test.cpp:38:55: error: expected primary-expression before ‘)’ token

但它可以在 Microsoft C/C++ Optimizing Compiler Version 15.00.21022.08 for x64 上正确编译和执行

#include <iostream>
#include <complex>

template <class T>
class SM
{
public:
    T value;
};

template <class T>
class SC : public SM<T>
{
};

class PSSM {

public:
    template <class T>
    T & getSC() { return sc; }

private:
    SC<double> sc;
};

class USSM {

public:
    template <class T>
    T & getSC() { return sc; }

private:
    SC<std::complex<double> > sc;
};

template <class T, class V>
T mul( V & G, V & S) {
    return (G.getSC<SC<T> >().value * S.getSC<SC<T> >().value); // error is here
}


int main() {
    PSSM p;
    PSSM q;
    p.getSC<SC<double> >().value = 5; 
    q.getSC<SC<double> >().value = 3; 

    std::cout << mul<double>(p,q);

}

我不明白问题出在哪里。任何人都可以理解如何解决它，或者在 g++ 中解释问题的性质吗？

4

1 回答 1

52

问题在于语法。在这种情况下，您应该使用template消歧器，以便正确解析您对成员函数模板的调用：

return (G.template getSC<SC<T> >().value * S.template getSC<SC<T> >().value);
//        ^^^^^^^^^                          ^^^^^^^^^

这个消歧器帮助编译器识别后面G.是成员模板特化，而不是，例如，调用getSC后跟一个<（小于）的数据成员。

消歧器的标准参考template是 C++11 标准的第 14.2/4 段：

当成员模板特化的名称出现在postfix-expression 之后或之后，或者在 qualified-id 中的.nested - name -specifier之后，并且postfix-expression的对象表达式是类型相关的或nested-name-specifier在qualified-id 中指的是依赖类型，但名称不是当前实例化的成员（14.6.2.1），成员模板名称必须以关键字为前缀。否则，该名称被假定为命名非模板。[示例：->template

struct X {
template<std::size_t> X* alloc();
template<std::size_t> static X* adjust();
};
template<class T> void f(T* p) {
T* p1 = p->alloc<200>(); // ill-formed: < means less than
T* p2 = p->template alloc<200>(); // OK: < starts template argument list
T::adjust<100>(); // ill-formed: < means less than
T::template adjust<100>(); // OK: < starts template argument list
}

—<em>结束示例]

于 2013-03-22T14:12:03.347 回答