Override поле член в производных классах

Question

У меня есть фрагмент кода ниже:

#include <iostream> 

using namespace std; 

class Base { 
public: 
    Base() : b(0) {} 
    int get(); 
    virtual void sayhello() { cout << "Hello from Base with b: " << b << endl; } 
private: 
    int b; 
}; 

int Base::get() {sayhello(); return b;} 

class Derived : public Base { 
public: 
    Derived(double b_):b(b_){} 
    void sayhello() { cout << "Hello from Derived with b: " << b << endl; } 
private: 
    double b; 
}; 

int main() { 
    Derived d(10.0); 
    Base b = d; 

    cout << "Derived b: " << d.get() << endl; 
    cout << "Base b: " << b.get() << endl; 
} 

Запустите скомпилированный исполняемый файл, и я нахожу результат из моих ожиданий на моем LLVM-г ++ 4.2 машины. Выход на моей коробке как

Hello from Derived with b: 10 
Derived b: 0 
Hello from Base with b: 0 
Base b: 0 

То, что я хочу сделать в коде, чтобы переопределить член поля (b) в Derived классе. Поскольку я думаю, что Base и Derived необходимо получить к этому полю, я определяю функцию-член get в Base, таким образом Derived может наследовать его. Затем я пытаюсь получить поле участника из разных объектов.

Результат показывает, что я до сих пор получить оригинальный b в Base по d.get() вместо того, что в Derived, что то, что я ожидал, что код делать. Что-то не так с кодом (или моим пониманием)? Указано ли это поведение в спецификации? Каков правильный способ переопределить поле члена и правильно определить его getter и setter?

Answer 1

Новый b, добавленный в производный класс, не переопределяет b базы. Это просто шкуры это.

Итак, в производном классе у вас есть два b, и виртуальный метод печатает соответствующие b.

Answer 2

Вы не можете просто переопределить член поля, а также Base::get компилируется, переменная b разрешен к Base::b поэтому этот метод всегда будет использовать это значение, а не значение из другого поля с тем же именем в производном классе ,

Обычный способ переопределения атрибута - переопределить способ доступа к нему, то есть переопределить accessors (getter и setter).

Вы можете достичь что-то подобное, украшая сорбент, но тип возвращаемого геттер всегда будет таким же:

class Base { 
public: 
    Base() : b(0) {} 
    int get(); 
    virtual void sayhello() { cout << "Hello from Base with b: " << b << endl; } 
protected: 
    virtual int getB() {return b;} 
private: 
    int b; 
}; 

int Base::get() {sayhello(); return getB();} 

class Derived : public Base { 
public: 
    Derived(double b_):b(b_){} 
    void sayhello() { cout << "Hello from Derived with b: " << b << endl; } 
protected: 
    int getB() override {return b;} // conversion from double to int 
private: 
    double b; 
}; 

Answer 3

Я не уверен, что я правильно вас понимаю, но его «переопределить» вам значит «заменить», вы бы использовать шаблон:

#include <iostream> 
using namespace std; 

template< typename T > 
class Base { 
public: 
    Base() : b(0) {} 
    Base(T b_) : b(b_) {} 
    T get(); 
    virtual void sayhello() { cout << "Hello from Base with b: " << b << endl; } 
protected: 
    T b; 
}; 

template< typename T > 
T Base<T>::get() {sayhello(); return b;} 

class Derived : public Base<double> { 
public: 
    Derived(double b_):Base(b_){} 
    void sayhello() { cout << "Hello from Derived with b: " << this->b << endl; } 
}; 

int main() { 
    Derived d(10.0); 
    Base<double>* b = &d; 

    cout << "Derived b: " << d.get() << endl; 
    cout << "Base b: " << b->get() << endl; 
} 

вы код в main также пытающийся Base b = d;, которая привела бы к нарезке, вышеуказанные исправлениям, что и делает, что вы не accidentially использовать Base<int> вместо Base<double>.

Live example

Answer 4

вы должны переписать Derived :: CTOR следующим образом:

Derived(double _b) 
:Base(_b) 
{} 

И удалить подал b в производном классе. Вместо этого отметьте b в классе Base как защищенный.

EDIT
Игнорирование все это я нашел проблему в коде:

Base b = d; 

Вы копирование производный объект базы. Он копирует только базовые поля. Если вы хотите полиморфизм, попробуйте сделать следующее:

Base *b = &d; 
b->get()