Начни просвещаться с https://stackoverflow.com/questions/7784758/c-c-multidimensional-array-internals например.

отсчёт с нуля - классика, остальное чистый синтакс-сахар. Ненужный сахар. ИМХО.

Индексная переменная более логична при переборе (нумерации) предметов: первый, второй, третий, четвёртый, пятый…

По крайней мере, нумерация квартир в домах начинается не с «0», а с номера «1».

Ноль нужен лишь при обозначении количества предметов: 0 предметов, 1 предмет, 2 предмета, 3 предмета, 4 предмета, 5 предметов…

🤦‍♂️

Ладно. Чему будет равно i в следующем коде?

constexpr int nth(const int* pi, int n) { return pi[n]; }

int main()
{
	constexpr int ia[2][2] = { 0, 1, 2, 3, };
	constexpr int i = nth(&ia[0][0], 3);
}

Ноль логичен в качестве смещения.

Ok, я тебя понял, почему ты считаешь так.

Но у нас есть то что элементы в массивах находятся подряд.

int main()
{
	constexpr int ia[2][2] = { 0, 1, 2, 3, };
	static_assert(&ia[0][0]+2 == &ia[1][0]);
}

и то что без constexpr никто никакой ошибки не видит.

Санитайзеры умны…

Есть над чем подумать…

Ok, я тебя понял, почему ты считаешь так.

Точно? И почему же?

Но у нас есть то что элементы в массивах находятся подряд.

Что это утверждение значит?

и то что без constexpr никто никакой ошибки не видит.

А почему при constexpr ошибка?

Есть над чем подумать…

Ага. Заодно попробуй доказать, что:

• выражение в твоём static_assert является константным
• что оно обязано вычисляться в true

(Я в курсе, что GCC, Clang и MSVC считают что оно константно и что значение его истинно. Только вот из стандарта это, похоже, не следует)

нельзя прибавлять к нулевому указателю

то есть static_cast<int*>(0) + 1 нельзя. а static_cast<int*>(1) + 1 уже можно?

static_cast<int*>(1) + 1

Это даже не скомпилируется.

Но там вообще ад, там если у тебя массив начинается по адресу XXX0:0000, то после увеличения адреса на 65536 байт ты окажешься в XXX1:0000, что на самом деле на 16 байт отстоит от начала массива

Ад — это когда публикуют такие вбросы. Это называлось large или huge memory model, когда указатель состоял из двух частей: сегмент и смещение. Тогда и в голову никому не приходило, что это стоит трактовать как 32-битное целое.

Если хочешь чего-то более приближенного к аду, посмотри, как в Spectrum происходила адресация пикселя.

Ок. (int*)1.

LLVM 10.0 (комментарий)

Возможно. Для обычного человека.

Но если учесть, что массив всё-таки где-то располагается, то для работы с адресами памяти лучше делать отсчёт с 0. Тут уже в человеческую интуицию вносят коррективы особенности аппаратной реализации.

NULL-поинтер - все нули на адресной шине. Память тоже можно рассматривать как массив байт/бит/слов и т.п.