Наследование. Подводные камни.

[Last]

Привет! Почему компилируется код:

#include <iostream>
using namespace std;
class A
{
public: 
	A() { cout<<"A";}
};
class B : public A
{
public :
		B()  { cout<<"B";}
};

int main()
{
	A *array[] = {new A, new B}; //(1)
	return 0;
}

Как я понимаю происходящее: в строке (1) создаём массив указателей на объекты класса A, и второй элемент инициализируется указателем на объект класса B. Почему нет ошибки соответствия типов?

[pproger]

2Last
потому что восходящее приведение (uppercast) производится неявно, ибо дочерний класс можно использовать вместо базового

[Гром]

Это не подводные камни, это и есть смысл наследования.
Потомки являются предками (ну, вы меня поняли) - их можно использовать так же, как будто они просто предки. Но не только, поскольку они еще и потомки.
Ваш вопрос на язык реальности можно приблизительно перевести так: "Почему я должен стоять в очереди с обычными человеками, если я - сотрудник МВД/Папа Римский/композитор Берлиоз/губернатор Южногорска/человек с двумя головами?"

[Last]

Сообщение от Гром

Потомки являются предками (ну, вы меня поняли) - их можно использовать так же, как будто они просто предки. Но не только, поскольку они еще и потомки.

Нет, я вас не понял. От вашего приближения к реальности тоже не особо ясно стало =)

В принципе с сабжем разобрался, спасибо.

[_Bers]

Если тебе нужно запретить неявное приведение типов, измени в своём коде:

class B : protected A

Студия скажет тебе, что то типа: "приведение существует, но не доступно"

Потомок, который отнаследовался через паблик не защищает своих предков. Его предки доступны в любой момент.

Потомок, который отнаследовался через протектед - защищает предков. И тогда уже просто так приводить будет нельзя.