编译期生成查找表必须用constexpr函数配合std::integer_sequence展开索引，声明为constexpr std::array，查表函数需constexpr+inline且索引为编译期常量，禁用std::vector等非字面量类型。
编译期生成查找表必须用 constexpr + 递归模板，不能靠运行时初始化
查表逻辑如果写在 main() 里或全局变量初始化中，哪怕用了 const，也大概率是运行时构造——尤其当表依赖模板参数（比如位宽、范围上限）时。真正压榨性能，得让整个数组在编译期就“固化”为常量数据段的一部分。
关键判断：只有所有元素都能被 constexpr 上下文求值，且数组本身声明为 constexpr，才能进只读内存。否则链接器看到的是未初始化的符号，加载时才填值。
- 用
std::array而非裸数组，它支持constexpr构造和索引 - 生成逻辑必须封装在
constexpr函数里，且 C++17 起支持if constexpr分支，避免无效实例化 - 递归深度超限？改用折叠表达式或
std::integer_sequence展开，绕过模板递归栈限制
std::integer_sequence 是最稳的索引生成器，比手写递归模板更少出错
手动写 make_lut<n-1></n-1> 这类递归模板，容易触发编译器模板深度限制（尤其 N > 512），而且错误信息晦涩——error: template instantiation depth exceeds maximum 这种报错根本看不出哪一层崩了。
std::integer_sequence 把索引打包成类型，用参数包展开，不产生中间模板实例，干净利落。
立即学习“C++免费学习笔记（深入）”；
- 生成 0..N 的序列：用
std::make_integer_sequence<:size_t n></:size_t> - 展开时用 lambda 捕获参数包，再用逗号运算符逐个计算并存入
std::array - C++20 可用
std::views::iota，但编译期不支持；别试
示例片段（C++17）：
template<std::size_t... Is>
constexpr auto make_sine_table_impl(std::index_sequence<Is...>) {
return std::array<float, sizeof...(Is)>{ static_cast<float>(std::sin(Is * 0.01))... };
}
constexpr auto sine_lut = make_sine_table_impl(std::make_index_sequence<1024>{});查表函数必须标 constexpr 且内联，否则编译器可能不优化掉边界检查
就算表本身是 constexpr，如果查表函数是普通函数，编译器可能保留数组越界断言（比如 std::array::operator[] 在 debug 模式下的检查），或者因调用约定引入跳转开销。
真正零开销的关键：让查表行为完全坍缩成一条内存读取指令（如 movss）。
- 查表函数必须是
constexpr+inline（或[[gnu::always_inline]]强制） - 索引参数必须是编译期常量（如字面量、
constexpr变量），否则退化为运行时分支 - 避免用
std::array::at()——它带异常抛出，无法constexpr - 直接用
arr[index]，前提是 index 类型匹配且已验证范围（可用static_assert在模板参数上卡死）
模板参数必须是字面量类型，std::vector 或动态分配绝对不行
有人想用 std::vector 先算再转成 std::array，这在编译期根本走不通：std::vector 构造函数不是 constexpr，其内部堆分配逻辑也不允许出现在常量表达式中。
所有参与编译期计算的数据结构，必须满足字面量类型（literal type）要求：析构函数平凡、所有成员可常量初始化、构造函数标记为 constexpr。
-
std::array、std::pair、自定义 POD 结构体可以；std::string、std::vector、含虚函数的类不行 - 浮点数虽是字面量类型，但不同编译器/平台对
constexpr float的支持程度不一（GCC 10+ 稳，MSVC 2019 部分函数受限），优先用double或整数缩放 - 模板参数若为非类型模板参数（NTTP），C++20 前只能是整型、指针、引用；C++20 起支持浮点和类类型，但实操中慎用——兼容性差
真正难啃的骨头不在语法，而在确认每个中间步骤都落在编译器能静态判定的路径上。稍有不慎，整个表就悄悄掉回运行时初始化。
