完美哈希是对静态键集构造的无冲突哈希函数，实现O(1)数组下标查找、零运行时开销；gperf可生成最小完美哈希表，适用于C++关键字等只读场景。
完美哈希（Perfect Hashing）是指一种**对特定静态键集构造的哈希函数，能在常数时间内完成查找，且完全避免冲突**——即每个键映射到唯一的槽位，查找时无需处理碰撞（如链地址法或开放寻址探测）。它不适用于动态增删的场景，但非常适合编译期已知、永不改变的字符串集合（比如关键字、枚举名、配置项名等）。
为什么C++里需要完美哈希？
标准std::unordered_map或std::map在查找时有平均O(1)或O(log n)开销，还带运行时内存分配和哈希计算。而完美哈希可做到：
- 零冲突 → 查找就是一次数组下标访问（O(1)且无分支）
- 无动态内存 → 表结构可全放在只读数据段（.rodata）
- 编译期确定 → 键集固定时，哈希表可在构建阶段生成，运行时零初始化开销
gperf：生成C/C++完美哈希表的经典工具
gperf是一个命令行工具，输入一组字符串（通常保存为文本文件），输出一段C或C++代码，包含一个静态哈希函数和一张紧凑的查找表。它默认使用“最小完美哈希”（Minimal Perfect Hashing），即哈希值范围恰好是[0, N)，N为键数量，空间利用率最高。
典型用法示例：
立即学习“C++免费学习笔记（深入）”；
# keywords.gperf
%language=C++
%readonly-table
%struct-type
%includes
struct Keyword { const char* name; int token; };
%%
if, TOKEN_IF
else, TOKEN_ELSE
while, TOKEN_WHILE
return, TOKEN_RETURN
执行：gperf -t keywords.gperf > keyword_hash.h
生成的keyword_hash.h中会包含：
- 静态数组
static const struct Keyword wordlist[] - 内联哈希函数
in_word_set(const char*, size_t)，直接查表返回匹配项指针或nullptr
你只需#include "keyword_hash.h"，调用in_word_set("if", 2)即可获得&wordlist[0] —— 零运行时哈希计算、无strcmp循环、无内存分配。
现代C++编译期哈希（constexpr hash）与完美哈希的区别
C++11起支持constexpr函数，C++17后常见手写编译期FNV-1a或DJB2哈希，例如：
constexpr uint32_t const_hash(const char* s, uint32_t h = 0) {
return *s ? const_hash(s + 1, (h << 5) + h + *s) : h;
}
static_assert(const_hash("hello") == 0x9628e74f);
但这只是“编译期可算的哈希”，不是完美哈希 —— 它仍可能冲突，不能保证唯一性。要真正实现编译期完美哈希，需配合元编程+SFINAE/模板递归，在编译时验证无冲突（如Boost.Hana早期实验、或C++20 consteval + 模板展开枚举），但复杂度高、可读性差、主流编译器支持有限。
所以实践中：
- 用
gperf生成静态完美哈希表 → 稳定、高效、零依赖、适合关键字/协议字段等 - 用
constexpr哈希做编译期字符串ID → 适合轻量标识（如日志级别名转int），但需自行处理冲突或加assert校验
基本上就这些。gperf不是银弹，但它在嵌入式、编译器前端、序列化框架等对启动时间/内存敏感的场景中，仍是不可替代的轻量级完美哈希方案。
