История изменений
Исправление wandrien, (текущая версия) :
Добавить по сути конструктор в каждому типу, который будет инициализировать всё? Это ровно то что я написал.
Нет, там не в этом суть.
Там в том суть, что:
- В conforming режиме реализация должна инициализировать объекты на стеке некоторым значением, если они не имеют конструктора по умолчанию. Такие объекты при этом всё еще считаются «неинициализированными».
- Ей следует, но не строго обязательно, уметь обнаруживать случаи «use before init» и репортить по ним диагностики при сборке.
- Может переключаться в non-conforming режим, в котором имеет старое поведение без инициализации.
Да, это полумеры. Но это грамотные полумеры с учётом наличия огромных кодовых баз.
Исходная версия wandrien, :
Добавить по сути конструктор в каждому типу, который будет инициализировать всё? Это ровно то что я написал.
Нет, там не в этом суть.
Там в том суть, что:
- В conforming режиме реализация должна инициализировать объекты на стеке некоторым значением, если они не имеют конструктора по умолчанию.
- Ей следует, но не строго обязательно, уметь обнаруживать случаи «use before init» и репортить по ним диагностики при сборке.
- Может переключаться в non-conforming режим, в котором имеет старое поведение без инициализации.
Да, это полумеры. Но это грамотные полумеры с учётом наличия огромных кодовых баз.