在使用之前必须声明类函数/变量吗？

Question

所以我在学习课程,偶然发现我发现的东西对我来说很尴尬.

class Nebla 
{
    public:
        int test()
        {
            printout();
            return x;
        }

        void printout()
        {
            printout2();
        }

    private:
        int x,y;
        void printout2()
        {
            cout<<"Testing my class";
        }
};

我发现在一个类中我可以在声明它们之前使用函数(原型)

你可以看到我用printout(),printout2()decleration之前.

我也可以在声明变量之前使用变量

你可以看到我做到了return x; 在声明x之前.

为什么我可以在声明之前在类中使用函数和变量但在类之外如果我这样做,我会收到错误？

谢谢

Answer 1

好问题; 多年来我一直依赖这个功能而不考虑它.我查看了几本C++书籍以找到答案,包括Stroustrup的The C++ Programming Language和The Anlatedated C++ Reference Manual,但没有人承认或解释其中的差异.但是,我认为我可以通过它来推理.

我相信,你的例子有效的原因是你的身体test并printout没有真正出现在你文件中.代码

class MyClass {
  void someFun() {
    x = 5;
  }
  int x;
};

......在使用它们之前似乎违反了必须声明变量的规则,实际上相当于:

class MyClass {
  void someFun();
  int x;
};

void MyClass::someFun() {
  x = 5;
}

一旦我们像这样重写它,很明显你MyClass定义中的东西实际上是一个声明列表.这些可以是任何顺序.x在宣布之后你才会依赖它.我知道这是真的,因为如果你要重写这样的例子,

void MyClass::someFun() {
  x = 5;
}

class MyClass {
  void someFun();
  int x;
};

......它将不再编译!因此,类定义首先出现(带有完整的成员列表),然后您的方法可以使用任何成员,而不考虑它们在类中声明的顺序.

最后一个难题是C++禁止在类定义之外声明任何类成员,因此一旦编译器处理了类定义,它就会知道类成员的完整列表.这在Stroustrup的The Annotated C++参考手册的第 170页中有说明:" 成员列表定义了该类的完整成员集.不能在其他地方添加任何成员."

谢谢你让我调查一下; 我今天学了些新东西.:)

Answer 2

为了说清楚,这是C++标准所要求的,而不仅仅是几个编译器处理类定义的方式.

N3242 3.3.7:

在类中声明的名称的潜在范围不仅包括名称的声明点后面的声明性区域,还包括所有函数体,非静态数据成员的大括号或等于初始值,以及默认参数. class(包括嵌套类中的这类东西).