已知2个类A和B，A类在A.h中申明，在A.cpp中实现。B类在B.h中申明，在B.cpp中实现。B的一个成员函数中（在B.cpp中）定义了一个A类，那么B.cpp开头部分应该把有关A类的文件包含进来。但问题是到底应该包含A.h还是A.cpp呢？一本书上是把A.h包含进来，经试验是可以的。但我觉得有点奇怪：A.h里并没有#include A.cpp的语句，B.cpp只把A.h包含进来，那么A类的成员函数的实现是怎么找到的呢？我觉得好像应该把A.cpp包含进来才对。

include了a.h之后可以通过编译吧？
这说明编译需要的东西都有了
但是链接就不成了
因为没有函数的实现

所以命令行应该写cl a.cpp b.cpp
这样所有信息都有了

看看TC++PL中的一章介绍C++头文件的吧

楼主，用的是 IDE 环境吧？现在假设工程中只有 a.h, a.cpp, b.h, b.cpp 然后在 b.cpp 中定义了一个 A 的对象，那么它需要 class A 的完整声明，所以需要在 b.cpp 中包含 a.h。编译的时候，a.h + a.cpp -> a.o, b.h + b.cpp ->b.o 然后在链接的时候把 a.o 和 b.o 链接成一个 exe。在链接之前，b.o 中的代码虽然知道了 class A 的定义，但是没有它的实现。如果单独链接 b.o 成 exe 就会报错，说 undefined reference 云云。。。可以从工程中删除 a.cpp 试验。

就是说是编译器自己找的咯？

楼主：如果你手写 makefile，你会清楚很多的。