... или типы классов POD или массивы типов классов POD, которые прямо или косвенно сами содержат член с квалификацией const. Но да, ваши главные дела.
Для вашего (3) это применимо, только если есть объявленные пользователем конструкторы, отличные от конструктора по умолчанию. Если конструкторов, объявленных пользователем, вообще нет, тогда элемент может быть инициализирован по умолчанию, если он не указан в списке инициализаторов.