1

这是google 的 c++ 编码指南的摘录。

我们如何在头文件中使用 Foo 类而不访问其定义？

  • 我们可以声明 Foo* 或 Foo& 类型的数据成员。
  • 我们可以用 Foo 类型的参数和/或返回值声明（但不能定义）函数。（一个例外是，如果参数 Foo 或 const Foo& 具有非显式的单参数构造函数，在这种情况下，我们需要完整的定义来支持自动类型转换。）
  • 我们可以声明 Foo 类型的静态数据成员。这是因为静态数据成员是在类定义之外定义的。

我很好奇的是第二个项目符号中的异常。为什么会这样？如果我们想支持自动类型转换，为什么需要完整的定义？

我的猜测是编译器需要目标类型的完整定义，因为在隐式转换中创建了临时对象。我猜对了吗？还有更多吗？

编辑：

正如我所看到的，指南中的例外是针对这样的情况：

class A
{
    public:
        A( int );
};

class B
{
    public:
        B( A const &a );
};

int main()
{
    B b(2);
}

这里我们只有一个用户定义的隐式转换（从 int 到 A），并调用接受 A const & 的构造函数。在此异常中唯一有意义的是支持从例如 int 到 A，然后通过接受 A const & 的构造函数到 B 的直接转换，允许客户端代码使用此转换链，而无需显式包含 A 类所在的头文件宣布。

4

3 回答 3

2

C++ 语言不区分头文件和其他文件中的代码。它甚至不要求标头是文件。所以纯粹从技术上讲，这个问题是没有意义的，但实际上你限制了你在头文件中所做的事情，以免违反单一定义规则。在不限制自己的情况下，用户必须小心仅将头文件包含在一个翻译单元中。通过适当的限制，头文件可以自由地包含在多个翻译单元中。

不完整类型是大小未知且sizeof无法使用的类型。

当类定义未知时，类Foo必然是不完整的。

这意味着你不能做需要知道大小的事情。而且由于不完整意味着成员不知道（如果知道大小，则它们必然是已知的）您通常不能调用任何成员。例外：您可以调用析构函数，如 in delete pFoo，编译器必须接受它，但如果类Foo具有非平凡的析构函数，则它是未定义的行为。

然而，谷歌指南中提到的例外是没有意义的。

编辑：我发现当事情被详细说明时，SO 上的人更喜欢它，所以，添加关于为什么该指南毫无意义的讨论。

该指南说您可以“声明（但不能定义）”，但“一个例外是如果参数 Foo 或 const Foo& 具有非显式的单参数构造函数”。

该声明与构造函数没有任何关系，只需尝试一下即可确认：

#include <iostream>

struct Foo;

Foo bar( Foo const& );  // Declaration of function bar, works fine.

struct Foo
{
    int x_;
    Foo( int x ): x_( x ) {}       // Converting constructor.
};

int main()
{
    std::cout << bar( 42 ).x_ << std::endl;
}

Foo bar( Foo const& foo ) { return foo; }

总之，谷歌指南的例外是没有意义的。

干杯&hth.，

于 2010-12-16T17:12:26.517 回答
0

假设只foo.h知道Foo声明

//foo.h

class Foo;
void f(const Foo &); // It is possible to use the reference.

完整的定义在foo.cpp 

// foo.cpp

class CanBeConvertedToFoo;
class Foo
{
   Foo (const CanBeConvertedToFoo & x); // implicit constructor
}

class CanBeConvertedToFoo可隐式转换为 Foo；但在some.cpp.

// some.cpp

#include "foo.h"
void g(const CanBeConvertedToFoo & x) {
   f(x); // Is it known about implicit conversion ?
}
于 2010-12-16T16:50:42.527 回答
0

不知道第二点的异常是否属实。隐式转换必须仅在调用函数时才知道，而不是在声明函数时知道，因此即使在声明C时不完整，以下工作也有效f：

#include <iostream>
class C;
void f(C);
struct C { C(int i) { std::cout << "C(" << i << ")" << std::endl; } };
void f(C c) { std::cout << "f(C)" << std::endl; }
int main() { f(2); }
于 2010-12-16T16:56:08.470 回答