c++ - VC++ 2010 : 'missing type specifier' errors come and go without changes to code

Question

假设有四个文件:foo.h、foo.cpp、bar.h、bar.cpp。

foo.h:

#pragma once

class foo
{
    // Whatever
};

foo.cpp

#include "foo.h"

// Foo's definitions

bar.h

#pragma once

class bar
{
    bar(const foo & f); // < C4430 'missing type specifier' (not always)
    // Other declarations
};

bar.cpp

#include "foo.h"
#include "bar.h"

// Bar's definitions

编译器说 bar.h 中有 C4430。但奇怪的是，我能够通过注释然后取消对该行的注释来构建代码。当然，构建也失败了，行也被注释了，但是当我取消注释时，我就成功构建了。因此，相同的代码可能会或可能不会产生错误。

我的VS是10.0.40219.1 SP1Rel，项目类型是Win32 DLL。

Answer 1

你需要在bar.h中包含foo.h:

#pragma once

#include "foo.h"
class bar
{
    bar(const foo & f);
};

如果您需要完整的类定义，除非您使用指针(在这种情况下前向声明就足够了)，否则您需要包含声明该类的文件。

为什么有时编译有时失败？

取决于编译器。我的猜测是 foo.h 包含在到达 bar.h 之前编译的文件中。所以 bar.h 已经知道 foo 的定义。如果构建失败，则跳过成功编译的文件，并且可能不再包含 foo.h。或者，如果您仅在 x.cpp 中进行更改，编译器将仅构建该文件并可能跳过包含在一个文件中的 foo.h已经编译好了。

我希望我说的很清楚。

为什么你已经拥有的还不够？

你可能会说

//Bar.cpp
#include "foo.h"
#include "bar.h"

// Bar's definitions

在 bar.h 之前包含 foo.h。确实如此，但是如果 bar.h 包含在不同位置的 foo.h 之前怎么办？这就是为什么在 bar.h 中包含 foo.h 是个好主意。任何包含 bar.h 的文件将不再需要包含 foo.h(必须包含它才能编译)，并且在文件中包含您需要的所有内容更有意义。前向声明不是这种情况，但同样，您使用的是完整类型，而不是指针。