指針和對象切片

Question

我正在學習關於對象切片的難題，我想知道是否有可能對指針進行對象切片。換句話說：

• 指針可以是對象切片的受害者，或者只要您使用指針，您總是可以安全地使用對象切片？

Answer 1

是 - 指針base需要能夠指從base派生的任何類型的對象，並仍保持正確的類型派生對象（以及它的價值，也是同樣的道理與參考）。

Answer 2

這取決於你是否願意定義「切片」的鬆散程度。從某種意義上講，當你指向一個帶有基指針（或引用）的派生對象時，任何非虛函數都會被切分。例如：

class A { 
    void Print() { cout << "Class A\n"; } 
}; 

class B : public A { 
    void DoB() {} 
    void Print() { cout << "Class B\n"; } 
}; 

B b; 
A* a = &b; 
a->DoB(); // Won't compile! 
a->Print(); // Prints "Class A", not "Class B" 

，因爲我們使用的指針A，所以編譯器不知道它可以對指針調用DoB到DoB調用不起作用。這樣，你就失去了B的一部分，所以你可以把它當作切片的一種形式。

最後一行特別是一個稱爲「名稱隱藏」現象的例子。由於Print未在基類中聲明爲virtual，而我們的指針類型爲A，編譯器不知道它應該調用B::Print而不是A::Print。

這個問題的一個重要例子進場時你的析構函數：

class A { 
    ~A() {} 
}; 

class B : public A { 
    std::vector<int> v; 
}; 

A* a = new B; 
delete a; // What happens to B::v? Undefined behaviour! 

這裏，因爲析構函數沒有被標記爲virtual，它被稱爲基類的在非虛擬上下文析構函數，這意味着B的析構函數不會被調用。