C++ Typing и OOP дочерние классы

Question

Я немного запутался:

• Если у меня есть базовый класс A и класс B, который простирается, может переменная типа А хранящие значения из типа B и наоборот?

Если да, то почему? Разве они не совсем разные, даже если B получен из A? Как насчет безопасности типа?

• Если это возможно, что мне нужно учитывать при использовании этого? Как это сработает с точки зрения производительности?

Примечание: К сожалению, если я спросил слишком много вопросов, просто игнорировать их и просто смотреть на тех, кто «с пометкой» с списком украшением точки :) Кроме того, это не мое домашнее задание. Я программист по хобби и имею навыки написания сценариев с ООП, но я относительно новичок в написании ООП на C++.

Answer 1

Если вы сделаете это:

B b; 
A a = b; 

, то вы получите "дележ". a будет содержать только A часть b.

Но вы можете иметь ссылки/указатели:

B b; 
A &ra = b; 
A *pa = &b; 

В этом случае ra и pa просто см/точку реального B объекта. Это связано с тем, что публичное наследование моделирует отношение IS-A. Это легче понять с помощью более описательных имен. Подумайте о A и Animal и B как Baboon. A Baboon IS-A Animal поэтому, используя ссылки/указатели, вы можете обработать Baboon, поскольку он более общий тип Animal.

Answer 2

Переменная типа A может содержать значение типа B (для определенных определений «удержание», как объясняют другие ответы), но определенно не наоборот. Для того, чтобы выйти стандартный пример:

class Animal {}; 
class Dog : public Animal {}; 
class Cat : public Animal {}; 

Это является законным, так как Cat происходит от Animal:

Cat c; 
Animal& a = c; 

Это не так:

Animal a; 
Cat& c = a; 

Это типобезопасным потому что вы он определил это так; вся цель наследования заключается в том, чтобы разрешить такую ​​вещь, чтобы вы могли перейти к методам вызова на общей переменной Animal, не зная, какой базовый класс будет храниться в ней. Что касается вопроса о производительности, вызов виртуальных методов происходит медленнее, потому что решение о том, какой метод будет фактически вызван (Cat::foo() против Dog::foo(), например, в зависимости от конкретного типа Animal, хранящегося в переменной) должно произойти во время выполнения - это динамическая отправка.С невиртуальными методами решение может произойти во время компиляции

Answer 3

указателя или опорной на объект класса A может указывать/ссылаться на объект класса B. Это потому, что если B происходит от A, то Bis-aA. Каждый объект класса B имеет все переменные-члены и функции класса A, а также те, которые уникальны для B.

class A 
{ 
    public: 
     virtual ~A(); 
     void foo(); 
}; 

class B : public A 
{ 
    public: 
     void bar(); 
}; 

A * a = new B; 
a->foo(); // perfectly valid, B inherits foo() from A 
//a->bar(); // compile-time error, bar() is only defined in B 
delete a; // make sure A has a virtual destructor! 

Обычно этот тип кода используется, когда вы хотите использовать полиморфное поведение через виртуальные функции.

Answer 4

Не быть противоположным, но производительность здесь не является правильным вопросом. Если вы решили, что собираетесь сделать дизайн OO, не жертвуйте правильной абстракцией для проблем с производительностью. Преждевременная оптимизация - это корень всего зла. Удачи!