История изменений

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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