Я придумал выход из ситуации, который меня устраивает. Дело в том, что класс настроек
у меня болтается не просто так, а управляется повторно-используемым классом синглетона.



Класс Options в конструкторе только заполняет все настройки дефолтными значениями. И
класс Options реализует функцию init(). Но если IsAllowDefault == false в целом синглетон
ведёт себя так, как будто из конструктора Options при ошибке вылетело исключение. А если
IsAllowDefault == true, то синглетон ведёт себя так, как будто была вызвана функция init().

Т.е. двумя вариантами реализации из моего первого поста я управляю настраивая класс
Singleton. И могу легко переключаться между поведениями: 1) исключение из конструктора
2) вызов функции init().

Приятно, то что функция Options::save() вызывается в классе Singleton. Т.е. в классе Options
не нужно следить за тем, а были ли мы успешно загружены, а если были то в деструкторе
Options вызовем save(). И виртуальный метод Options::save() нужно было вызывать именно в
деструкторе клиентского класса Options, этот метод нельзя было вызывать в деструкторе
базового класса OptionsBase, по понятным причинам. Теперь деструктор Options пустой.

И теперь всем жизненным циклом управляет класс Singleton и поведение настраивается
через шаблонные параметры этого класса.