外部类中包含内部类的实例，而嵌套类定义在外部类之外。

Question

外部类中包含内部类的实例，而嵌套类定义在外部类之外。

c++nestedinner-classesnested-classouter-classes

5

C++

如果外部类至少有一个内部类实例作为数据成员，我该如何在外部类定义之外放置内部（嵌套）类的定义？我进行了搜索，但我找到的最相关的SO答案（在源文件中定义嵌套类），没有一个例子涉及外部类具有内部对象作为数据成员。就声明而不是定义内部类而言，我遵循了那个答案，但我的代码仍然无法正常工作：

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'。

为什么破碎的代码没有与Inner在Outer的定义内部定义的版本等效的影响，就像以下工作代码一样？

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

- CodeBricks

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Potatoswatter · Accepted Answer

这是一个红色的标志，但是您可以使用虚假模板来完成它。

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习语是一种否定这种组织结构并获得改进的通用性的设计风格。

简而言之：独立地定义两个类，并使用嵌套的typedef将它们链接起来。