C++20可在编译期对JSON字面量做有限静态校验（如括号匹配、引号成对），但无法真正解析JSON；受限于NTTP长度限制、无动态内存、错误信息差及不支持语义解析。
编译期解析并校验 JSON 字符串格式——在标准 C++（C++17/C++20）中，不能真正“解析 JSON”，更无法执行类似运行时 json::parse() 的完整语法分析。模板元编程（TMP）能做的，是**对字面量字符串进行有限的、静态的结构检查**，比如括号匹配、基础语法合法性（是否以 { 或 [ 开头、引号是否成对、是否含非法控制字符等），但不涉及语义解析（如键名重复、数值溢出、嵌套深度超限等）。
为什么不能在编译期“解析 JSON”
JSON 解析本质是上下文无关文法识别，需栈/递归下降/状态机等运行时机制；而 C++ 模板系统（即使 C++20 consteval 和字符串字面量模板参数）仍受限于：
- 无法动态分配内存或维护可变长度栈（如嵌套计数器必须靠递归模板展开，深度受编译器限制）
- 字符串字面量作为非类型模板参数（NTTP）仅在 C++20 支持，且要求长度已知、内容为常量表达式，且各编译器对长度上限差异大（GCC ~1024，MSVC 更严）
- 错误信息极不友好：一个括号不匹配就触发一长串模板推导失败，而非清晰的“第 42 行缺少 }”
- 无法处理转义序列的语义（如
"\u0061"→"a"），只能做字节级校验
C++20 字符串字面量模板参数 + consteval 校验括号与引号
可行的最小闭环是：用 C++20 的 auto NTTP 接收字符串字面量，在 consteval 函数中遍历每个字符，维护括号栈和引号状态。以下是一个精简示例：
template<auto S>
consteval bool is_valid_json_like() {
constexpr std::string_view sv{S};
int brace = 0, bracket = 0;
bool in_string = false;
for (size_t i = 0; i < sv.size(); ++i) {
char c = sv[i];
if (!in_string) {
if (c == '{') ++brace;
else if (c == '}') --brace;
else if (c == '[') ++bracket;
else if (c == ']') --bracket;
else if (c == '"') in_string = true;
} else {
if (c == '"' && (i == 0 || sv[i-1] != '\')) in_string = false;
}
if (brace < 0 || bracket < 0) return false;
}
return brace == 0 && bracket == 0 && !in_string;
}
<p>static_assert(is_valid_json_like<"{"a":1}">()); // OK
static_assert(!is_valid_json_like<"{\"a":1}">()); // 注意：反斜杠转义需双写，实际字符串是 "{"a":1}"
关键点：
- 字符串必须写成
"{"a":1}"形式（源码中双引号需转义），传入模板时仍是原始字节序列 -
consteval函数内不可调用非consteval函数（如std::string::find），所有逻辑必须手写 - 无法识别
/* comment */（JSON 不支持，但此校验也不处理）、尾随逗号、数字格式等
常见错误与兼容性陷阱
实际使用时高频翻车点：
- Clang 15+ / GCC 13+ 才稳定支持字符串 NTTP；旧版本会静默降级为模板参数推导失败，或报错
non-type template parameter cannot have type 'const char [N]' - 字符串含 Unicode（如中文）时，若源文件编码为 UTF-8，字节序列合法，但校验函数只按字节判断，无法识别代理对或验证 UTF-8 编码有效性
- 空格、换行、制表符均被允许（JSON 规范允许），但若校验逻辑误判
' '为非法字符，会导致static_assert失败 - 未处理转义引号：
"""是合法 JSON 字符串，但上述代码中若写成"""，字面量实际是"（单个双引号），直接编译失败；正确写法是""""（源码中表示两个双引号）
真正需要编译期 JSON 校验的场景极少，多数情况属于过早优化。如果目标是配置安全，更务实的做法是：用 Python/Node.js 脚本在 CI 中预检 JSON 文件，或用 constexpr 解析极简 schema（如固定字段名+类型），而非通用 JSON。
