Вопрос, можно ли как-то средствами расширения языка, а также параметрами и скриптами линкера (IAR ARM 5.xx) задать посделовательность инициализации (вызовов конструкторов) глобальных объектов?
То есть, например:

Если объекты объявляются в одной единице трансляции, то гарантируется тот порядок их создания, в котором они объявлены.

TSlon slon;
TMamont mamont;

slon будет создан первым, mamont за ним.

Если объекты объявлены в разных единицах трансляции, то тут порядок создания не гарантируется. Избавиться от зависимости создания в этом случае можно дополнительными ухищрениями - например, с помощью singleton'а.

В свое время отказался от раздумий по очередности вызова конструкторов глобальных объектов.
Сейчас использую следующую схему:
1) Собственно сам конструктор
2) Этап Init()
3) Этам Run()

В самом конструкторе объект ведет себя изолированно от внешнего мира. Категорически не допускается взаимодействия с другими объектами (они у меня зачастую в другой единицы трансляции)
На этапе Init() происходит "налаживание связей" между объектами (обмен информацией, финальная инициализация и тд). На этапе Run() запускаются таски, включаются прерывания и тд.
Этапы Init и Run запускаются из main, что гарантирует создание глобальных объектов к этому моменту.



Либо возможен другой вариант: использование паттерна Singleton. Тогда обращение к объекту будет гарантировать его наличие

Вызывать отдельно Инит для каждого объекта - это надо не забыть об этом.
Иногда (и зачастую) объект создается просто глобально, а потом живет своей жизнью. Дополнительные init и run - потенциальная возможность забыть их сделать, соответственно допустить ошибку, которую потом возможно будет трудно поймать.
Объект, который мне нужно заинитить первым - он один в системе.
Точнее нужно вызвать инициализацию ОС, чтобы в конструкторах всех глобальных объектов можно было использовать функции ОС по созданию сервисов (семафоров, очередей и т.п.). Иначе нужно разносить в каждом классе создание объекта и его инициализацию - это достаточно трудоемко.

На самом деле я маленько слукавил Если на пальцах, то у меня юсается следующая архитектура:
1) Реализована система широковещательных посылок. Те посылка (объект) не имеет адресата, она лишь имеет характеристику "тип посылки". (те посылки могут иметь тип "int", тип "ClSlon" и тд - типом посылки может быть любой тип, который может быть параметром шаблона (особенности реализации)). Объекты могут подписываться на определенный тип сообщений. Адресант сообщений ничего не знает об адресатах.
2) Есть сообщения типа "Init", "Run"
3) Все сервисы наследуются от базового класса, который подписан на сообщения Init, Run и при их получении вызывает свои виртульные методы.

Соответственно, в main-е я просто посылаю широковещательные сообщения, а сервисы их ловят и происходят необходимые действия. Таким образом я исключаю возможность "забыть проинициализировать" объект. Да и вообще - я в main-е ничего о них не знаю



Тогда прямая дорога - использование синглетонов. Самый простейший (не самый лучший) способ:



В крайней строчке мы вызываем метод объекта, причем не имея самого объекта. Он будет создан при первом вызове и не будет продублирован при последующих.

Что-то как-то сложно. Я делаю проще:

singleton.h:

А определение

заменяю на


И телемаркет

Да то же самое
А, если не секрет, почему noinline?

Компилятор ругался, что не удалось заинлайнить.

А дело в том, что паттерн singleton по своей сути должен гарантировать что в системе будет существовать только один объект данного класса. Если же не объявить упомянутый в примере uart_t как наследник singleton'a и не сделать у него приватных конструкторов, как это сделано у Dima_G, то компилятор разрешит сделать так:

Получим 3 объекта класса uart_t. Значит автор кода должен помнить, что создавать объеты данного класса напрямую низя.
В варианте от Dima_G на уровне копилятора гарантируется, что объект класса ClSingleObject будет единственный и наплодить других не получится.

В догонку.


Использование ссылки uart, проинициализированной динамически - может быть засада. Насколько я помню, такая инициализация выполняется чуть ли не самой последней. И, например, конструктор некоторого объекта, использующего в своем теле uart, обломается.
Синглетоны на то и синглетоны. Обращаться к ним всегда надо именно через instance().

Понятно, спасибо за разъяснения.



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