Является ли законным объявление объекта constexpr initializer_list?

В качестве вопроса, который возник при обсуждении этого SO-вопроса:

Является ли это законным, возможно, с N3471, чтобы объявить объект constexpr std::initializer_list? Пример:

constexpr std::initializer_list<int> my_list{};

Почему я думаю, что это может быть не законным: initializer_list должен быть буквальным типом; но есть ли какие-либо гарантии, что это буквальный тип?

Цитаты из N3485.

[dcl.constexpr]/9:

Спецификатор constexpr, используемый в объявлении объекта, объявляет объект как const. Такой объект должен иметь буквальный тип и должен быть инициализирован.

литеральные типы типов, [basic.types]/10, типы подпункта:

тип класса (раздел 9), который имеет все следующие свойства:
он имеет тривиальный деструктор,

каждый вызов конструктора и полноэкранное выражение в элементарных элементах для нестатических данных (если они есть) является константным выражением (5.19),

это тип агрегата (8.5.1) или имеет хотя бы один конструктор конструктора или конструктора constexpr, который не является конструктором копирования или перемещения, и

все его нестатические элементы данных и базовые классы являются нелетучими литералами.

Бонусные точки;) для ответа, если

constexpr std::initializer_list<int> my_list = {1,2,3,4,5};

является законным (со ссылками). Хотя я думаю, что это описано выше + [dcl.init.list]/5

Ответ 1

Обновление: Ситуация немного усложнилась после того, как разрешение CWG DR 1684 удалило указанное требование ниже. Более подробную информацию можно найти в эту дискуссию в списке рассылки std-обсуждения и в соответствующем вопросе Почему не `std:: initializer_list` определяется как тип литерала?

[decl.constexpr]/8:

Спецификатор constexpr для нестатической функции-члена, которая не является конструктором, объявляет, что функция-член является константой (9.3.1). [...] Класс, членом которого является член, должен быть буквальный тип (3.9).

Следовательно, изменения гарантии N3471 std::initializer_list будут буквальными.

Обратите внимание, что constexpr ctor не требует, чтобы std::initializer_list был литеральным типом, см. [dcl.constexpr]/4 + 8. Замечание: объект нелитерального типа с constexpr ctor может быть инициализирован при постоянной инициализации [basic.start.init]/2] (часть статической инициализации, выполняемая до любой динамической инициализации).