C++ / 钻石继承 / 静态变量

Question

我面临一些设计问题，我想写：

class A { ... };
class B : public A { static string type_; ... };
class C : public A { static string type_; ... };
class D : public B, public C { static string type_; ... };

我认为在类C的定义之前，我不会有任何问题..但是当我定义类D时会发生什么？由于 D 将继承自 B 和 C，因此 i 可能会有一些不明确的内容。我的最终目标是在每个类 B、C 和 D 中都有一个具有相同名称但不同值的静态变量。这可能吗？

预先非常感谢 塞德

Answer 1

你这里的代码非常好。类可以用任何它们想要的名称来定义成员，即使它们与父类中的成员名称相匹配。您遇到麻烦的唯一一次是使用这些名称之一会导致歧义。

在您的情况下，类 B、C 和 D 中拥有三个 static 数据成员不会导致任何问题问题和每个类的 type_ 实例将与所有其他类不同。仅仅因为它们具有相同的名称并不意味着 C++ 将它们视为覆盖。只有虚拟成员函数可以被重写。

在每个类及其成员函数的上下文中，对 name_ 的任何引用都将始终引用该类中的 name_，因为类隐藏了其任何基类的名称，并且所以编译器只会查找当前类。在全局范围内，您可以使用完全限定名称引用 name_ 字段，例如 A::name_、B::name_ 等。

更重要的是，您在这里使用的继承类型（无论是虚拟的还是非虚拟的）并不重要，因为这里的问题只是变量的命名。由于每个 static 数据成员只有一个副本，因此您的类 D 最终是否继承 A::name_ 的两个副本并不重要任何担忧；它不能继承两个副本，因为只存在一个。

Answer 2

那里没有任何含糊之处。您可以将这两个字段称为 B::type_ 和 C::type_。

Answer 3

如果您在 D 的方法中写入 type_，它将解析为 D 的 type_。如果您编写 A::name_ 或 B::name_，它将解析为相应实例的 type_。

另一方面，似乎您可能试图将某种反射系统破解到 C++ 上，因为每个类中都有名为 type_ 的静态字段。在某些罕见的情况下，这可能很有用，但这可能是一个坏主意。

Answer 4

在菱形继承中，C++ 标准提供了一种解决方案来避免出现歧义。

您的类定义结构看起来像

                       A
                      /  \
                     /    \
                    /      \
                   B        C
                    \      /
                     \    /
                      \  /
                       D 

现在，当您在类 B 中继承类 A 时，

class B : public virtual A

对类 C 使用以下相同的内容

。那么 C 就只有一个 A 类的实例。

不需要为 D 类进行虚拟继承。它没有任何效果。

类D的大小可以与之前相同，但是来自类B和类的变量访问的任何地址。当您创建 D 的实例时，C 类将是相同的。