Преобразование из производных ** в базовые **

По сути, это та же самая причина, по которой миска с бананами - это не миска с фруктами. Если бы миска с бананами была миской с фруктами, вы могли бы положить в нее яблоко, и это уже не была бы миска с бананами.

Пока вы только осматриваете чашу, преобразование безвредно. Но как только вы начнете изменять его, преобразование становится небезопасным. Это ключевой момент, о котором нужно помнить. (Это точная причина, по которой неизменяемые коллекции Scala действительно допускают преобразование, но изменяемые коллекции запрещают это.)

То же и с вашим примером. Если было преобразование из Derived** в Base**, вы могли бы поместить указатель на яблоко, если система типов обещала, что может существовать только указатель на банан. Бум!

Нет недостатка в бессмысленных ошибках, которые позволили бы:

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

Vehicle** vehiclePtrPtr = carPtrPtr; не разрешено, потому что это преобразование Derived** в Base**, что недопустимо.

Причина, по которой это не разрешено, проиллюстрирована в вашем примере.

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

так что carPtrPtr указывает на указатель на Car.

Атомная подводная лодка; Ядерная подводная лодка * subPtr =

это тоже законно, но если бы вы могли сделать

Vehicle** vehiclePtrPtr = carPtrPtr;

ты мог случайно сделать

*vehiclePtrPtr = subPtr;

то есть *vehiclePtrPtr - это указатель на Car. в этой последней строке вы назначаете ей указатель на Sub. Таким образом, теперь вы можете вызвать метод, определенный в производном классе Sub для объекта типа Car, с неопределенным поведением.