如題，數組第一個元素爲什麼要從零開始，而不從一開始？感覺這很反人類呀，正常來講，一個集合的開始，不應該從一嗎？
對於這個問題，我覺得可以從以下兩方面來考慮。
設計層面
我們先了解一下數組最基本的結構和尋址方式（即實現方式）。
現在市面上無論是C、Java、PHP，還是Go或者其他編程語言，他們數組的實現方式，應該都是一樣的：一段連續的內存。
數組在分配內存的時候，我們會知道數組的開始地址(PS:在目前下標爲零的情況下，也等同於數組的第一個元素的地址）；
因爲數組中每個元素的類型都是相同的，所以每種類型所佔的內存大小是固定的，因而導致數組中每個元素的所佔的內存大小都是相同的
由此我們可以得出，數組中每個元素地址的計算公式：
// n爲數組座標，x爲數組開始的內存地址，size爲每個元素的大小
array[n]的地址 = x + n * size
這是目前數組尋址的計算公式；
但是這是小標起始爲0的時候，假如我們想讓數組的起始下標變爲1，則公式會變成什麼樣呢？
//n爲數組座標，x爲數組開始的內存地址，size爲每個元素的大小
array[n]的地址 = x + (n - 1) * size
對比以上兩個公式，會發現，如果用下面的公式，僅僅是多了一個"n - 1"的運算！
要知道，數組是計算機語言的最最基本的組成單元，所有的計算機編程語言的其他組成部分，包括各種類庫，各種特殊的數據結構(如Golang的channel)和語法字段等，都是基於數組等這些最最基本的組成單元之上做的封裝；
假如我們把數組從1開始，對數組而言只是多了一步計算，但是，對於整個編程語言的系統而言，將會是多了無數次計算！所以：在編程語言的設計中，對於數組等這些最最基本的編程操作，要把效率做到極致！因此，數組的起始下標會是0開始。
歷史原因
還有一個比較重要的原因我覺得是歷史使然，當初初級編程語言數組的設計(例如C)，就是由零開始的；開發者們都熟悉了這種編程方式，導致後來陸陸續續出現的高級編程語言都延續了這個習慣。
