ссылочные переменные и наследование

Question

Следующий код:

#include <stdio.h>
class Parent
{
public:
    virtual void func() {printf("Parent\n");}
};

class Child1 : public Parent
{
    virtual void func() {printf("Child1\n");}
};

class Child2 : public Parent
{
    virtual void func() {printf("Child2\n");}
};

int main(int argc, char* argv[])
{
    Parent & obj = Child1();
    obj.func();
    obj = Child2();
    obj.func();
    return 0;
}

дает следующие результаты:

expected: Child1 Child2.

actual: Child1 Child1. 

(скомпилировано на VS2010)

Я полагаю, что vptr не изменяетсяназначение.Есть ли способ заставить его быть воссозданным (кроме использования указателя на Parent и присвоения ему с помощью new)?

спасибо

Answer 1

Вы вызываете оператор присваивания по умолчанию для obj, который все еще имеет тип Child1, с аргументом типа Child2. Сам объект все еще имеет тип Child1. Вы можете убедиться в этом, реализовав operator = во всех 3 классах и вставив туда оператор print.

Answer 2

Два фундаментальных свойства в C ++: созданный объект никогда не меняет своего типа, а инициализированная ссылка всегда ссылается на один и тот же объект.

Здесь происходит то, что вы вызываете компиляторпоставляется не виртуальным operator= для Parent, что почти наверняка не то, что вы хотели.В более общем смысле, однако, присваивание и наследование не работают вместе (именно потому, что вы не можете изменить тип объекта);В большинстве случаев при использовании наследования вы должны запретить присваивание (например, наследуя от boost::noncopyable).Можно реализовать семантику значений для полиморфного класса, используя идиому буквы / конверта, но это сложное решение и редко подходящее.

(Я мог бы добавить, что ваш код не компилируется с компилятором C ++. Вы инициализируете ссылку на неконстантное с помощью временного, что недопустимо в C ++. Допускается, что это расширение Microsoft.)

Answer 3

Parent & obj = Child1();

Вы создаете ссылку на объект типа Child1. Это все равно что сказать

Child1 c1;
Parent& obj = c1;

obj теперь просто другое имя для c1, который является объектом типа Child1.

obj = Child2();
obj.func();

Теперь это все равно, что сказать

c1 = Child2();
c1.func();

так что вы видите, что вы все еще вызываете func для объекта типа Child1.

Answer 4

Ссылки не могут быть пересозданы - они ссылаются на один и тот же объект в течение всего срока их службы.Если вы хотите что-то, что может изменить объект, на который он ссылается, тогда вам нужно использовать [умный] указатель вместо ссылки.

Здесь вы делаете нарезку экземплярChild2, присвоив его экземпляру Child1.

Answer 5

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