Question

C++头文件中#pragma once和#ifndef之类的...

目前我所接触的所有C/C++代码，没有哪一个的头文件里面没写#pragma once或者#ifndef XXX_H之类的东东，或许是我接触东西太少。

我就是想问：
1.会存在一种使用情况，将某一个头文件include多次吗？，至少我目前没有见到过，是否可以说明基本很少会使用这功能？
2.相对第一条，如果说这个功能没有任何意义，那么为什么编译器不自己限制对一个文件只包含一次，而不必让程序员自己在头文件上加一个#ifndef XXX_H之类的废代码来浪费时间！，如果说有意义，那么#ifndef XXX_H的存在意义是什么？

谢谢。

Answer 1

好吧，我写所有的h文件时都会加#pragma once的，因为我一开始学编程老师就告诉说这是个好习惯。
将某一个头文件include多次是可能的。比如A.h包含了B.h，然后C.cpp里包含了A.h与B.h。这样B.h就被包含了两次。尤其当工程很大的时候更容易出现这种情况。
至于为什么编译器不”自动“限制重复包含，我想是因为这种分析过于复杂了，尤其是在大工程的情况下，所以当初的设计者经过权衡就没有加。而是让程序员用#pragma once或#ifndef XXX_H的方法来避免。

追问

过于复杂？
复杂的编译器都搞出来了，这么个玩意还搞不上去吗？
最简单的实现莫过于编译器在识别头文件的时候完全可以默认文件头部都有#pragma once的存在不就好了么。

对于你所谓的include多次，由于你的头文件上面有#pragma once限制了，所以还是只包含了一次，我所谓的多次是没有加上#pragma once和#ifndef XXX_H之类的东东而包含的。

追答

你知道编译器对include是怎么处理的吧？要是按你说的“真”包含多次，早就报错了好不好。

追问

我知道包含多次会出现符号冲突，所以才提这个问题的，既然包含多次没用，那何必呢，直接编译器搞定只包含一次的问题不就好了吗？为什么会存在#pragma once之类的“废代码”。。。定义规范的家伙肯定不是随随便便弄的，一定有他的意义和目的所在。而这个问题的目的就是想知道所谓的意义为何！

追答

1. #pragma once是只在VS编译器中支持的一种语法，用于防止同名文件的重复包含；在linux上是没有这个语法的。因此，这个语法的存在意义是VS平台上的一种特殊偷懒方法，至于为什么微软不直接内嵌这种功能而是只提供这么个语法，我想是为了系统简单和通用性考虑。
2. #ifndef这个语法不是专门用来做防重复包含的，只不过正好有这样一种用途而已。而且这个语法是C/C++通用的。

追问

1. GCC新版中支持#pragma once

2. 我也清楚#ifndef不是专门对付头文件包含的问题，我的意思是为什么写代码的时候非得有#ifndef XXX_H的存在不可？为什么编译器不搞定这种符号冲突问题而让程序员来费劲的用#ifndef来解决。其中的缘由是什么？

3. 非常感谢你的关注和回答，衷心的感谢。
   

追答

我不是专家，也只是在表达自己的猜想。
预编译指令是靠预处理器而不是编译器处理的。如果说，编译器能自动纠正符号重定义的错误，那是不是也该自动纠正其他各种错误呢？这看起来并不合适。而把这个工作分配到预处理器中，预处理器可以很轻松地完成功能，程序员的负担也并不很大。

追问

嗯，谢谢你
对于一个广泛使用的优秀的编程语言来讲，我认为不会也不应该存在多余并且无用的成分在里面。而且对于解决符号重定义问题，我想做编译器的家伙们不会说“搞不定，让程序员搞去”之类的。这样的设定亦存在他的目的，只是目前我还不清楚。

谢谢。

Answer 2

“为什么编译器不自己限制对一个文件只包含一次”：

因为对同一个文件包含两次可能是部分代码需要，我就在一个比较成熟的项目里面看到过 对一个头文件包含两次的，大致原理如下：
头文件f.h里面 有两部分，分别被 MACRO_A 和MACRO_B包括着，
在g.c里面某个地方，先定义了MACRO_A，然后include f.h，接着undef MACRO_B
在后面某个地方 又定义了MACRO_B，然后include f.h，再接着undef MACRO_B

追问

其实纠结来纠结去，就是说这个功能不常用嘛。谢谢。