不能直接用裸指针管理S-Box内存，因其易导致悬空、重复释放或越界访问；std::unique_ptr配合数组删除器可确保安全释放，而static constexpr std::array适用于只读且生命周期固定的场景。
为什么不能直接用裸指针管理S-Box内存
裸指针（uint8_t*）在加密算法中管理S-Box看似简单，但极易引发悬空、重复释放或越界访问——尤其当多个轮函数共享同一S-Box、或需动态重置时。OpenSSL或自研AES实现中，memcpy误写成memmove、delete[]后继续解引用，都是常见崩溃源头。
- 编译器无法验证指针生命周期，
std::unique_ptr<uint8_t></uint8_t>能强制绑定资源所有权 - S-Box通常为256字节固定大小，用
std::array<uint8_t></uint8_t>更安全，但若需运行时选择不同S-Box（如支持SM4和AES混合模式），则必须动态分配 - 避免用
new uint8_t[256]+ 手动delete[]：异常抛出时易泄漏
std::unique_ptr 初始化S-Box的正确写法
必须显式指定数组删除器，否则std::unique_ptr默认调用delete而非delete[]，触发未定义行为。GCC/Clang在调试模式下可能报double free or corruption，但Release下静默崩溃。
std::unique_ptr<uint8_t[]> sbox{new uint8_t[256]};
// ✅ 正确：显式指定数组删除器
std::unique_ptr<uint8_t[], void(*)(uint8_t*)> sbox{
new uint8_t[256],
[](uint8_t* p) { delete[] p; }
};
// ✅ 更简洁：用 std::default_delete<uint8_t[]>
std::unique_ptr<uint8_t[], std::default_delete<uint8_t[]>> sbox{new uint8_t[256]};
- 初始化后立即填充：避免未初始化内存被误用，
std::fill(sbox.get(), sbox.get() + 256, 0) - 不要用
sbox.release()交出所有权——除非你明确要移交至C API（如某些硬件加速库要求裸指针） - 若S-Box需只读访问，对外暴露
const uint8_t*：return sbox.get();，不提供非const接口
多S-Box场景下如何避免指针混淆
国密算法常需并行维护AES-S-Box、SM4-S-Box、逆S-Box三套数据。用裸指针容易传错参数，例如把aes_sbox传给sm4_sub_bytes()导致加密结果全错，且无编译期检查。
- 为每类S-Box定义别名类型，利用类型系统隔离：
using AesSBox = std::unique_ptr<uint8_t[], std::default_delete<uint8_t[]>>; using Sm4SBox = std::unique_ptr<uint8_t[], std::default_delete<uint8_t[]>>;
- 构造函数强制初始化：
AesSBox make_aes_sbox() { auto box = AesSBox{new uint8_t[256]}; // 填充AES标准S-Box... return box; } - 禁止隐式转换：不提供
operator uint8_t*()，所有访问必须显式调用.get()
性能敏感路径下指针管理的取舍
在AES-NI未启用的嵌入式设备上，S-Box查表是热点。此时std::unique_ptr的间接访问（sbox.get()[input]）比全局static const uint8_t aes_sbox[256]多一次指针解引用，实测慢1.2%左右（ARM Cortex-M4，O2优化）。
立即学习“C++免费学习笔记（深入）”；
- 若确定S-Box只读且生命周期贯穿整个程序，优先用
static constexpr std::array<uint8_t></uint8_t>——编译期生成，零运行时开销 - 若需运行时加载（如从EEPROM读取定制S-Box），再用
std::unique_ptr，但查表前将uint8_t*缓存到局部变量：const uint8_t* local_sbox = sbox.get(); for (int i = 0; i < len; ++i) { out[i] = local_sbox[in[i]]; // 避免每次调用 .get() } - 切勿为“统一风格”强行在热路径用智能指针——密码学代码里，可预测的性能比抽象一致性重要得多
真正难的是在“需要动态切换S-Box”和“查表必须极致快”之间做权衡：要么接受一点间接成本，要么用函数指针表预绑定不同S-Box的查表函数，把分支判断提前到初始化阶段。
