The Eiffel standard requires fields to be initialized on first access, so it is not necessary to perform default field initialization during object creation.
Стандарт Эйфеля требует, чтобы поля были инициализированы при первом доступе к ним, т.ч. нет необходимости осуществлять их инициализацию значениями по умолчанию во время создания объекта.