在方法調用中避免對象切片

Question

我一直在嘗試重寫我的程序以允許繼承類。我遇到了切片問題。我原本在我的Test類中有Parent m_parent（因此在Test中沒有動態分配），但補充說，認爲它會解決我的問題，但它沒有。我不知道我是否會讓我的問題變得更糟，或者如果寫作複製構造函數（或其他簡單修復）那麼簡單。

class Parent 
{ 
    public: 
     Parent(); 
    private: 
     string a; 
}; 
class Child : public Parent 
{ 
    private: 
     string b; 
}; 
class Test 
{ 
    public: 
     Test() 
     { 
      m_parent = new Parent; 
     } 
     void testFunction(Parent &parent) 
     { 
      *m_parent = parent; 
     } 
     ~Test() 
     { 
      delete m_parent; 
     } 
    private: 
     Parent * m_parent; 
}; 

做這樣的事情還是引起了切片...

Child c("foo", "bar"); 
Parent * p = &c; 
Test.testFunction(*p); 

Answer 1

是。這條線：

*m_parent = parent; 

使對象上它到底是什麼被切成Parent對象不分。

除此之外，在你的例子中有很多錯誤代碼行，但我猜它只是因爲它是一個非常具體的問題。

編輯： 有人建議如何避免切片：

template <class T> 
void testFunction(T& t){ 
    static_assert(std::is_base_of<Parent,T>::value,"only subclasses of Parent may be passed to testFunction"); 
    delete m_parent; 
    m_parent = new T(t); //or: new T(std::move(t)); 
} 

編輯2： 如果你傳遞一個子對象的真實對象，而不是作爲一個父親指針本應工作， AKA testFunction(myChild)

EDIT3： @ Jarod42關於clone方法有一個好的觀點。這兩種解決方案可以一起使用

Answer 2

沒有對象切片，但m_parent不會成爲Child而只有string a被複制。

如果你想保留一份副本在Test，我建議使用Clone：

class Parent 
{ 
public: 
    virtual ~Parent() = default; 
    virtual Parent* Clone() const { return new Parent(*this); } 
private: 
    string a; 
}; 

class Child : public Parent 
{ 
public: 
    Child* Clone() const override { return new Child(*this); } 
private: 
    string b; 
}; 

class Test 
{ 
public: 
    void testFunction(const Parent &parent) 
    { 
     m_parent.reset(parent.Clone()); 
    } 

private: 
    std::unique_ptr<Parent> m_parent; 
};