编译期字符串哈希是在编译阶段将字符串字面量计算为常量整数，依赖constexpr函数实现，无需运行时开销；支持FNV-1a等算法，可配合模板元编程做类型分派与零成本查表。
编译期字符串哈希，是指在编译阶段就将字符串字面量（如 "hello"）计算出哈希值，生成一个常量整数，整个过程不依赖运行时，也不产生任何运行时开销。它依赖 C++11 起引入的 constexpr 函数能力，并在 C++14/C++17 后日趋成熟和实用。
核心原理：constexpr 函数 + 字符串字面量参数
C++17 起支持将字符串字面量作为非类型模板参数（NTTP），但更通用、兼容性更好的方式是用 constexpr 函数接收字符数组（以引用形式传入），在编译期遍历字符并计算哈希。
- 函数必须声明为
constexpr，且所有操作（循环、算术、下标访问等）都需满足编译期可求值要求 - 典型做法是把字符串作为模板参数推导长度，或通过
std::string_view（C++17）+constexpr构造器传入 - 常用哈希算法如 FNV-1a、DJB2、SDBM 都可改写为 constexpr 版本，关键是避免分支、动态内存和不可预测的控制流
实用写法示例（C++17，无宏，纯 constexpr）
以下是一个安全、可读、支持任意长度字符串字面量的编译期哈希实现：
constexpr uint32_t const_hash(const char* str, uint32_t h = 2166136261U) {
return *str ? const_hash(str + 1, (h ^ uint32_t(*str)) * 16777619U) : h;
}
// 用法：编译期得到整数字面量
static_assert(const_hash("abc") == 0x5fa023c7U);
注意：递归深度受编译器限制（如 GCC 默认约 512 层），对超长字符串建议改用 for 循环（C++14 起允许 constexpr 函数含循环）；也可用模板展开（如 sizeof...(Chars)）完全规避递归。
立即学习“C++免费学习笔记（深入）”；
与模板元编程协同：类型级字符串索引
编译期哈希最强大的地方在于能将字符串映射为唯一整型，进而用于模板分派或类型选择，例如构建编译期字符串到类型的映射表：
- 定义一组结构体，每个用哈希值作为模板参数特化：
struct type_by_hash{ using type = Config; }; - 配合
if constexpr（C++17）做编译期分支：if constexpr (hash == const_hash("log")) { ... } - 结合
std::array或std::tuple实现编译期字符串字典，零成本查表
注意事项与常见坑
不是所有字符串都能参与编译期哈希——关键看其“是否为字面量”以及“生命周期是否足够早”：
- 仅限字符串字面量（
"abc"）、constexpr char[]数组，不能是运行时构造的std::string或指针变量 - 使用
std::string_view时，必须确保其构造本身是constexpr的（C++17 要求底层数据静态存储） - 不同编译器对 constexpr 递归/循环深度、支持的 STL 类型（如
std::string_view::data()是否 constexpr）有差异，建议封装成头文件并加static_assert校验 - 哈希冲突虽小概率存在，但在编译期用途中若用于类型分派，建议增加编译期断言校验唯一性
基本上就这些。它不复杂但容易忽略细节——重点不在“怎么写哈希算法”，而在于让整个表达式链路全程保持 constexpr 可达性。用好它，能让配置解析、反射模拟、状态机定义等场景真正零运行时开销。
