C++错误：指定用于...模板化子类的冲突返回类型

乍一看，一切看起来都是正确的，但此代码不会编译。但是，如果我要将基类的返回类型更改为double *，那么它将编译。有人可以解释为什么编译器没有看到模板类型“T”作为有效的返回类型。C++错误：指定用于...模板化子类的冲突返回类型

基类：

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: error: conflicting return type specified for ‘virtual const double* DblPtrDft::operator()() const’ DefaultValueFunctorBase.h:04: error: overriding ‘const T DefaultValueFunctorBase::operator()() const [with T = double*]’

来源

2013-02-19 Zak

双* const的是不一样的双常量* – 2013-02-19 01:29:12

@AndyProwl你可以请一个答案，并演示了正确的代码应该是什么样子？ – Zak 2013-02-19 01:53:16

会这么做，给我一点时间。 – 2013-02-19 01:59:16

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

这与您在派生类的调用操作符中返回的类型不同（即const double*，相当于double const*）。在超类中，你返回一个指向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-19 02:02:55

你重写的功能RET请输入const double *，但虚拟函数T = double *实际上有一个返回类型double * const。

来源

2013-02-19 01:32:18

您能否请证明正确的代码应该是什么样子？ – Zak 2013-02-19 01:58:56

C++错误：指定用于...模板化子类的冲突返回类型

回答

相关问题