std::hash 不能用于编译期哈希，因其 operator() 非 constexpr；c++20 前 string_view 构造亦非 constexpr；需用 consteval 函数（如 fnv-1a）或 nttp 实现编译期哈希。
为什么不能直接用 std::hash 做编译期哈希
std::hash 是运行时函数对象，所有重载的 operator() 都不是 constexpr（C++20 之前完全不可 constexpr；C++20 起部分标准库实现仍未保证其 constexpr 友好性）。试图在 constexpr 上下文中调用它会触发编译错误，例如：
constexpr size_t h = std::hash<std::string_view>{}("abc"); // ❌ 编译失败即使你用 std::string_view，其构造本身在 C++20 前也不是 constexpr —— 直到 C++20 才支持字面量字符串隐式转为 constexpr std::string_view。
用模板参数包展开 + constexpr 函数实现 FNV-1a
FNV-1a 是轻量、冲突率可控、适合编译期的哈希算法。关键在于：把字符串字面量作为非类型模板参数（NTTP）传入，或通过 consteval 函数解析字符数组。C++20 支持以 auto... 捕获字符串字面量的每个字符：
template <char... Cs>
consteval size_t fnv1a_hash() {
size_t hash = 14695981039346656037ULL;
((hash ^= Cs), (hash *= 1099511628211ULL))...;
return hash;
}使用方式：
static_assert(fnv1a_hash<'h', 'e', 'l', 'l', 'o'>() == 0x1d4e2c54e5f5b5a7ULL);但手动拆字符太麻烦。更实用的是配合用户定义字面量（UDL）：
template <size_t N>
consteval auto operator""_hash() {
constexpr char str[N] = {};
// 实际需从字面量推导内容 —— 这里简化示意；真实 UDL 需借助辅助结构
}
// 更推荐的方式是用 consteval 函数接收 string_view（C++20）：consteval size_t constexpr_hash(std::string_view s) {
size_t hash = 14695981039346656037ULL;
for (size_t i = 0; i < s.size(); ++i) {
hash ^= static_cast<unsigned char>(s[i]);
hash *= 1099511628211ULL;
}
return hash;
}✅ 这样可直接写：
constexpr size_t h = constexpr_hash("hello"); // ✅ OK in C++20
立即学习“C++免费学习笔记（深入）”；
NTTP 字符串（C++20）与兼容性陷阱
C++20 允许字符串字面量作为模板参数，但有严格限制：
- 必须是空终止的窄字符串（
const char*） - 长度含
\0，即"abc"是 4 字节 - 不能是运行时变量或堆上字符串
template <size_t N>
struct const_string {
char data[N];
consteval const_string(const char (&s)[N]) {
for (size_t i = 0; i < N; ++i) data[i] = s[i];
}
};
<p>template <size_t N>
consteval size_t hash_v(const_string<N> s) {
size_t h = 14695981039346656037ULL;
for (size_t i = 0; i < N - 1; ++i) { // skip \0
h ^= static_cast<unsigned char>(s.data[i]);
h *= 1099511628211ULL;
}
return h;
}</p><p>// 使用：
static_assert(hash_v({"hello"}) == 0x1d4e2c54e5f5b5a7ULL);⚠️ 容易踩的坑：
- 忘记减 1 导致把
\0算进哈希 - 在 C++17 或更低版本中误用 NTTP 字符串（编译直接报错）
- 模板实例化爆炸：不同长度/内容的字符串产生大量独立实例，增大编译时间和二进制体积
宏 + 模板混合方案（兼顾 C++17 兼容）
若项目需支持 C++17，无法用 std::string_view constexpr 构造，可用宏生成字符序列：
#define MAKE_STR_CONSTEXPR(s) []{ \
constexpr char _s[] = s; \
constexpr size_t _n = sizeof(_s) - 1; \
size_t h = 14695981039346656037ULL; \
for (size_t i = 0; i < _n; ++i) { \
h ^= static_cast<unsigned char>(_s[i]); \
h *= 1099511628211ULL; \
} \
return h; \
}()用法：
constexpr size_t h = MAKE_STR_CONSTEXPR("world"); // ✅ C++17 OK本质是立即调用 lambda，利用 lambda 内部的 constexpr 变量和循环完成计算。注意：宏内不能有分号结尾，且 _s 必须是字面量（否则 constexpr 失败）。
真正难的不是写对一个哈希函数，而是确保整个调用链——从字符串来源、到模板推导、再到后续用作数组大小或 switch case 值——每一步都落在 constexpr 语义允许的边界内。稍有越界，编译器就只报一句 “the value is not usable in a constant expression”，而不会告诉你哪一环断了。
