constexpr字符串哈希必须使用编译期可知的字符串字面量或constexpr char[]，不可用std::string或运行时char*；推荐FNV-1a算法并用uint32_t等无符号类型避免溢出；C++20支持const char[N]作为NTTP提升类型安全与便捷性。
constexpr 字符串哈希必须用字面量或 constexpr 字符数组
编译期哈希的前提是输入必须在编译期可知，std::string 或运行时读入的 char* 都不行。只能用字符串字面量（如 "hello"）或 constexpr char[]。C++17 起支持在 constexpr 函数中遍历字面量，但需注意空终止符处理。
常见错误是试图对 std::string_view 构造参数做哈希——虽然 std::string_view 自身可为 constexpr，但其内部指针若来自非字面量内存（比如局部数组），仍无法通过编译期求值检查。
- ✅ 正确：直接传
"abc"、constexpr char s[] = "def" - ❌ 错误：传
std::string("xyz")、std::string_view(buf)（其中buf是栈上非 constexpr 数组） - ⚠️ 注意：
sizeof("abc")是 4（含'\0'），循环时别越界
推荐用 FNV-1a 实现，避免乘法溢出陷阱
FNV-1a 简单、速度快、分布好，且在 constexpr 下容易实现。关键点是：必须用无符号整型（如 uint32_t 或 uint64_t），否则左移/异或可能触发有符号溢出——这在 constexpr 上是未定义行为，GCC/Clang 会直接报错 error: call to non-constexpr function。
示例实现：
立即学习“C++免费学习笔记（深入）”；
constexpr uint32_t const_hash(const char* s, uint32_t h = 2166136261U) {
return *s ? const_hash(s + 1, (h ^ uint32_t(*s)) * 16777619U) : h;
}-
2166136261U是 FNV offset basis（32 位），必须带U后缀保证无符号 -
16777619U是 FNV prime，同样不能写成16777619（默认有符号 int） - 递归深度受编译器限制（Clang 默认约 512 层），超长字符串建议改用循环版
模板参数推导可免写 constexpr 函数调用
把哈希逻辑塞进非类型模板参数（NTTP），能更自然地“绑定”字符串到类型系统。C++20 支持以 const char[N] 为模板参数，无需手动调用函数：
template<auto& Str>
struct hash_type {
static constexpr uint32_t value = const_hash(Str);
};使用时：
constexpr char msg[] = "test"; using H = hash_type<msg>; // H::value 在编译期算出
- 优势：避免每次调用都写
const_hash("xxx")，且模板实例化天然强制编译期求值 - 限制：C++20 才支持
auto&NTTP；C++17 只能靠宏或显式模板参数传长度 - 注意：
msg必须有静态存储期（不能是函数内constexpr char[]，除非加static）
不同编译器对 constexpr 字符串处理的兼容性差异
MSVC 对 constexpr 字符串索引更宽松（允许 s[i] 即使 i 是变量），而 GCC/Clang 要求索引必须是常量表达式。所以循环版实现最好用指针偏移而非下标访问：
constexpr uint32_t loop_hash(const char* s) {
uint32_t h = 2166136261U;
while (*s) {
h = (h ^ uint32_t(*s)) * 16777619U;
++s;
}
return h;
}- ✅
*s和++s在所有主流编译器中都被接受 - ❌
s[i]在 GCC 12+ 中可能触发error: array subscript is not a constant expression - 性能上无差别，但可移植性更高
真正麻烦的是跨平台一致的哈希值——FNV-1a 的 32 位结果在大小端上完全一致，但如果你换用 DJB2 或自定义算法，务必确认所有目标平台用同一份 constexpr 实现，否则模板特化或 if constexpr 分支可能因哈希值不同而意外走错路径。
