0

乍一看，一切似乎都是正确的，但这段代码不会编译。但是，如果我将基类的返回类型更改为，double *那么它将编译。有人可以解释编译器如何/为什么不将模板类型“T”视为有效的返回类型。

基类：

01 template <typename T>
02 class DefaultValueFunctorBase {
03   public:
04     virtual const T operator() (void) const = 0;
05 };

子类：

01 class DblPtrDft : public DefaultValueFunctorBase<double *> {
02   public:
03     DblPtrDft (double default_value_)
04     : DefaultValueFunctorBase<double *>(),
05       _default_value(default_value_),
06       _default_value_ptr(&_default_value)
07     {}
08 
09     const double * operator() (void) const { return _default_value_ptr; }
10 
11   private:
12     const double *_default_value_ptr;
13     const double _default_value;
14 };

错误：

DblPtrDft.h:09：错误：为 'virtual const double* DblPtrDft::operator()() const' DefaultValueFunctorBase.h:04 指定的返回类型冲突：错误：覆盖 'const T DefaultValueFunctorBase::operator()() const [与 T = 双*]'</p>

4

2 回答 2

4

问题是const T应该读作T const，这清楚地表明const限定符适用于T。因此，当您在模板实例化中替换T为时double*，您得到的基类调用运算符的返回类型是double* const.

这与派生类的调用运算符中的返回类型不同（即const double*，等效于double const*）。在超类中，您返回一个指向 a 的常量指针double。在子类上，您返回一个指向常量的非常量指针double。

修复应用程序的一种方法是：

template<typename T>
class DefaultValueFunctorBase
{
    public:
        // Do not return T const here: the top-level const is useless anyway
        virtual T operator() (void) const = 0;
};

// Instantiate your base class template with double const* rather than double*
class DblPtrDft : public DefaultValueFunctorBase<double const*>
{
public:
    DblPtrDft (double default_value_)
    : DefaultValueFunctorBase<double const*>(), // Same change here of course...
    _default_value(default_value_),
    _default_value_ptr(&_default_value)
    {}

    // Return a double const*, consistently with the instantiated template...
    double const* operator() (void) const { return _default_value_ptr; }

private:
    double const*_default_value_ptr;
    double const _default_value;
};
于 2013-02-19T02:02:55.010 回答
1

您的重写函数返回 a const double *，但带有 的虚函数T = double *实际上的返回类型为double * const。

于 2013-02-19T01:32:18.783 回答