之所以讨论这个问题,是在使用inline namespace的时候,遇到了模块代码中的头文件中使用了前置声明,导致了代码修改时, 修改一个模块的时候,需要同时修改其他的模块的代码, 也不能通过namespace aliase 进行处理, 符合下面确定缺点2的部分的说明。
有不少文章是推崇使用前置声明的,这边判断下来各有功过吧,libc++ 对前置声明还是有不少的使用的,比如iosfwd头文件就是个很好的说明。
下面规则来源:
https://zh-google-styleguide.readthedocs.io/en/latest/google-cpp-styleguide/magic/
前置声明
尽可能地避免使用前置声明。使用 #include 包含需要的头文件即可。
定义:
所谓「前置声明」(forward declaration)是类、函数和模板的纯粹声明,没伴随着其定义.
优点:
- 前置声明能够节省编译时间,多余的 #include 会迫使编译器展开更多的文件,处理更多的输入。
- 前置声明能够节省不必要的重新编译的时间。 #include 使代码因为头文件中无关的改动而被重新编译多次。
缺点:
-
前置声明隐藏了依赖关系,头文件改动时,用户的代码会跳过必要的重新编译过程。
-
前置声明可能会被库的后续更改所破坏。前置声明函数或模板有时会妨碍头文件开发者变动其 API. 例如扩大形参类型,加个自带默认参数的模板形参等等。
-
前置声明来自命名空间 std:: 的 symbol 时,其行为未定义。
-
很难判断什么时候该用前置声明,什么时候该用 #include 。极端情况下,用前置声明代替 includes 甚至都会暗暗地改变代码的含义:
// b.h:
struct B {};
struct D : B {};
// good_user.cc:
#include "b.h"
void f(B*);
void f(void*);
void test(D* x) { f(x); } // calls f(B*)
如果 #include 被 B 和 D 的前置声明替代, test() 就会调用 f(void*) .
5. 前置声明了不少来自头文件的 symbol 时,就会比单单一行的 include 冗长。
6. 仅仅为了能前置声明而重构代码(比如用指针成员代替对象成员)会使代码变得更慢更复杂.
结论:
- 尽量避免前置声明那些定义在其他项目中的实体.
- 函数:总是使用
#include
. - 类模板:优先使用
#include
.