-3

我正在做一个小项目来了解 C++ 模板是如何工作的。基本上，我有类似的东西：

class Base{
public:
    MyOperation<Base> operate(Base x){ return MyOperation<Base>(x); } //error here
};

//...

template<class B>
class MyOperation : public Base{
public:
    B b;
    MyOperation(B b_){ b = b_; }
};

当我尝试编译我的程序时，我收到一个错误（错误 C2143，在 '<' 之前缺少 ';'）。是因为我不能将 MyOperation 作为函数操作（）的返回类型吗？

先感谢您。

4

1 回答 1

3

声明模板的语法是template<class B>（或等效地，template<typename B>）。

还有一个循环引用：Base引用MyOperation（返回类型和operate函数内部）。所以MyOperation需要先定义Base。

但MyOperation也引用Base（基类）。

对于基类和函数内部的使用，需要一个完整的定义。但是对于返回类型，一个不完整的类型就足够了。所以MyOperation需要在之前预先声明Base，例如：

template<class B> class MyOperation;

此外，operate()需要在.class Base { ... }的定义之后在MyOperation. 正确的代码是：

// pre-declaration of MyOperation
template<class B> class MyOperation;

// definition of Base class
class Base {
public:
    // declaration of Base::operate member function
    // MyOperation<Base> is incomplete type here
    MyOperation<Base> operate(Base x);
};   

// definition of MyOperation class template
template<class B>
class MyOperation : public Base{
public:
    B b;
    MyOperation(B b_){ b = b_; }
};

// definition ofBase::operate member function
inline MyOperation<Base> Base::operate(Base x) {
    return MyOperation<Base>(x);
}

Base::operate如果定义在头文件中，则需要内联，否则如果头文件包含在多个源文件中，则会出现多个链接器符号。

如果它不是内联的（如果它是一个大函数更好），那么定义应该放在源文件中。

于 2016-09-01T19:55:05.567 回答