C++ スライシングについて

Question

###前提・実現したいこと
C++について勉強しています。
スライシングが起こる例について知りたいです。

###知りたいこと
C++でスライシングが起こる例をプログラムで書いて頂きたいです
クラス名や変数名などのこだわりは無いです。どんなに簡単でも良いのでスライシングが起こる
プログラムを教えてください。

漠然としていますが宜しくお願いいたします。

Answer 1

こんにちは。

スライシングは、［派生クラスのインスタンスを基底クラスのインスタンスへコピーする際に発生する意外な動作」を指すことが多いようです。

1. 派生クラスにのみ存在するデータメンバの記憶領域は、基底クラスには当然存在しないのでコピーされません。
2. 仮想関数テーブルは記憶領域が存在しますが、コピーされません。

2.の例は「C++のスライシング」が簡潔で判りやすいと思います。原理はここで解説したことがあります。（流れで解説しているので単独で見ると判りにくいですが。）

1.の例はスライシングが発生していることを見えるようにするのがちょっと難しいです。コピーした先の基底クラスのインスタンスで派生クラスのデータ・メンバには当然アクセスできませんから。
c++ - オブジェクトのスライスとは何ですか？にある「邪悪な事件」を元にちょっと例を作ってみました。

#include <iostream>

class A
{
   int foo;
public:
   A(int iFoo) : foo(iFoo) { }
    void print()
    {
        std::cout << "foo=" << foo;
    }
};

class B : public A
{
   int bar;
public:
    B(int iBar) : A(iBar*10), bar(iBar) { }
    void print()
    {
        A::print();
        std::cout << " bar=" << bar << "\n";
    }
};

int main()
{
    B b1(1);
    B b2(2);
    A& a_ref = b2;
    std::cout << "1) ";
    b2.print();

    a_ref = b1;
    std::cout << "2) ";
    b2.print();
}

結果は次のようになります。

1. foo=20 bar=2

1. foo=10 bar=2

Wandbox

Comments

[退会済みユーザー]

結果までご丁寧にありがとうございます！参考にさせていただきます！

[退会済みユーザー]

もしよろしければ、vectorを使用した場合についても教えていただけばと思います。

[Chironian]

std::vectorを使った場合も同じですよ。インスタンスをコピーする時スライシングが起きますから、vectorに直接インスタンスを入れるのではなくポインタを入れます。生ポインタだと領域管理が面倒なので、std::unique_ptrを使いましょう。

スライシングが起きる例
std::vector<A> aVector0={B(1), B(2)};

スライシングさせないために
std::vector<std::unique_ptr<A>> aVector1;
aVector1.emplace_back(new B(3));
aVector1.emplace_back(new B(4));

↓wandbox
https://wandbox.org/permlink/nHPqKNH9xC0RG5sJ

[退会済みユーザー]

ありがとうございます！

[退会済みユーザー]

何度もすいません、このプログラムはgccコンパイラのg++では通らないものなのでしょうか？？

[Chironian]

wandboxのサンプルはclangでやってますがg++でも通りますよ。ただし、C++11からの機能をつかっているので、-std=c++11オプションが必要です。

Answer 2

こんなんでえぇのかの?

#include <iostream>

class Base {
public:
  int value;
  Base(int v) : value(v) {}
};

class Derived : public Base {
public:
  int dummy;
  Derived(int v=123) : Base(v) {}
};

int main() {
  Derived arr[10];
  Base* pb = arr;
  for ( int i = 0; i < 10; ++i ) {
    std::cout << pb->value << " ";
    ++pb;
  }
}

Comments

[退会済みユーザー]

ありがとうございます！参考にさせて頂きます！

[退会済みユーザー]

もしよろしければ、vectorを使用した場合についても教えていただけばと思います。

[episteme]

スライシングによるトラブルを起こさないのがvectorの利点のひとつではないのかい?

[退会済みユーザー]

そのような働きがあるんですね！ありがとうございます！