基本クラスへの割り当ては有効ですが、派生クラスへの割り当てにはコンパイルエラーがあるのはなぜですか？

Question

これはインタビューの質問でした。次のことを考えてみましょう：

struct A {}; 
struct B : A {}; 
A a; 
B b; 
a = b; 
b = a; 

a = b;はまったく問題ありながら、なぜb = a;は、エラーをスローしますか？

Answer 1

暗黙的に宣言されたコピー代入演算子Bは暗黙的に宣言されたコピー代入演算子Aを隠すためです。

したがって、b = aの場合は、operator=のBのみが候補です。しかし、そのパラメータの型はで、A引数で初期化することはできません（ダウンキャストが必要です）。だからあなたはエラーが発生します。

Answer 2

すべてのBはAですが、すべてのAは（私はあなたの変形例）物事が少し明確にするために、コメントを次B.

編集されていないので：、あなたの例では

struct A {int someInt;}; 
struct B : A {int anotherInt}; 
A a; 
B b; 

/* Compiler thinks: B inherits from A, so I'm going to create 
    a new A from b, stripping B-specific fields. Then, I assign it to a. 
    Let's do this! 
*/ 
a = b; 

/* Compiler thinks: I'm missing some information here! If I create a new B 
    from a, what do I put in b.anotherInt? 
    Let's not do this! 
*/ 
b = a; 

属性はsomeIntでもanotherIntでもないので、はとなる可能性があります。しかし、コンパイラはそれをとにかく許可しません。

Answer 3

私は理由を明らかにするために、あなたの構造体の名前を変更しました：

struct Animal {}; 
struct Bear : Animal {}; 
Animal a; 
Bear b; 
a = b; // line 1 
b = a; // line 2 

は明らかに、任意のクマは、動物ではなく、すべての動物がクマとみなすことができます。

すべてのB "isa" AのインスタンスもAのインスタンスでなければならない：定義上、Aの他のインスタンスと同じ順序で同じメンバを持つ。bをaにコピーすると、一方、aからbをコピーすると、BがAより多くのメンバーを持つ可能性があるため、bが不完全なままになる可能性があります。 AもBもメンバーをまったく持っていませんが、これはコンパイラーが1つの割り当てを許可し、他の割り当てを許可しない理由です。

Answer 4

私がインタビューを受けているなら、私は少しの哲学的方法で説明します。

a = b; 

すべてのBはその一環としてA含まれているため、有効です。したがって、aは、BからAを抽出できます。ただし、AにはBが含まれていません。したがってbAからBを見つけることができません。その理由は、

b = a; 

は無効です。明示的に宣言コピー代入演算子1人の意志がない場合は、[類推、（したがって、私たちはキャストが必要）void*はどのType*で見つけることができますが、Type*がvoid*で見つけることができません。]

Answer 5

があることを忘れないでください暗黙的に宣言され、任意のクラス（構造体はC++のクラス）に定義されます。

struct Aためには、次のシグネチャがあります：

A& A::operator=(const A&) 

をそして、それは単にそのサブオブジェクトのmemberwise割り当てを行います。

a = b;Bは、const A&のパラメータがA::operator=(const A&)と一致するため、問題ありません。 Aのメンバーだけがターゲットに 'memberwise assigned'されているため、AのメンバーではないBのメンバーが失われます。これは「スライシング」として知られています。 implcit代入演算子は、次のシグネチャがありますstruct Bについては

：Aはconst B&引数が一致しないため

B& B::operator=(const B&) 

b = a;はOKではありません。

Answer 6

BがAですが、AがBはありませんが、A年代とB年代にポインタまたは参照で作業しているときに、この事実が唯一の直接適用可能であることそれは本当です。ここでの問題は代入演算子です。 Bがあるのでaの代入演算子は、bの引数で呼び出すことができます

A a; 
B b; 
a = b; 

：だから、あなたは以下の代入しているとき

struct A {}; 
struct B : A {}; 

は

struct A { 
    A& operator=(const A&); 
}; 
struct B : A { 
    B& operator=(const B&); 
}; 

と同等ですAなので、bはA&として代入演算子に渡すことができます。 aの代入演算子は、Aのデータのみを知り、Bのデータは知っていないので、Aの一部ではないBのメンバーはすべて失われます。これは「スライシング」として知られています。

しかし、あなたが割り当てしようとしている：

b = a; 

aはBされていない、タイプAであるので、aはbの代入演算子へB&パラメータと一致することはできません。

b=aは、継承されたA& A::operator=(const A&)を呼び出すべきだと思うでしょうが、そうではありません。代入演算子B& B::operator=(const B&)は、Aから継承される演算子を非表示にします。それはusing A::operator=;宣言で再び復元できます。