我可以在返回子類類型

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++解決一切，但在運行時多態性電話，甚至多態調用它只是延遲找到確切覆蓋，但沒有簽名（即即使協變返回類型，基本覆蓋的返回類型將被使用。

從技術上講，可以使用或不使用模板，但所有這些都表現出相同的核心問題：基類只能是單一類型的基類，由賦值運算符返回的類型，限制可用性爲基地類。

你想解決什麼是真正的問題？

您採取的方法似乎不合適。如果你解釋了你正在努力達到的目標，那麼人們可以建議其他方法會更好。