最可靠方法是头文件末尾定义唯一宏，再用 #ifndef + #error 在使用处检查；__has_include 仅判断头文件是否存在，无法检测是否已被包含；宏名应避免冲突，推荐用路径哈希或命名空间前缀；sfinae 等间接探测不可靠，必须显式包含头文件。
编译期检查头文件是否被包含：靠预处理器宏 + static_assert
不能直接“检测某个头文件是否被 #include”，C++ 没提供这种反射能力。但可以约定：头文件在被包含时，必须定义一个唯一宏；然后在目标代码里用 static_assert 检查该宏是否存在。这是最可靠、零运行时开销的做法。
比如你想确保 my_utils.h 被包含，就在它末尾加：
#ifndef MY_UTILS_H #define MY_UTILS_H // ... 内容 #define MY_UTILS_INCLUDED #endif
然后在需要强制检查的地方写：
static_assert defined(MY_UTILS_INCLUDED), "my_utils.h must be included before this point";
注意：defined 是预处理器操作符，只能用在 #if 或 #ifdef 中；上面这行会编译失败——因为 static_assert 是编译期语句，不接受预处理表达式。正确写法是：
#ifndef MY_UTILS_INCLUDED #error "my_utils.h is not included" #endif
这才是真正生效的编译期拦截。
为什么不用 __has_include？它检查的是“能否包含”，不是“是否已包含”
__has_include 是 C++17 引入的预处理器特性，用于判断某个头文件路径是否可被找到（比如系统是否有 <optional></optional>），但它完全不管该头文件有没有被实际 #include 过。
-
__has_include(<optional>)</optional>→ 返回 1，哪怕你根本没写#include <optional></optional> -
__has_include("missing.h")→ 返回 0，哪怕你写了#include "missing.h"且它存在，只是路径不对
它解决的是“可用性”问题，不是“包含状态”问题。想确认“这段代码上方是否已有 #include "x.h"”，__has_include 无能为力。
避免宏名冲突：推荐用头文件路径哈希或命名空间前缀
手动定义的标记宏（如 MY_UTILS_INCLUDED）容易重名，尤其在大型项目或第三方库混用时。更健壮的做法：
- 用头文件相对路径生成唯一宏名，例如
UTILS_MY_UTILS_H_INCLUDED - 或借助构建系统，在头文件生成时注入带哈希的宏，如
INCLUDED_8f3a2d9b - 不要依赖
__FILE__，它展开为字符串字面量，不能用于#ifdef
示例（手工维护）：
// utils/string_view.h #ifndef UTILS_STRING_VIEW_H #define UTILS_STRING_VIEW_H #include <string_view> #define UTILS_STRING_VIEW_H_INCLUDED #endif</string_view>
// 某个 .cpp 文件开头 #ifdef UTILS_STRING_VIEW_H_INCLUDED // OK #else #error "utils/string_view.h missing — required for string_view usage" #endif
模板/constexpr 场景下无法绕过：头文件必须真实包含
有人试图用 SFINAE 或 constexpr if 探测符号是否存在来间接判断头文件是否引入，例如：
template<typename t>
auto has_data() -> decltype(std::declval<t>().data(), std::true_type{});</t></typename>
这只能说明 std::declval<t>().data()</t> 合法，不代表 <string></string> 或 <vector></vector> 已被包含——编译器可能从其他已含头文件中透出声明，也可能因 ADL 或隐式实例化“碰巧通过”。这种探测不可靠，且掩盖真实依赖。
真正要保证编译通过和语义正确，每个使用了某类型/函数的 TU（translation unit），都必须显式 #include 对应头文件。编译期检查只是帮你尽早发现遗漏，不是替代包含本身。
最容易被忽略的是：头文件内部的间接依赖（比如 A.h 包含了 B.h，你只包含 A.h 就用了 B 的东西）——这时标记宏必须放在 B.h 里，或者由 A.h 显式转发定义，否则检查会误报。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
