Относительно следующей программы C++: класс Основа {}; класс Ребенок: общедоступная Основа {}; международное основное () {//Нормальный: использованию ребенка как основа разрешают Ребенка *c = новый Ребенок (); Основа *b = c;//...

Я смущен общим подтипом. В Java, если тип A является подтипом B, универсальный тип C и C являются инвариантными. Например, ArrayList не является подтипом ArrayList & ...