Python中的索引编号为什么要从0开始呢,这是有啥用意吗?

你有没有过这样的疑惑：为什么在编程世界里，数组、列表的索引总要从0开始？明明从1开始更符合人类的计数习惯，偏偏程序员们要“反其道而行之”。

其实这并不是程序员的“怪癖”，而是有着严谨的数学逻辑支撑，这个答案的源头，来自计算机科学巨匠Edsger W. Dijkstra——也就是提出最短路径算法的那位大神，他在1982年写下的经典短文《Why numbering should start at zero》（为什么编号应从0开始），早已把这个问题讲得明明白白。

四种区间表示，哪种才是最优解？

Dijkstra在文章中抛出了一个核心问题：

如果用不等式表示整数序列 2, 3, …, 12，有四种常见写法，哪一种才是最好的？

我们先来看这四种表示方式：

看似四种写法都能表达本意，但在严谨的逻辑层面，优劣立判。Dijkstra提出了四个核心论据，一步步筛选出了最优解。

论据一：差值等于序列长度，淘汰双闭/双开

好的区间表示，应该让上下界的差值恰好等于序列的长度。

a和b方案中，13-2=11、12-1=11，刚好是2到12这个序列的元素个数；而c方案12-2=10、d方案13-1=12，都无法直接通过差值得到长度，需要额外的加减1计算，既麻烦又容易出错。

这一轮，c、d方案直接被淘汰。

论据二：相邻子序列，能无缝衔接才是好设计

实际使用中，我们常常需要把一个序列拆成多个子序列，优秀的表示方式应该让前一个子序列的上界，恰好等于后一个子序列的下界。

比如按a方案，把2到12拆成2到8、8到13，写成[2,8)和[8,13)，拼接后完美还原原序列，无需任何调整；而如果用c、d方案，拼接时必须手动做±1的修正，稍不注意就会出现边界重叠或遗漏。

论据三：下界别用“非自然数”，淘汰左开右闭

自然数有明确的最小值（0或1），如果用“严格小于”作为下界（b、d方案），当我们要表示从最小自然数开始的序列时，下界就不得不写成-1——这个非自然数的数字，在Dijkstra的原文中被直言为“ugly”（丑陋的），违背了数学表达的简洁性。

这一轮，b方案也被淘汰。

论据四：空序列表示，也得符合自然数规则

最后一个检验标准，是对空序列的表示能力。

考虑从最小自然数出发、逐步缩小到空集的过程：如果用双闭的c方案，要表示空序列时，上界会被迫出现-1这个非自然数；而a方案的左闭右开区间，只需让上界等于下界（比如0≤i<0），就能合法表示空序列，完全符合自然数的逻辑规则。

经过四轮筛选，只有左闭右开的a方案通过了所有检验，Dijkstra在原文中直言：“We conclude that convention a) is to be preferred.（我们得出结论，惯例a是更优的选择）”。

左闭右开+从0开始，编程世界的黄金组合

确定了左闭右开的最优区间表示后，编号从0开始就成了顺理成章的选择。

当我们处理一个长度为N的序列，想用下标区分元素时：

• 若从1开始，下标范围是1 ≤ i < N+1，表达式多了一个“+1”，显得累赘；

• 若从0开始，下标范围直接是0 ≤ i < N，简洁且贴合左闭右开的规则，元素的下标恰好等于“序列中在它之前的元素个数”。

这套设计，也和我们常用的Python完美契合，让编程操作变得无比丝滑：

1. range(n) 直接生成n个元素，无需额外调整，比如range(5)就是0,1,2,3,4，刚好5个数字；

2. 列表切片a[i:j]的长度，直接等于j - i，比如a[2:5]的长度就是3，一眼就能算出；

3. 遍历长度为n的列表，for i in range(n)直接匹配0到n-1的索引，无需做任何转换；

4. 二分查找、数组分段等算法中，[lo, hi)的左闭右开区间能无缝拼接，彻底避免边界重叠、元素遗漏的问题。

这背后，还有一段有趣的“小插曲”

Dijkstra写下这篇经典短文，其实还有一个直接的“导火索”：他的一位数学系同事，当众指责年轻的计算机科学家们“迂腐”，仅仅因为他们习惯从零开始编号。

面对这样的指责，Dijkstra引用了Antony Jay的话霸气回应：

“In corporate religions as in others, the heretic must be cast out not because of the probability that he is wrong but because of the possibility that he is right.”

（在企业宗教和其他宗教中，异教徒必须被驱逐，不是因为他可能是错的，而是因为他可能是对的。）

这句话道破了一个真相：很多时候，人们抗拒新的惯例，并非因为它不合理，而是因为它打破了固有的思维定式。

影响深远的设计，早已融入编程的方方面面

Dijkstra的这篇短文，不仅解答了“编号为何从0开始”的问题，更深刻影响了后续编程语言的设计。

如今我们使用的C、Java、Python，其切片、range等设计，都完美体现了“左闭右开+从0开始”的思想；而早年的FORTRAN坚持从1开始编号，Pascal采用双闭区间，在Dijkstra看来，都是令人惋惜的设计，他在原文中只用一个词评价：“Pity!（可惜！）”。

从0开始的编号，看似是编程世界的一个小细节，却藏着“让逻辑更严谨、让操作更高效”的底层思维。这也正是计算机科学的魅力所在：每一个看似反直觉的设计背后，都有经过反复推敲的理性考量。

而这也给我们一个启示：跳出固有的思维定式，用逻辑和理性去审视习以为常的事情，往往能发现更优的解法。