C++のオブジェクトスライスとは？発生原因と回避方法をわかりやすく解説

オブジェクトスライス（Object Slicing）とは

C++における「オブジェクトスライス」とは、派生クラスのオブジェクトを基底クラスのインスタンスに代入したときに、派生クラス固有のメンバ変数やメソッドが失われてしまう現象を指します。失われた情報が「切り取られた（sliced away）」ように見えることから、この名前で呼ばれています。

これは値渡しや値での代入を行った際に、オブジェクト全体ではなく基底クラスの部分だけがコピーされるために起こります。ポインタや参照を使った場合はこの問題は発生しません。

コード例で見るオブジェクトスライス

まず、次のような2つのクラスを考えてみましょう。

class Foo {
    int a;
};

class Bar : public Foo {
    int b;
};

Bar クラスは Foo を継承しているため、メンバ変数として a と b の2つを持っています。

ここで、Bar 型の変数を作成し、それを Foo 型の変数に代入してみます。

Bar bar;
Foo foo = bar;

この場合、foo には bar の中の Foo に相当する部分（メンバ変数 a）だけがコピーされ、b に関する情報は失われます。これがいわゆる「メンバスライス（member slicing）」と呼ばれる現象です。

オブジェクトスライスの問題点

• データの損失： 派生クラスで追加されたメンバ変数がコピー先に存在せず、情報が失われます。
• ポリモーフィズムの破綻： 基底クラスのオブジェクトにコピーされた時点で、仮想関数による動的な振る舞いは期待できなくなります。
• バグの温床： コンパイルエラーにならないため、気づきにくい不具合の原因となることがあります。

オブジェクトスライスを回避する方法

1. ポインタまたは参照を使用する

Bar bar;
Foo& ref = bar;   // 参照ならスライスは起きない
Foo* ptr = &bar;  // ポインタも同様

参照やポインタ経由で扱えば、元の Bar オブジェクトの情報はそのまま保たれます。

2. スマートポインタを活用する

std::unique_ptr<Foo> p = std::make_unique<Bar>();

モダンC++では、std::unique_ptr や std::shared_ptr を使うことで、安全にポリモーフィズムを実現しつつスライスを防げます。

3. 基底クラスを抽象クラスにする

基底クラスに純粋仮想関数を持たせて抽象クラスにすると、そもそも基底クラスのインスタンスを生成できないため、値での代入によるスライスを構造的に防止できます。

まとめ

オブジェクトスライスは、派生クラスのオブジェクトを基底クラス型の変数に値で代入・コピーしたときに発生し、派生クラス固有の情報が失われる現象です。これを避けるには、ポインタ・参照・スマートポインタを使ってオブジェクトを扱うことが基本となります。設計段階で基底クラスを抽象化しておくことも、効果的な予防策の一つです。