C 中的多態性和切片:解碼混亂
在C 中,多態性允許從基類派生的對象表現出不同的行為。然而,一個常見的陷阱,稱為“切片”,可能會導致意想不到的結果。
問題:
考慮以下程式碼片段:
class Animal { virtual void makeSound() { cout << "rawr" << endl; } }; class Dog : public Animal { virtual void makeSound() { cout << "bark" << endl; } }; int main() { Animal animal; animal.makeSound(); Dog dog; dog.makeSound(); Animal badDog = Dog(); badDog.makeSound(); Animal* goodDog = new Dog(); goodDog->makeSound(); }
輸出是:
rawr bark rawr bark
答案:
這是切片的範例。當您將 Dog 物件傳遞給 Animal 建構函式時(如 badDog = Dog() 中),Dog 的 Animal 部分將會複製到 badDog 中。但是,由於 badDog 是 Animal 類型,因此它只能存取 Animal 方法,預設列印「rawr」。 要實現多態性,必須使用指標或引用來指向派生類別物件。在本例中,goodDog 是指向 Dog 物件的指針,因此它可以存取 Dog 方法並列印「bark」。意思:
切片可能會導致意想不到的行為,通常不被鼓勵。使用指標或引用可確保正確的多型行為。 此外,請記住,C 預設使用值語義,這表示變數包含實際物件。這與 Java 和 C# 等語言中的引用語義不同,其中變數保存對物件的引用。以上是C多態性為何會發生切片,如何避免?的詳細內容。更多資訊請關注PHP中文網其他相關文章!