编译期查找本质是类型匹配，依赖模板偏特化、SFINAE或constexpr if，在实例化时静态选中分支，要求数据为类型或constexpr字面量，不支持运行时变量。
编译期查找的本质是类型匹配，不是运行时遍历
编译期查找不依赖 std::find 或循环，而是靠模板偏特化、SFINAE 或 C++17 的 constexpr if 驱动编译器在实例化时“选中”匹配的分支。关键在于：所有数据必须是类型或字面量常量（constexpr），不能是运行时变量。
典型场景包括：从类型列表中查找某类型是否存在、在元组中按索引或类型取值、根据枚举值静态分发函数指针。一旦涉及 std::vector 或用户输入，就已脱离编译期范畴。
用 std::tuple + 可变参数模板实现按类型查找
这是最常见且可读性较好的方式：把候选类型打包进 std::tuple，再用递归模板或折叠表达式展开比对。
常见错误是直接对 tuple_element_t 做 == 比较——类型不能用等号比较，要用 std::is_same_v。
立即学习“C++免费学习笔记（深入）”；
- 使用
std::index_sequence展开索引，逐个检查std::is_same_v<T, std::tuple_element_t<I, Tuple>> - 匹配成功时返回
std::integral_constant<size_t, I>，失败则触发 SFINAE（返回void或未定义） - C++20 起可用
requires约束替代部分 SFINAE，更清晰
template <typename T, typename Tuple, size_t... Is>
constexpr auto find_type_impl(std::index_sequence<Is...>) {
constexpr bool found = (std::is_same_v<T, std::tuple_element_t<Is, Tuple>> || ...);
if constexpr (found) {
return std::index_sequence<(std::is_same_v<T, std::tuple_element_t<Is, Tuple>> ? Is : 0)...>{};
} else {
static_assert(sizeof(T) == 0, "type not found in tuple");
}
}
用 constexpr 数组 + constexpr if 实现字面量查找
当查找目标是整数、字符或字符串字面量（C++20 std::string_view）时，可将数据存为 constexpr 数组，配合 constexpr if 展开比较。
注意：C++17 不支持 constexpr 字符串字面量作为模板参数，所以字符串查找需降级为 std::array<char, N> 或用宏生成唯一整型 ID。
- 数组必须声明为
constexpr，且元素类型支持字面量构造（如int、char、std::array<char,5>） - 查找函数本身必须是
constexpr，且参数也得是constexpr（否则编译失败） - 用
std::get<I>(arr)或arr[I]访问元素；避免用std::find，它不是constexpr
constexpr std::array<int, 4> values = {10, 20, 30, 40};
template <int V>
constexpr size_t find_in_values() {
for (size_t i = 0; i < values.size(); ++i) {
if constexpr (values[i] == V) return i;
}
static_assert(false, "value not found");
}
static_assert(find_in_values<30>() == 2);
容易被忽略的限制：模板参数不能是运行时值，也不能是浮点字面量
即使写了 template <auto V>，V 仍必须满足“核心常量表达式”要求：整型、枚举、指针、引用、std::nullptr_t。浮点数虽在 C++17 允许作非类型模板参数，但实际支持度差（GCC/Clang 对 double 模板参数仍有 bug），不建议用于查找逻辑。
另一个坑是误把 const int x = 5; 当作编译期常量——若 x 未加 constexpr，它只是 const-qualified lvalue，不能用于模板实参或 constexpr if 条件。
真正安全的只有：字面量、constexpr 变量、enum class 成员、模板形参本身。
