外部类的嵌套类定义，而外部类包含内部类的实例

Question

C++

如何将内部（嵌套）类的定义放在其外部（封闭）类的定义之外，其中外部类至少有一个内部类的实例作为数据成员？我进行了搜索，但我找到的最相关的 SO 答案 Nested Class Definition in source file 没有外部类具有内部对象作为数据成员的示例。我遵循了这个答案，就在外部类的定义中声明但不定义内部类而言，但我的代码仍然被破坏：

struct Outer
{
    struct Inner;
    Inner myinner;
    Outer() : myinner(2) {}
};

struct Outer::Inner
{
    Inner(int n) : num(n) {}
    int num;
};

int main()
{
    Outer myouter;
}

它在 VC11 中给出错误error C2079: 'Outer::myinner' uses undefined struct 'Outer::Inner'。

为什么损坏的代码没有与在Outer 的定义中定义Inner 的版本等效的效果，就像在下面的工作代码中一样？

struct Outer
{
    struct Inner
    {
        Inner(int n) : num(n) {}
        int num;
    } myinner;
    Outer() : myinner(2) {}
};

Answer 1

这是一个危险信号，但您可以使用假模板来做到这一点。

template< typename = void >
struct Outer_temp
{
    struct Inner;
    Inner myinner;
    Outer_temp() : myinner(2) {}
};

typedef Outer_temp<> Outer; // Hide template from user.

template< typename v >
struct Outer_temp< v >::Inner
{
    Inner(int n) : num(n) {}
    int num;
};

int main()
{
    Outer myouter;
}

模板内的Inner 是一个依赖类型，因此在定义实例、成员或任何其他上下文时，它不需要是完整的。它只需要在实例化发生后完成，在本例中来自main。

我想不出这样做的充分理由，但就是这样。

不应为了程序组织而使用嵌套类。嵌套暗示了一种概念依赖，“内部不能存在，除非在外部提供的上下文中”。例如，虽然容器节点类嵌套在容器中很常见，但这可能会导致问题。 SCARY 成语是一种拒绝这种组织并获得改进的通用性的设计风格。

TL;DR：独立定义两个类，并用嵌套的typedef 链接它们。