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
为什么 badDog 的输出不是打印“树皮”?
答案:
这是切片的示例。当您将 Dog 对象传递给 Animal 构造函数时(如 badDog = Dog() 中),Dog 的 Animal 部分将被复制到 badDog 中。但是,由于 badDog 是 Animal 类型,因此它只能访问 Animal 方法,默认打印“rawr”。
要实现多态性,必须使用指针或引用来指向派生类对象。在本例中,goodDog 是指向 Dog 对象的指针,因此它可以访问 Dog 方法并打印“bark”。
含义:
切片可能会导致意想不到的行为,通常不被鼓励。使用指针或引用可确保正确的多态行为。
此外,请记住,C 默认情况下使用值语义,这意味着变量包含实际对象。这与 Java 和 C# 等语言中的引用语义不同,其中变量保存对对象的引用。
以上是C多态性为何会发生切片,如何避免?的详细内容。更多信息请关注PHP中文网其他相关文章!