在 C/C++ 中多次包含头文件[重复]

Question

在 C 或 C++ 中多次包含头文件有用吗？

如果从不使用该机制，为什么编译器会担心包含两次文件？如果它真的没用，如果新的编译器确保每个头文件只包含一次，不是更方便吗？

编辑：

我知道有一些标准的方法来处理像include guards 和pragma once 这样的事情，但你为什么还要指定呢？只包含一次文件不应该是编译器的默认行为吗？

Answer 1

是的，它在使用预处理器生成代码或执行 Boost.PP 之类的技巧时很有用。

有关示例，请参阅 X 宏。基本思想是该文件包含宏的主体，然后是 #define 参数，然后是 #include 它。这是一个人为的例子：

宏.xpp

std::cout << MESSAGE;
#undef MESSAGE

文件.cpp：

int main() {
# define MESSAGE "hello world"
# include "macro.xpp"
}

这还允许您在参数上使用#if 和朋友，这是普通宏无法做到的。

Answer 2

是的，包含多个标题可能很有用（尽管它相当不寻常）。典型的例子是<assert.h>，它定义asssert 的方式取决于NDEBUG 是否被定义。因此，包含它是有意义的，然后有一个（通常是有条件的）NDEBUG 定义，然后再次包含它，（至少可能）有不同的 assert 定义：

assert 宏每次都会根据NDEBUG 的当前状态重新定义 包含<assert.h>¹。

然而，大多数标头都在努力实现幂等性（即，无论包含多少次，都具有相同的效果）。

---

¹C99, §7.2/1.

Answer 3

一个典型的例子（未经测试） - 要点是它考虑了一个枚举列表，因此它们在enum 和流代码中始终如一地出现：

// states.h
X(Uninitialised)
X(Initialised)
X(Running)
X(Complete)
X(Shutdown)

// app.c++
#if defined(X)
# error X is already defined
#endif

enum States {
    #define X(TAG) TAG,
    #include "states.h"
    #undef X
    Extra_So_Trailing_Comma_Ignored
};

std::ostream& operator<<(std::ostream& os, const States& state)
{
    #define X(TAG) if (state == TAG) return os << #TAG;
    #include "states.h"
    #undef X
    return os << "<Invalid-State>";
}

Answer 4

是的，只包含一次会更方便，这就是您使用 #pragma once 的原因。在 C++ 中:)

编辑：

注意：#pragma once 是不可移植的。你可以使用

#ifndef FILENAME_H
#define FILENAME_H

如果您希望它是可移植的，则放在头文件的顶部。

Answer 5

当您需要一些不想手动维护的“无聊”代码生成时，可以使用多次包含。

经典示例是 C/C++ 枚举和相应的字符串，它们或多或少看起来像这样：

// MYENUM_VALUES.H
MYENUMVALUE(a)
MYENUMVALUE(b)
MYENUMVALUE(c)
MYENUMVALUE(d)

// MYENUM.H
#define MYENUMVALUE(x) x,
enum MyEnum
{
#include "MYENUM_VALUES.H"
}
#undef MYENUMVALUE

// MYENUMTOSTRING.C
#define MYENUMVALUE(x) case x : return #x;

const char * MyEnumToString(MyEnum val)
{
    switch (val)
    {
    #include "MYENUM_VALUES.H"
    default return "unknown";
    }
} 
#undef MYENUMVALUE

Answer 6

#ifndef _INC_HEADER_
#define _INC_HEADER_

//header code

#endif

HEADER 是标头的名称

例如。 main_win.h 将是 _INC_MAIN_WIN_