базовый класс является ссылкой на другой объект

Question

Я просто столкнулся с фрагментом кода, который мне кажется довольно странным (см. Ниже в качестве минимального примера), derived::base является ссылкой на другой объект типа base, может кто-нибудь мне помочь ответить на вопросы в комментариях?

class base{ 
public: 
    int a; 
    int b; 
}; 

class derived : public base{ 
public: 
    double c; 
    void run(const base & bs){ 
    ((base &) *this) = bs; // what does this line do? 
          // Is derived::base now a copy of bs? 
          // If yes, but why not write ((base) *this) = bs? 
          // if not, then derived::base is a reference to bs, 
          // then does it mean the memory of derived::base 
          // and members of derived are no longer contiguous? 
    std::cout << "a = " << a << std::endl; 

    } 
}; 

PS

комментарии @LightnessRacesinOrbit помогли многое прояснить вопросы, но я могу только принимать почту ответ, лучше всего по @WhiZTiM

Answer 1

void run(const base & bs){ 
    ((base &) *this) = bs; 
    std::cout << "a = " << a << std::endl; 
} 

Приведенные выше код может быть разбит как:

void run(const base & bs){ 
    base& base_of_this_instance = *this; 
    base_of_this_instance = bs; 
    std::cout << "a = " << a << std::endl; 
} 

память для объекта derived может быть изложена как:

|| int a |x| int b |y| int c || // <- x and y represents some hypothetical padding 
||  base   |y|   || // <- We can slice `derived` and retrieve only base 
||   derived    || // <- Memory consumed by derived 

В вашем методе derived::run, во-первых, ссылка на base части derived получают, во-вторых, что base присваивается bs. Это присвоение вызовет оператор присваивания копий base. Это означает, что теперь базовая часть теперь будет содержать копию того, что было в bs.

Answer 2

Результат

((base &) *this) 

ссылки на базовый класс

Вы можете сохранить его в переменной:

base& refToBase = ((base &) *this); 

refToBase является ссылкой на тот же объект, который этот

После этого у вас есть присваивание

refToBase = bs; 

Это присвоит значение Bs, чтобы refToBase объект

int i = 10; 
int p = 20; 
int& refI = i; 
int& refP = p; 
refI = refP; // i == 20 
p = 15; // p ==15 but i == 20 

Так после того, как «странный код» из вашего примера выполняются мы имеем копии bs.a и bs.b в производном :: а и производным :: б

память о производном :: Базовые и производные :: гр еще одна партии