多态性和切片如何影响 C 中的对象行为？

C 中的多态性和切片

在处理继承时，C 程序员可能会遇到切片问题。考虑以下代码：

#include <iostream>
using namespace std;

class Animal {
public:
    virtual void makeSound() { cout << "rawr" << endl; }
};

class Dog : public Animal {
public:
    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

这可能会令人惊讶，因为人们可能期望输出是“rawr bark bark bark” 。不同之处在于 badDog 赋值中使用了切片：

Animal badDog = Dog();

在这种情况下，Dog 的数据被切片到 Animal 对象中，导致 Dog 特定信息的丢失。这是因为 Dog() 创建了一个 Dog 对象，但是当将其分配给 badDog（这是一个 Animal 对象）时，仅复制了 Dog 的 Animal 部分。

为了避免切片，可以使用指针或引用：

Animal* badDogPtr = new Dog();
Animal& goodDogRef = dog;

指针和引用的行为符合预期并允许多态行为。这是因为它们引用或保存对对象的引用，而不是像值语义那样拥有对象的副本。

在 Java 和 C# 等语言中，引用语义是默认值，而在C ，值语义是默认的。对于 C 中的多态行为，显式使用引用或指针是必要的。

以上是多态性和切片如何影响 C 中的对象行为？的详细内容。更多信息请关注PHP中文网其他相关文章！