C++数组下标为何从0开始？内存与历史解析

C++数组下标从0开始的原因主要有三点：一是内存寻址效率，索引直接对应偏移量，无需额外计算；二是与内存布局一致，索引i对应地址为起始地址加i*元素大小；三是历史沿袭，继承C语言设计，保持系统兼容性和一致性。

C++数组下标从0开始，其实并不是C++语言独有的设计，而是继承自C语言的特性。这种设计背后有其历史原因和内存布局上的逻辑支撑，并非随意而为。

数组名本质上是地址

在C/C++中，数组名本质上是一个指向数组首元素的指针。当你写 arr[i] 的时候，实际上是访问的是 *(arr + i)。如果下标从1开始，那每次访问第一个元素时就需要做一次减法：*(arr + i - 1)，这会带来额外的计算开销。

从0开始可以让索引直接对应偏移量，不需要额外调整。比如：

• arr[0] 就是起始地址；
• arr[1] 就是起始地址加上一个元素大小；
• 以此类推。

这样处理更符合底层内存操作的自然逻辑。

和内存布局紧密相关

数组在内存中是连续存储的。假设有一个 int arr[5]，每个 int 占4字节，那么整个数组占用20字节。如果数组起始地址是 0x1000，那么：

• arr[0] 地址是 0x1000
• arr[1] 地址是 0x1004
• arr[2] 地址是 0x1008
• ...

可以看到，索引值正好就是相对于起始地址的“偏移单元数”。这里“单元”指的是元素的大小。也就是说，arr[i] 实际上位于起始地址加上 i * sizeof(element) 的位置。

所以从0开始，让索引与偏移量一致，简化了寻址计算。

历史沿袭与系统一致性

C语言是早期为Unix操作系统开发的语言之一，它本身是为了贴近硬件、便于系统编程而设计的。在C语言诞生之前，一些汇编语言和早期高级语言（如BCPL）就已经采用从0开始的索引方式。

后来的很多语言（包括C++、Java、Python等）都延续了这一传统，主要是为了保持与C生态系统的兼容性，以及避免不必要的认知负担。毕竟程序员已经习惯了这种方式，改变反而会带来更多混乱。

另外，有些语言虽然允许自定义索引起点（比如Pascal），但在实际工程中并未普及，也容易造成理解上的歧义。

基本上就这些。数组下标从0开始，不是为了炫技或者故意与众不同，而是基于效率、逻辑一致性和历史惯性的综合考量。虽然看起来是个小细节，但理解它有助于更好地掌握底层编程机制。