避免在循环进入时跳过检查(许多现代语言允许循环具有零次迭代,但必须在进入时进行检查) 更好的SIMD化(将循环迭代分块处理,以便使用小向量进行处理) 删除下标范围检查(或诊断错误)(对于那些坚持要求的语言)