数组下标自循环检测指通过模运算实现索引自动折返的机制，核心是用((index % n) + n) % n处理负数，封装为模板函数cyclic_at可避免越界与类型错误，需特别注意n=0和2的幂优化场景。
什么是“数组下标自循环检测”
这不是标准术语，而是开发者在实现环形缓冲区、状态机跳转表或索引映射时，常遇到的实际问题：给定一个数组 arr 长度为 n，当访问下标 i 时，希望自动折返——比如 i = n 时回到 0，i = -1 时回到 n-1，形成逻辑上的“循环”。关键不是用循环结构，而是让单次下标计算自带模循环语义。
用 % 运算符做正向循环但需防负数
C++ 的 % 是**截断除法余数**，不是数学模运算。对正数安全：5 % 4 == 1；但对负数会出错：-1 % 4 == -1（而非期望的 3）。直接写 index % n 在索引可能为负时不可靠。
- 正确做法是先归一化再取模：
((index % n) + n) % n - 更高效写法（适用于已知
abs(index)不超2n）：(index >= 0 ? index : index + n) % n - 若
index来自用户输入或计算中间值，必须处理负数分支，否则越界访问未定义行为
用 std::vector + 封装函数避免重复出错
手动写模表达式易漏括号、顺序错或类型隐式转换（如 size_t 和 int 混用导致无限循环）。推荐封装：
template <typename T, typename I>
T& cyclic_at(std::vector<T>& v, I index) {
const auto n = static_cast<I>(v.size());
if (n == 0) throw std::out_of_range("empty vector");
const auto normalized = ((index % n) + n) % n;
return v[normalized];
}
- 模板支持任意整型索引
I（int、long、ptrdiff_t），避免size_t与负数比较陷阱 - 不依赖
std::modulo（C++26 才有），兼容 C++11 起所有标准 - 返回引用而非值，避免不必要的拷贝，也支持赋值：
cyclic_at(vec, -1) = 42;
性能和边界场景提醒
看似简单的一次模运算，在高频循环中（如音频采样环形读写）仍值得抠细节：
立即学习“C++免费学习笔记（深入）”；
- 编译器通常能将
((i % n) + n) % n优化为条件移动指令（cmov），但若n是 2 的幂，用i & (n-1)更快——但仅限i >= 0场景 - 若数组长度固定且已知（如
int buf[1024]），可把n设为 constexpr，部分模运算可能被编译期折叠 - 最易忽略的是：当
n == 0时，任何模运算都非法。生产代码中必须检查空容器，不能假设调用方已校验
循环下标本质是人为赋予线性内存以环形语义，它不改变内存布局，只改变你解释它的角度。一旦忘了负数或零长边界，operator[] 就会立刻撕开这层纸。
