向多个继承类的超级类强制执行void*不会调用正确的方法[重复]

Question

我在一个容器中存储了一个指向一组异构对象的指针列表，使用一个字符串来标识它们。关于这次行动的安全性，我已经在这里讨论过了，我没意见。

问题是，当类有多重继承，并且我试图将同一个指针转换到一个或另一个超类时，第二次转换似乎会失败。

下面是一个示例：

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

class A {
public:
  virtual void hello() = 0;
};

class B {
public:
  virtual void goodbye() = 0;
};

class C : public A,
          public B
{
public:
  void hello() override {
    std::cout << "C says: Hello World!" << std::endl;
  }
  void goodbye() override {
    std::cout << "C says: GoodBye World!" << std::endl;
  }
};

class D : public A {
public:
  void hello() override {
    std::cout << "D says: Hello World!" << std::endl;
  }
};

class E : public B {
public:
  void goodbye() override {
    std::cout << "E says: GoodBye World!" << std::endl;
  }
};

int main()
{
  std::map <std::string, void*> mymap;

  C c;
  D d;
  E e;

  mymap["C"] = (void*) &c;
  mymap["D"] = (void*) &d;
  mymap["E"] = (void*) &e;

  static_cast<A*>(mymap["D"])->hello();
  static_cast<B*>(mymap["E"])->goodbye();
  static_cast<A*>(mymap["C"])->hello();
  static_cast<B*>(mymap["C"])->goodbye();

  return 0;
}

预期产出将是:

D says: Hello World!
E says: GoodBye World!
C says: Hello World!
C says: GoodBye World!

但我得到的却是:

D says: Hello World!
E says: GoodBye World!
C says: Hello World!
C says: Hello World!

我什至不知道这怎么可能，因为我什至没有打招呼。

编辑在理解了这个页面的副本中讨论的内容后，我最终得到了这个解决方案：

int main()
{
  std::map <std::string, void*> mymap;

  C c;
  D d;
  E e;

  mymap["C"] = static_cast<A*>(&c);
  mymap["D"] = static_cast<A*>(&d);
  mymap["E"] = static_cast<B*>(&e);

  static_cast<A*>(mymap["D"])->hello();
  static_cast<B*>(mymap["E"])->goodbye();
  static_cast<A*>(mymap["C"])->hello();
  dynamic_cast<B*>(static_cast<A*>(mymap["C"]))->goodbye();

  return 0;
}

我发现的另一种解决方案也是使第二个类继承前一个类：

...
class B : public A{
public:
  virtual void goodbye() = 0;
};

class C : public B
{
public:
  void hello() override {
    std::cout << "C says: Hello World!" << std::endl;
  }
  void goodbye() override {
    std::cout << "C says: GoodBye World!" << std::endl;
  }
};
...
int main()
{
  std::map <std::string, void*> mymap;

  C c;
  D d;

  mymap["C"] = static_cast<A*>(&c);
  mymap["D"] = static_cast<A*>(&d);

  static_cast<A*>(mymap["D"])->hello();
  static_cast<A*>(mymap["C"])->hello();
  dynamic_cast<B*>(static_cast<A*>(mymap["C"]))->goodbye();

  return 0;
}

Answer 1

您的代码具有未定义的行为。

给定一个转换成< code>B*的< code>void*，计算机没有办法知道< code>B子对象在哪里(在实际上是< code>C的指向对象中)。你只是假装整个东西(或者，至少，它的前缀)是一个< code>B，如果它是一个简单的单一继承，这将是正确的…但是你的不是；第一垒是一个< code>A，不是一个< code>B。

不要像这样擦除带有 void* 的类型。