Приветствую.
Есть некий класс, который содержит в качестве полей большие массивы. Кроме того, есть и другие поля, которые надо инициализировать и есть рукописный конструктор, который готов провести эту инициализацию. Так как массивы инитить необязательно, то есть большое желание сократить код прошивки путем отказа от дефолтовой инициализации этих больших буферов (прошивка сокращается на объем равный размеру буферов, так как инициализирующий массив, который переписывается в РАМ в стартапе попросту отсутствует). Я обнадежился, надеясь добавить __no_init в описание поля класса, но конечно не прокатило, так как эта директива касается только объектов целиком. Тогда я объявил весь объект (глобальный) моего класса __no_init, а инициализацию нужных мне полей добавил явно в коструктор, прошивка сократилась, но конструктор не вызывается. Почему отсутствие инициализации всех полей класса приводит и к отказу вызывать конструктор (просто функция по сути)? Можно как-то выкрутиться из ситуации? А то очень уж хочется ничего не делая сократить прошивку на четверть.
Спасибо.

Раз оно так много места занимает, то, наверно, в проекте имеется только один экземпляр класса? Тогда можно буфера сделать static-ами, и тогда, их можно будет сделать __no_init без проблем.

ЗЫ еще, если все поля класса объявить без инициализации, а нужные значения присвоить в конструкторе, то, по умолчанию, все будет иинициализировано нулями, и вся структура должна попасть в сегмент, инициализируемый нулями в стартапе циклом (типа сегмент NEAR_Z или zeroinit section)

jorikdima
Может, убрать __no_init маcсивы из состава класса, сделать их глобальными, а конструктору этого класса передавать только указатель на массив?

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

Чего-то я до конца не понимаю. Для начала несколько цитат из Страуструппа:
1. Глава 10.2.3 Конструкторы

2. Глава 10.4.2 Конструкторы по умолчанию


Что на деле. Я запустил MS Visual Studio и нарисовал там простой код:


Создается два объекта, один на стеке, один глобальный. Определен пустой конструктор по умолчанию, хотя это не играет никакой роли! В результате объект j1 полностью инитится нулями, а j2 не инитится.
Почему для j2 игнорируется цитата 1, а для j1 цитата два?

Встроенные типы НЕ имеют конструкторов по умолчанию.
j1 скорее всего располагается в "zero-initialized" области

+1.

jorikdima
Конкретный компилятор разместил объект в обнуленной области памяти. А другой компилятор может этого не сделать. Поэтому рассчитывать на это нельзя. Вам же важно, чтобы не было оверхеда на инициализацию массива. Его и нет. Разве не так?

Не так, видимо. Ибо разница в объеме кода, занимаемое ПО с __no_init и без различается на 5388 - 4146 = около 1K. Пусть даже __no_init убирает конструкторы (почему???), они у меня очень маленькие.
Пока я не смотрел откуда отрезается кусок кода, что за функция, стартап или что. Смогу только вечером, тогда и напишу продолжение. Спасибо.

ЕМНИП, глобальные объекты всегда инициализируются нулем, если их конструктор не изменит значение объекта.
Точнее - глобальные объекты всегда создаются в инициализированной нулем области памяти



Ставлю на стартап, инициализацию "zero-initialized" области

__no_init - это другая тема. Если есть возможность, пройдите отладчиком через конструктор - увидите, что он конкретно делает. Уверен, никакой инициализации массивов он не производит.

А __no_init, подозреваю, просто делает так, что конструктор объекта не вызывается вообще. Т.е. отсутствует и само тело конструктора, и его вызов из ctor_loop. Посмотрите кодогенерацию конструктора, нет ли там матершинных слов типа ??_operator_new (или чего-то в этом роде). Если есть, то это объясняет такой прирост размера.

Век живи, век учись
А дело было так:
Я пишу на С++ и нередко пользуюсь виртуальными функциями, в данном проекте так же. Как устроена работа с виртуальными функциями можно прочитать тут. Так вот, как выясняется (в доке на компайлер про это ни слова) __no_init, судя по всему, для объектов пользовательских классов исключает вызов конструктора. То есть для массивов или других глобальных объектов обычных типов он просто не помещает их в секцию инициализируемых данных, а для пользовательских классов не вызывает конструктор. Это догадка, как я сказал в доке ни слова.
Классы, объекты которого я сделал __no_init , содержат виртуальные методы. Конструктор для этих объектов не вызывается! А это значит, что таблица виртуальных методов не заполняется и адреса моих виртуальных функций туда не попадают. Далее линкер видит, что переопределенные мои виртуальные функции никем не используются (конструктора то нету, помещающие их адреса в таблицу) и благополучно их выкидывает! Вот и минус 1к кода (код функций). Я был сбит с пути тем, что объем высвобождаемой памяти примерно равен размеру буферов в объектах, которые я пометил __no_init - это просто совпадение.
Всем спасибо.