C++ 类中 const 属性的后期绑定？

Question

我知道类属性没有后期绑定。但我需要一个好的模式来做到这一点：

#include <cstdlib>
#include <iostream>
using namespace std;

class B
{
public:
    const int i;
    B() : i(1) {}
};

class D : public B
{
public:
    const int i;
    D() : i(2) {}
};


int main()
{
    D d;
    B *ptr = &d;

    cout << ptr->i << endl;

    return 0;
}

输出是1，但我期望2。我想，我应该使用不同的模式。有什么建议吗？

Answer 1

获得输出的i 的版本取决于compile-time 类型定义。你已经定义了两个不同的变量，所以你会得到两个不同的结果。解决这个问题的方法是确保变量只有一个版本。您可以在 B 中使用构造函数来初始化 const 变量。

class B
{
public:
    const int i;
    B() : i(1) {}
protected:
    B(int j) : i(j) {}
};

class D : public B
{
public:
    D() : B(2) {}
};

Answer 2

您需要使用虚拟方法，就像 C++ 中的所有后期绑定一样。

class B
{
public:
    virtual int get_i() const { return 1; }
};

class D : public B
{
public:
    virtual int get_i() const { return 2; }
};

Answer 3

您混淆了数据成员 B::i（初始化为 1）和 D::i（初始化为 2）。它们不一样，通过B * 调用会得到B::i，而不是D::i。

为了获得多态行为，您需要使用virtual 函数。 （另一种方法在 Mark Ransom 的回答中。）

Answer 4

您只是向派生类添加新成员，这也恰好隐藏基类的成员。那不是你想要的。而是使用虚函数：

class B
{
  int m_i;
public:
  virtual ~B() { }
  virtual int get() const { return m_i; }
};

class D : public B
{
  int m_j;
public:
  virtual int get() const { return m_j; }
};

用法：

D d;
B & b = d;
std::cout << b.get() << std::endl;  // correct dynamic dispatch

Answer 5

虚拟分派适用于函数成员，但不适用于数据成员。

如果您迫切需要两个类中的同名变量，那么您可以使用访问器函数来完成这项工作：

#include <cstdlib>
#include <iostream>
using namespace std;

class B
{
    const int i;
public:
    B() : i(1) {}
    virtual int getI() { return i; }
};

class D : public B
{
    const int i;
public:
    D() : i(2) {}
    virtual int getI() { return i; }
};


int main()
{
    D d;
    B* ptr = &d;

    cout << ptr->getI() << endl;
}

// Output: 2

Live demo.