防止数组越界访问是内存安全底线，真正降开销在于让编译器或运行时省掉冗余检查：将边界验证提至循环外、缓存长度、用编译期约束替代运行时判断、信任可控输入、借助底层机制绕过检查。
防止数组越界访问本身不是为了“减少边界检查开销”，而是内存安全的底线要求；真正能降低开销的，是在确保安全的前提下，让编译器或运行时**省掉重复、冗余的检查动作**。关键不在于删检查，而在于让检查只做一次、做在对的地方。
把边界验证提前到循环外部
多数冗余检查发生在循环体内——每次访问都重新比对索引和长度。其实只要循环变量的取值范围被严格限定在合法区间内，内部检查就可消除。
- 写法上，先验证 start ≥ 0 且 end < array.Length，再进入循环
- 避免在 for 条件里反复读 .Length（尤其对交错数组，.Length 是属性调用，非编译时常量）
- 对嵌套结构，外层长度缓存一次，内层也单独缓存，不要写成
arr[i].Length放在内层 for 条件中
用编译期约束替代运行时判断
对固定大小的缓冲区、配置表、查找表等，尽可能把尺寸和索引合法性交给编译器判断。
- 使用 _Static_assert 检查初始化数据是否适配数组容量
- C语言可用 __builtin_constant_p + 宏展开 实现“常量索引自动校验”：编译时越界直接报错，变量索引则退化为普通访问
- C# 中可配合 const int 和 Span<T> 的切片操作（如
span.Slice(start, length)），一次校验后后续访问无额外开销
信任可控输入，收缩检查范围
不是所有索引都需要全量检查。区分可信路径与外部输入路径，能大幅精简关键循环。
- 协议解析、中断处理等场景中，索引来自硬件寄存器或校验后的报文字段——这类值若已通过 CRC/长度域双重验证，可跳过重复范围判断
- 对内部计算生成的索引（如哈希桶号、状态机转移下标），用断言 assert(idx < table.Length) 替代 if 判断，调试期捕错，发布版可关闭断言
- 避免混合 signed/unsigned 类型比较（如
int i与size_t len），隐式转换可能绕过预期检查逻辑
借助底层机制绕过检查开销
某些高性能场景允许在受控前提下“跳过”默认安全机制，换取确定性性能。
- C# 中对栈分配的 Span<T> 或 stackalloc 内存，JIT 可基于作用域和不可逃逸分析省略部分检查
- 启用 [SkipLocalsInit] 属性可减少局部变量初始化开销，间接提升边界检查相关代码的相对占比效率
- Lua 虚拟机等自研运行时，可通过循环不变量提取 + 索引范围推导，在 IR 层直接删除冗余 check 指令
