14

私はこれを読んでいましたが、残念ながらコンパイラが Derived** から Base** への変換を許可しない理由を深く理解できませんでした。また、parashift.com のリンク以外の情報を提供しないthisも見ました。

編集：

このコードを 1 行ずつ分析してみましょう。

   Car   car;
   Car*  carPtr = &car;
   Car** carPtrPtr = &carPtr;
   //MyComment: Until now there is no problem!

   Vehicle** vehiclePtrPtr = carPtrPtr;  // This is an error in C++
   //MyComment: Here compiler gives me an error! And I try to understand why. 
   //MyComment: Let us consider that it was allowed. So what?? Let's go ahead!

   NuclearSubmarine  sub;
   NuclearSubmarine* subPtr = ⊂
   //MyComment: this two line are OK too!

   *vehiclePtrPtr = subPtr;

   //MyComment: the important part comes here... *vehiclePtrPtr is a pointer to
   //MyComment: a vehicle, particularly in our case it points to a Car object.
   //MyComment: Now when I assign to the pointer to the Car object *vehiclePtrPtr,
   //MyComment: a pointer to NuclearSubmarine, then it should just point to the
   //MyComment: NuclearSubmarine object as it is indeed a pointer to a Vehicle,
   //MyComment: isn't it? Where is my fault? Where I am wrong?

   // This last line would have caused carPtr to point to sub!
   carPtr->openGasCap();  // This might call fireNuclearMissle()!
4

3 に答える 3

22

バナナのボウルが果物のボウルではないのは基本的に同じ理由です。バナナのボウルが果物のボウルである場合、リンゴをボウルに入れることができ、それはもはやバナナのボウルではなくなります。

ボウルを検査するだけである限り、変換は無害です。ただし、変更を開始するとすぐに、変換は安全ではなくなります。これが心に留めておくべき重要なポイントです。（これが、不変のScalaコレクションが実際に変換を許可する正確な理由ですが、可変のコレクションはそれを禁止します。）

あなたの例と同じです。Derived**からへの変換があった場合Base**、型システムがバナナへのポインタのみが存在できると約束した場合は、リンゴへのポインタを置くことができます。ブーム！

于 2011-11-06T09:10:53.360 に答える
11

これにより、無意味なエラーが発生することはありません。

class Flutist : public Musician
...

class Pianist : public Musician
...

void VeryBad(Flutist **f, Pianist **p)
{
 Musician **m1=f;
 Musician **m2=p;
 *m1=*m2; // Oh no! **f is supposed to be a Flutist and it's a Pianist!
}

完全な動作例を次に示します。

#include <stdio.h>

class Musician
{
 public:
 Musician(void) { ; }
 virtual void Play(void)=0;
};

class Pianist : public Musician
{
 public:
 Pianist(void) { ; }
 virtual void Play(void) { printf("The piano blares\n"); }
};

class Flutist : public Musician
{
 public:
 Flutist(void) { ; }
 virtual void Play(void) { printf("The flute sounds.\n"); }
};

void VeryBad(Flutist **f, Pianist **p)
{
 Musician **m1=f;
 Musician **m2=p;
 *m1=*m2; // Oh no! **f is supposed to be a Flutist and it's a Pianist!
}

int main(void)
{
 Flutist *f=new Flutist();
 Pianist *p=new Pianist();
 VeryBad(&f, &p);
 printf("Mom is asleep, but flute playing wont bother her.\n");
 f->Play(); // Since f is a Flutist* this can't possibly play piano, can it?
}

そして、ここでそれが実行されています：

$ g++ -fpermissive verybad.cpp -o verybad
verybad.cpp: In function void VeryBad(Flutist**, Pianist**):
verybad.cpp:26:20: warning: invalid conversion from Flutist** to Musician** [-fpermissive]
verybad.cpp:27:20: warning: invalid conversion from Pianist** to Musician** [-fpermissive]
$ ./verybad 
Mom is asleep, but flute playing wont bother her.
The piano blares
于 2011-11-06T09:09:59.507 に答える
0

Vehicle** vehiclePtrPtr = carPtrPtr;は許可されていないDerived**toBase**変換であるため、許可されていません。

許可されない理由は、あなたの例に示されています。

   Car   car;
   Car*  carPtr = &car;
   Car** carPtrPtr = &carPtr;

carPtrPtrへのポインタを指すようにしますCar。

原子力潜水艦潜水艦; NuclearSubmarine* subPtr = ⊂

これも合法ですが、できれば

Vehicle** vehiclePtrPtr = carPtrPtr;

あなたは偶然にできる

*vehiclePtrPtr = subPtr;

つまり*vehiclePtrPtr、へのポインタCarです。この最後の行で、へのポインターを割り当てますSub。Subしたがって、タイプ のオブジェクトの派生クラスで定義されたメソッドCarを未定義の動作で呼び出すことができるようになりました。

于 2013-05-04T22:01:16.217 に答える