You could have “empty arrays” in a language if you wanted. The real reason is that you start with an offset of zero as you read an array from memory at hardware level, and so this way address is just “start address + element size * element number”.