Законно ініціалізувати масив у конструкторі constexpr?

Чи законний наступний код?

template <int N>
class foo {
public:
    constexpr foo()
    {
        for (int i = 0; i < N; ++i) {
            v_[i] = i;
        }
    }

private:
    int v_[N];
};

constexpr foo<5> bar;

Кланг приймає це, але GCC та MSVC відкидають це.

Помилка GCC:

main.cpp:15:18: error: 'constexpr foo<N>::foo() [with int N = 5]' called in a constant expression
   15 | constexpr foo<5> bar;
      |                  ^~~
main.cpp:4:15: note: 'constexpr foo<N>::foo() [with int N = 5]' is not usable as a 'constexpr' function because:
    4 |     constexpr foo()
      |               ^~~
main.cpp:4:15: error: member 'foo<5>::v_' must be initialized by mem-initializer in 'constexpr' constructor
main.cpp:12:9: note: declared here
   12 |     int v_[N];
      |         ^~

Якби цей код був у порядку, я міг би скоротити досить багато використання index_sequences.

Тривіальна ініціалізація за замовчуванням була заборонена в constexprконтексті до C ++ 20 .

Причиною, я здогадуюсь, є те, що легко «випадково» прочитати з примітивів, ініціалізованих за замовчуванням, акт, який надає вашій програмі невизначену поведінку, а вирази з невизначеною поведінкою прямо заборонені до використання constexpr( посилання ). Мова була розширена, хоча тепер компілятор повинен перевірити, чи відбувається таке зчитування, і, якщо цього немає, слід прийняти ініціалізацію за замовчуванням. Це трохи більше роботи для компілятора, але (як ви бачили!) Має значні переваги для програміста.

У цьому документі пропонується дозволити ініціалізацію за замовчуванням для тривіально сконструйованих типів за замовчуванням у контекстах constexpr, продовжуючи забороняти виклик невизначеної поведінки. Коротше кажучи, до тих пір, поки не зчитуються неініціалізовані значення, такі стани повинні бути дозволені в constexpr як у купі, так і у стеку, виділених сценаріях.

Оскільки C ++ 20, законно залишати v_"неініціалізованими" такі, як у вас. Потім ви продовжували присвоювати всі його елементи значення, що чудово.