c++ - 使用私有(private)嵌套类型作为参数

Question

我遇到了一个奇怪的问题，我不知道为什么会这样。以下代码片段的第一和第二个编译，而第三个不编译:

编译:

class Foo {
public:
    Foo() { Bar(); }

private:
    class Bar {};
};

编译:

class Foo {
    class Bar {};  // Or only forward declare here and define later

public:
    Foo(Bar) {}
}

不编译:

class Foo {
public:
    Foo(Bar) {}

private:
    class Bar {};
};

是什么导致第三个编译失败而第一个可以编译？

Answer 1

通常，在 C++ 中，您只能引用先前在翻译单元中所做的声明。但是，在类定义中，允许成员函数的定义引用类后面的声明。基本上，编译器会重构您的类内定义，以便它们像在类后立即编写一样工作。

但这仅适用于函数定义。函数的声明(包括参数类型)不允许这样做。它们只能引用已经按文件顺序进行的声明。

所以你可以这样做:

class Test
{
    public:
      void Func(int x) {Inner foo;}

    private:
      class Inner {};
};

但不是这个:

class Test
{
    public:
      void Func(Inner x) {}

    private:
      class Inner {};
};