有没有办法将 C++ 结构/类中的所有定义都带入范围而不从它派生？

Question

在周日沉思……

从类派生会将基类中的所有名称都带入派生类的范围。但是，它也会将基类非静态数据成员添加到派生类的每个实例中。

有没有办法在没有后者的情况下实现前者？我问的是简洁的符号。

显然，当基类没有任何数据成员时，我得到了我想要的。在标准库中定义了很多空类或类模板来做到这一点 - 通过继承将名称概括地注入类范围。甚至还有空基类优化，以使其尽可能便宜。

但如果我想对非空基类做同样的事情，我会很想使用类似的东西：

struct Bar {
    using struct Foo;
};

但是，可惜的是，C++ 不支持。我的问题是，是否有另一种方法可以实现我忽略的相同功能？

提供一个更完整的例子：

struct Foo {
    enum { some_constant=42 };

    // data members follow here ...
};

struct Bar {
    using class Foo;   // this doesn't compile

    int f();
};

int Bar::f() {
    return some_constant;   // I want to use the constant directly, without Foo::
}

一种笨拙的方法可能是将 Foo 中的定义分成两个类，一个带有常量（这将是一个我可以从中派生而不会受到惩罚的空类），另一个带有数据成员，但这看起来很像对我来说不优雅。

如果没有一种干净的方法来实现这一点，也许有人可以提供一个理由，说明它为什么不存在，或者不应该存在。

Answer 1

从类派生会将基类中的所有名称都带入派生类的范围。

让我阻止你。是的，从基类继承确实会导致基类中的（非private）名称可以从派生类定义中访问。然而，这不是为什么你要从基类继承；这只是继承实现其目标的机制。

从基类公开继承就是对派生类和基类之间的关系作出声明。您是说派生类的每个实例在几乎所有方面都应该表现得像基类。即使virtual 函数覆盖仍然带有这样的期望，即这些方法的派生类实现在概念上执行相同的工作，只是以适合该派生类的方式。

即使是 mixin 风格的基类也是如此，其中基类用于定义导入特定派生类的通用功能。在这样的接口中，几乎不期望用户显式地与基类定义交谈。但是这种通用功能的提供最终仍然基于派生类作为基类的语义思想。这对他们中的许多人来说非常重要。

考虑一下 C++ 标准库中最突出的 mixin：std::enable_shared_from_this<T>。它具有非静态数据成员，没有它们它实际上无法提供它所做的功能（嗯，它可以，但是您必须在派生类中提供一些接口来存储它们，所以它也可以这样做） .

私有继承也是如此，尽管有一些修改。虽然对于外界来说，派生类只是一个派生类，但对于类定义本身来说，它仍然是一个基类。它仍然完全是一个基类，以及随之而来的所有包袱。

不要把机制误认为意义。机制很重要；不要误会我的意思。但这些机制的存在是为了促进意义。

让一个类包含其他类的所有内容除了非静态数据成员在语义上是无意义的。这并不意味着类型之间的关系。而且您基本上已经承认，您想要这样做的主要原因是您不必对“基”类中定义的名称进行范围限定。

这是一个机械原因，而不是语义原因。您不应该使用继承之类的语义工具来逃避您选择设计类型的方式所带来的机械后果。

Answer 2

参考您的具体示例，您可以将要访问的常量设为静态，这将允许您通过完全限定“基”类从第二类访问它们