核心是用 static_assert 配合字符串字面量在编译失败时直接输出明确错误信息；C++17 支持 NTTP 传字符串，结合 STRINGIZE、__FILE__ 和 LINE 可精确定位；应避免 SFINAE 静默失效，优先用 requires 子句和自定义概念提升诊断质量。
用 static_assert 配合字符串字面量触发可读报错
编译期诊断信息的核心不是“打印”，而是让错误消息在编译失败时直接出现在终端里，且内容明确。C++17 起支持非类型模板参数（NTTP）传入字符串字面量，配合 static_assert 可以写出带上下文的提示。比如想检查某个类型是否为 std::vector：
template<typename t>
struct is_vector : std::false_type {};
template<typename t typename a>
struct is_vector<:vector a>> : std::true_type {};
template<typename t>
constexpr void require_vector() {
static_assert(is_vector<t>::value, "❌ require_vector: T must be std::vector, got " __FILE__ ":" STRINGIZE(__LINE__));
}</t></typename></:vector></typename></typename>
注意：STRINGIZE 需自行定义为宏（#define STRINGIZE(x) #x），否则编译器不认字面量拼接；__FILE__ 和 __LINE__ 能帮用户快速定位调用点。
避免 std::enable_if_t 静默失效导致报错信息丢失
很多人习惯用 std::enable_if_t 做 SFINAE 约束，但一旦条件不满足，函数/模板直接从重载集中消失，最终可能触发更底层、更模糊的错误（比如“no matching function for call”）。这不是你想要的诊断。
- 改用
static_assert显式断言，把检查逻辑放在函数体或变量模板定义中 - 若必须用 SFINAE（如重载分发），可在 fallback 分支里加
static_assert(false, "...")，确保无论如何都有明确提示 - C++20 模式下优先用
requires子句，它本身就会生成较清晰的约束失败信息
C++20 requires + 自定义概念让报错更结构化
概念（concepts）不是语法糖，它是编译器理解“意图”的桥梁。自定义概念配合 requires，能让报错信息自动带上语义标签：
template<typename t>
concept HasSize = requires(T t) {
t.size();
};
template<hassize t>
void process_container(T&& c) {
static_assert(std::is_same_v<decltype size_t>,
"size() must return size_t");
}</decltype></hassize></typename>
当传入一个 size() 返回 int 的类型时，编译器先报告概念不满足（“T does not satisfy HasSize”），再进入函数体触发第二层 static_assert。两层信息叠加，比单靠 SFINAE 更易定位问题根源。
别依赖 std::string_view 或运行时字符串构造
所有用于 static_assert 的消息必须是编译期常量表达式（constant expression）。以下写法是错的：
// ❌ 错误：std::string_view 构造不是 constexpr（C++20 前），且不能作为 NTTP
static_assert(false, std::string_view{"bad type"}.data());
正确做法只有两种：
- 纯字符串字面量（
"xxx"），支持拼接和宏展开 - C++20 起可用
consteval函数生成字符串，但需严格满足 constexpr 限制（无动态内存、无虚函数、无未定义行为）
最稳妥的路径始终是字面量 + 宏 + __FILE__/__LINE__。复杂格式化（比如拼接类型名）目前仍受限，typeid(T).name() 不是 constexpr，别试。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
