编译期 Map 本质是类型列表加编译期查找逻辑，通过模板参数包模拟键值对序列，利用递归模板或变参展开实现 find、get 等操作，无运行时内存分配与开销。
编译期 Map 本质是类型列表 + 查找逻辑
编译期 Map 不是运行时容器，而是用模板参数包模拟键值对序列，配合递归模板或变参展开实现 find、get 等操作。它不分配内存，所有“查找”都在实例化时由编译器完成——失败则报错（SFINAE 或 C++20 requires 可控制）。
用 std::tuple + std::get 模拟最简编译期 Map
适用于固定键类型（如枚举或字面量类型），且键在编译期已知。核心思路：把键值对存为 std::tuple<:pair value>...></:pair>，再通过 std::get 或自定义 find_by_key 提取。
常见错误：直接对 std::tuple 调用 std::get<t></t> 会失败，因为 T 是类型而非索引；必须先找到对应索引（靠模板递归或 C++17 折叠表达式）。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 用
constexpr函数辅助推导索引（C++14+），或用std::integer_sequence展开匹配 - 键类型必须支持
operator==且为字面量类型（constexpr可比较） - 避免键重复——编译器不会报重定义错误，但
find行为未定义（通常返回第一个匹配）
template <typename Key, typename Value>
struct kv {
using key_type = Key;
using value_type = Value;
constexpr kv(Key k, Value v) : key{k}, value{v} {}
Key key;
Value value;
};
template <typename... KVs>
struct map {};
template <typename Key, typename... KVs>
constexpr auto get_value(const map<KVs...>&) {
// 简化版：只支持第一个匹配，且 Key 必须能 constexpr 比较
if constexpr (sizeof...(KVs) == 0) {
static_assert(sizeof(Key) == 0, "key not found");
} else if constexpr (std::is_same_v<Key, typename std::tuple_element_t<0, std::tuple<KVs...>>::key_type>) {
return std::tuple_element_t<0, std::tuple<KVs...>>{}.value;
} else {
return get_value<Key>(map<KVs...>{});
}
}
C++20 模式：用 consteval + requires 实现安全查找
consteval 强制函数只能在编译期求值，配合 requires 可让查找失败时给出清晰错误信息（而非模板实例化崩溃）。
性能影响：无运行时开销；但过深的递归模板可能触发编译器深度限制（如 GCC 默认 900 层），需用迭代式展开（std::index_sequence）替代纯递归。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 把键值对存为非类型模板参数（NTTP，C++20）可进一步减少类型膨胀，例如
template <auto... keys typename... values> struct map</auto...> - 使用
static_assert包裹requires条件，使错误提示指向调用点而非模板深处 - 避免在
consteval函数中使用std::string_view以外的字符串——C++20 对字面量字符串支持仍有限
为什么不用 std::map<key value></key> 的静态实例？
那是运行时初始化的全局对象，不属于编译期计算。即使声明为 constexpr，std::map 构造函数不是 constexpr（C++20 前），且其内部红黑树结构无法在编译期构造。
容易踩的坑：
- 误以为
constexpr std::map m = {...}是编译期 Map——实际是运行时零初始化后构造，且多数编译器不支持 - 把模板参数包长度当作“O(1) 查找”——实际是 O(N) 模板实例化深度，N 过大时编译极慢甚至失败
- 忽略键类型的
constexpr可比性：比如自定义类若没定义constexpr operator==，if constexpr分支无法进入
真正复杂的编译期 Map 往往需要结合 boost::mp11 或手写类型擦除式元函数，但绝大多数场景，一个带 find 和 insert 的二元组列表 + consteval 查找就足够了。
