覆盖派生类中的成员字段

Question

下面有一个代码sn-p：

#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-g++ 4.2 机器上超出了我的预期。我的盒子上的输出是

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

我想要在代码中做的是覆盖Derived 类中的成员字段（b）。 由于我认为Base 和Derived 都需要访问这个字段，所以我在Base 中定义了一个get 成员函数，因此Derived 可以继承它。 然后我尝试从不同的对象中获取成员字段。

结果显示，我仍然通过d.get() 在Base 中获得原始b，而不是在Derived 中，这是我期望代码执行的操作。 代码（或我的理解）有什么问题吗？规范中是否指定了此行为？覆盖成员字段并正确定义其 getter 和 setter 的正确方法是什么？

Answer 1

派生类中添加的新b 不会覆盖基类的b。它只是隐藏它。

因此，在派生类中，您有两个b，而虚方法打印出对应的b。

Answer 2

您不能简单地覆盖成员字段，并且在编译 Base::get 时，b 变量被解析为 Base::b，因此此方法将始终使用此值，而不是来自另一个具有相同字段的值派生类中的名称。

覆盖属性的常用方法是覆盖访问它的方式，即覆盖访问器（getter 和 setter）。

你可以通过装饰getter来实现类似的效果，但是getter的返回类型总是一样的：

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;，这会导致切片，以上修复了该问题并确保您不会意外使用Base<int> 而不是Base<double>。

Live example

Answer 4

你应该重写你的 Derived::ctor 如下：

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

并删除派生类中归档的b。而是将Base 类中的b 标记为受保护。

编辑
无视这一切 我在您的代码中发现了一个问题：

Base b = d;

您正在复制派生对象到基础。它只复制基本字段。如果您想要多态性，请尝试下一个：

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