C ポリモーフィズムでスライスが発生するのはなぜですか?またそれを回避するにはどうすればよいですか?

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 型であるため、デフォルトで「rawr」を出力する Animal メソッドにのみアクセスできます。

ポリモーフィズムを実現するには、派生クラス オブジェクトを指すポインターまたは参照を使用する必要があります。この場合、goodDog は Dog オブジェクトへのポインタであるため、Dog メソッドにアクセスして「bark」を出力できます。

影響:

スライスすると次のような問題が発生する可能性があります。予期しない動作が発生するため、一般的には推奨されません。ポインターまたは参照を使用すると、適切なポリモーフィックな動作が保証されます。

さらに、C ではデフォルトで値セマンティクスが使用されること、つまり変数には実際のオブジェクトが含まれることを覚えておいてください。これは、変数がオブジェクトへの参照を保持する Java や C# などの言語の参照セマンティクスとは異なります。

以上がC ポリモーフィズムでスライスが発生するのはなぜですか?またそれを回避するにはどうすればよいですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。