我可以在返回子类类型

Question

很抱歉的坏称号基类的赋值运算符......我有一个基类，如：

template<class T> 
class GPtr 
{ 
public: 
    typedef T BaseType; 

    GPtr& operator=(const BaseType& rhs) 
    { 
     ... 
    } 
}; 

我经常想使子类的专门化，如：

class GraphicPtr : public GPtr<Graphic> 
{ 
... 
}; 

但是我的基类赋值运算符仍返回GPtr<Graphic>没有GraphicPtr，它的恼人必须复制粘贴代码的情况下，核心赋值运算符的功能应该在以后更改。

是否有一种简洁的方式来定义基类赋值运算符，以便返回正在使用的实际类的类型？

Answer 1

在C++中，基类不知道它的子类。您可以添加一个将作为派生类的模板参数并使用它。

template<class T, class Derived> 
class GPtr 
{ 
public: 
    typedef T BaseType; 

    Derived& operator=(const BaseType& rhs) 
    { 
     ... 
    } 
}; 

Answer 2

也许你可以用CRTP代替？

#include <iostream> 

template<class Derived> 
class GPtr 
{ 
public: 
    typedef Derived DerivedType; 

    GPtr& operator=(const GPtr& rhs) 
    { 
     std::cout << "GPtr::operator=" << std::endl; 

     return *this; 
    } 
}; 

class GraphicDerived : public GPtr<GraphicDerived> 
{ 
    public: 

     GraphicDerived& operator=(const GraphicDerived& rhs) 
     { 
      std::cout << "GraphicDerived::operator=" << std::endl; 
      // Inheiriting shadows the name of the base operator= which 
      // needs to be explicitly called. 
      GPtr<GraphicDerived>::operator=(rhs); 
      return *this; 
     }; 
}; 

class Graphic {}; 

using namespace std; 

int main() 
{ 


    GraphicDerived one; 
    GraphicDerived two; 

    cout << "derived assignment: " << endl; 
    one = two; 

    GPtr<Graphic> ptrOne; 
    GPtr<Graphic> ptrTwo; 

    cout << "GPtr assignment stnadalone : " << endl; 

    ptrOne = ptrTwo; 
}; 

结果与：

derived assignment: 
GraphicDerived::operator= 
GPtr::operator= 
GPtr assignment stnadalone : 
GPtr::operator= 

Answer 3

你所要求的并没有真正意义。在分配基础对象时，它不可能知道它被调用的派生类型中可能有无限多个派生类型，因此无法在每种情况下返回不同的类型。此外，即使这是可能的，也不可能在真实的代码中使用它。

C++解决一切，但在运行时多态性电话，甚至多态调用它只是延迟找到确切覆盖，但没有签名（即即使协变返回类型，基本覆盖的返回类型将被使用。

从技术上讲，可以使用或不使用模板，但所有这些都表现出相同的核心问题：基类只能是单一类型的基类，由赋值运算符返回的类型，限制可用性为基地类。

你想解决什么是真正的问题？

您采取的方法似乎不合适。如果你解释了你正在努力达到的目标，那么人们可以建议其他方法会更好。