数组下标从0开始是硬件效率选择，因arr[i]对应地址&arr[0]+i*sizeof(T)，省去减法；负下标合法但危险，本质是指针算术；多维数组和C字符串依赖0起点以避免额外运算和ABI重构。
因为 arr[i] 在底层就是 *(arr + i)，下标直接当偏移量用，省掉一次减法运算——这是硬件层面的效率选择，不是设计者拍脑袋定的。
数组名本质是首地址，下标就是偏移量
C++（继承自C）里，int arr[5] 的 arr 是个常量指针，值等于 &arr[0]。那么 arr[i] 的地址计算就是：&arr[0] + i * sizeof(int)。这个 i 不是“第几个”，而是“跳过几个元素”。
如果下标从1开始，就得写成 &arr[0] + (i - 1) * sizeof(int)，每次访问都多一次减法。在上世纪70年代的硬件上，这一步减法真会影响性能。
-
arr[0]→ 地址 =&arr[0] + 0 * 4（假设int占4字节） -
arr[1]→ 地址 =&arr[0] + 1 * 4 -
arr[2]→ 地址 =&arr[0] + 2 * 4
负数下标合法但危险
C++标准允许负数下标，只要最终地址落在合法内存范围内。比如：
立即学习“C++免费学习笔记（深入）”；
int arr[3] = {10, 20, 30};
int* p = &arr[1]; // p 指向中间元素
int x = p[-1]; // 合法，等于 arr[0]
int y = p[1]; // 合法，等于 arr[2]但这依赖你手动维护指针位置，极易越界。编译器不报错，运行时可能读到垃圾值或触发段错误。
- 负下标不是“倒着数”，而是以当前指针为基点的相对偏移
-
p[-1]等价于*(p - 1)，不是语法糖，是纯粹的指针算术 - 绝大多数工程代码禁止负下标，除非在底层内存操作（如 ring buffer 实现）中明确控制
多维数组和指针退化加剧了0起点的必要性
二维数组 int mat[2][3] 在传参时会退化成 int (*)[3]，而 mat[i][j] 展开后仍是基于首地址的两次偏移：*(* (mat + i) + j)。如果行下标从1开始，第一层就要先减1；列下标再减1——嵌套越多，额外运算越多。
更关键的是，C风格字符串 "abc" 本质是 char[4]，结尾 '\0' 在索引 3。若下标从1开始，长度计算、strlen 实现、strcpy 循环条件全得改，整个C标准库 ABI 都要重设计。
for (int i = 0; i 天然对应 <code>[0, n)半开区间，和迭代器、STL 容器完全对齐- 从0开始让
arr + i和&arr[i]恒等，消除歧义 - 试图“改成从1开始”只会增加间接层，比如 Pascal 的
Array[1..5]编译器内部仍要转成 0 起始的偏移
真正容易被忽略的点是：这不是语言特性，而是内存模型的自然投射。一旦你把 arr[i] 无意识当成“第 i+1 个”，就容易在指针运算、std::span 切片、或跨语言绑定（比如用 Rust FFI 调 C 函数）时漏掉那个隐含的 +1/-1 转换。
