Приветствую.
Есть некий класс, который содержит в качестве полей большие массивы. Кроме того, есть и другие поля, которые надо инициализировать и есть рукописный конструктор, который готов провести эту инициализацию. Так как массивы инитить необязательно, то есть большое желание сократить код прошивки путем отказа от дефолтовой инициализации этих больших буферов (прошивка сокращается на объем равный размеру буферов, так как инициализирующий массив, который переписывается в РАМ в стартапе попросту отсутствует). Я обнадежился, надеясь добавить __no_init в описание поля класса, но конечно не прокатило, так как эта директива касается только объектов целиком. Тогда я объявил весь объект (глобальный) моего класса __no_init, а инициализацию нужных мне полей добавил явно в коструктор, прошивка сократилась, но конструктор не вызывается. Почему отсутствие инициализации всех полей класса приводит и к отказу вызывать конструктор (просто функция по сути)? Можно как-то выкрутиться из ситуации? А то очень уж хочется ничего не делая сократить прошивку на четверть.
Спасибо.
Полная версия этой страницы: __no_init и конструктор в С++
Форум разработчиков электроники ELECTRONIX.ru > Микроконтроллеры (MCs) > Cредства разработки для МК > IAR
Раз оно так много места занимает, то, наверно, в проекте имеется только один экземпляр класса? Тогда можно буфера сделать static-ами, и тогда, их можно будет сделать __no_init без проблем.
ЗЫ еще, если все поля класса объявить без инициализации, а нужные значения присвоить в конструкторе, то, по умолчанию, все будет иинициализировано нулями, и вся структура должна попасть в сегмент, инициализируемый нулями в стартапе циклом (типа сегмент NEAR_Z или zeroinit section)
ЗЫ еще, если все поля класса объявить без инициализации, а нужные значения присвоить в конструкторе, то, по умолчанию, все будет иинициализировано нулями, и вся структура должна попасть в сегмент, инициализируемый нулями в стартапе циклом (типа сегмент NEAR_Z или zeroinit section)
jorikdima
Может, убрать __no_init маcсивы из состава класса, сделать их глобальными, а конструктору этого класса передавать только указатель на массив?
Может, убрать __no_init маcсивы из состава класса, сделать их глобальными, а конструктору этого класса передавать только указатель на массив?
Цитата(jorikdima @ Jan 20 2011, 03:00) 
Приветствую.
Есть некий класс, который содержит в качестве полей большие массивы. Кроме того, есть и другие поля, которые надо инициализировать и есть рукописный конструктор, который готов провести эту инициализацию. Так как массивы инитить необязательно, то есть большое желание сократить код прошивки путем отказа от дефолтовой инициализации этих больших буферов (прошивка сокращается на объем равный размеру буферов, так как инициализирующий массив, который переписывается в РАМ в стартапе попросту отсутствует).
Есть некий класс, который содержит в качестве полей большие массивы. Кроме того, есть и другие поля, которые надо инициализировать и есть рукописный конструктор, который готов провести эту инициализацию. Так как массивы инитить необязательно, то есть большое желание сократить код прошивки путем отказа от дефолтовой инициализации этих больших буферов (прошивка сокращается на объем равный размеру буферов, так как инициализирующий массив, который переписывается в РАМ в стартапе попросту отсутствует).
Что-то я не понял, откуда оверхед. Если есть конструктор, то в нем программист явно указывает, что из представления класса инициализировать и как. Если инициализация массивов не нужна, так и не описывать ее, этот член просто не будет проинициализирован. Насколько я ничего не помню, как-то так.
Цитата(dxp @ Jan 20 2011, 09:51)
Что-то я не понял, откуда оверхед. Если есть конструктор, то в нем программист явно указывает, что из представления класса инициализировать и как. Если инициализация массивов не нужна, так и не описывать ее, этот член просто не будет проинициализирован. Насколько я ничего не помню, как-то так.
Чего-то я до конца не понимаю. Для начала несколько цитат из Страуструппа:
1. Глава 10.2.3 Конструкторы
Цитата
Если класс имеет конструктор, все объекты этого класса будут проинициализированны.
2. Глава 10.4.2 Конструкторы по умолчанию
Цитата
Конструктор по умолчанию, сгенерированный компилятором, неявно вызывает конструкторы по умолчанию для членов класса и конструкторы базовых классов. Например:
В этом примере переменная tt будет проинициализированна сгенерированным конструктором по умолчанию, который вызовет Table(15) (прим. Для класса Table определен конструктор с дефолтовым аргументом 15) для tt.t1 и каждого элемента tt.vt. С другой стороны, tt.i и элементы tt.vi не проинициализированны, потому что их тип не является классом. Причина различной обработки классов и встроенных типов заключается в требовании совместимости с С и в боязни вызвать дополнительные затраты времени на этапе выполнения.
Код
struct
{
int i;
int vi[10];
Table t1;
Table vt[10];
};
Tables tt;
{
int i;
int vi[10];
Table t1;
Table vt[10];
};
Tables tt;
В этом примере переменная tt будет проинициализированна сгенерированным конструктором по умолчанию, который вызовет Table(15) (прим. Для класса Table определен конструктор с дефолтовым аргументом 15) для tt.t1 и каждого элемента tt.vt. С другой стороны, tt.i и элементы tt.vi не проинициализированны, потому что их тип не является классом. Причина различной обработки классов и встроенных типов заключается в требовании совместимости с С и в боязни вызвать дополнительные затраты времени на этапе выполнения.
Что на деле. Я запустил MS Visual Studio и нарисовал там простой код:
Код
class JJ
{
private:
int y;
int e[3];
public:
JJ()
{
}
};
JJ j1;
void main()
{
JJ j2;
while(1);
}
{
private:
int y;
int e[3];
public:
JJ()
{
}
};
JJ j1;
void main()
{
JJ j2;
while(1);
}
Создается два объекта, один на стеке, один глобальный. Определен пустой конструктор по умолчанию, хотя это не играет никакой роли! В результате объект j1 полностью инитится нулями, а j2 не инитится.
Почему для j2 игнорируется цитата 1, а для j1 цитата два?
Цитата(jorikdima @ Jan 20 2011, 14:09)
Чего-то я до конца не понимаю. Для начала несколько цитат из Страуструппа:
Почему для j2 игнорируется цитата 1, а для j1 цитата два?
Почему для j2 игнорируется цитата 1, а для j1 цитата два?
Встроенные типы НЕ имеют конструкторов по умолчанию.
j1 скорее всего располагается в "zero-initialized" области
Цитата(Dima_G @ Jan 20 2011, 14:25)
Встроенные типы НЕ имеют конструкторов по умолчанию.
j1 скорее всего располагается в "zero-initialized" области
j1 скорее всего располагается в "zero-initialized" области
+1.
jorikdima
Конкретный компилятор разместил объект в обнуленной области памяти. А другой компилятор может этого не сделать. Поэтому рассчитывать на это нельзя. Вам же важно, чтобы не было оверхеда на инициализацию массива. Его и нет. Разве не так?
Цитата(dxp @ Jan 21 2011, 05:56)
Вам же важно, чтобы не было оверхеда на инициализацию массива. Его и нет. Разве не так?
Не так, видимо. Ибо разница в объеме кода, занимаемое ПО с __no_init и без различается на 5388 - 4146 = около 1K. Пусть даже __no_init убирает конструкторы (почему???), они у меня очень маленькие.
Пока я не смотрел откуда отрезается кусок кода, что за функция, стартап или что. Смогу только вечером, тогда и напишу продолжение. Спасибо.
Цитата(dxp @ Jan 21 2011, 08:56)
+1.
jorikdima
Конкретный компилятор разместил объект в обнуленной области памяти. А другой компилятор может этого не сделать.
jorikdima
Конкретный компилятор разместил объект в обнуленной области памяти. А другой компилятор может этого не сделать.
ЕМНИП, глобальные объекты всегда инициализируются нулем, если их конструктор не изменит значение объекта.
Точнее - глобальные объекты всегда создаются в инициализированной нулем области памяти
Цитата(jorikdima @ Jan 21 2011, 12:13)
Пока я не смотрел откуда отрезается кусок кода, что за функция, стартап или что.
Ставлю на стартап, инициализацию "zero-initialized" области
Цитата(jorikdima @ Jan 21 2011, 12:13)
Не так, видимо. Ибо разница в объеме кода, занимаемое ПО с __no_init и без различается на 5388 - 4146 = около 1K. Пусть даже __no_init убирает конструкторы (почему???), они у меня очень маленькие.
__no_init - это другая тема. Если есть возможность, пройдите отладчиком через конструктор - увидите, что он конкретно делает. Уверен, никакой инициализации массивов он не производит.
А __no_init, подозреваю, просто делает так, что конструктор объекта не вызывается вообще. Т.е. отсутствует и само тело конструктора, и его вызов из ctor_loop. Посмотрите кодогенерацию конструктора, нет ли там матершинных слов типа ??_operator_new (или чего-то в этом роде). Если есть, то это объясняет такой прирост размера.
Век живи, век учись 
А дело было так:
Я пишу на С++ и нередко пользуюсь виртуальными функциями, в данном проекте так же. Как устроена работа с виртуальными функциями можно прочитать тут. Так вот, как выясняется (в доке на компайлер про это ни слова) __no_init, судя по всему, для объектов пользовательских классов исключает вызов конструктора. То есть для массивов или других глобальных объектов обычных типов он просто не помещает их в секцию инициализируемых данных, а для пользовательских классов не вызывает конструктор. Это догадка, как я сказал в доке ни слова.
Классы, объекты которого я сделал __no_init , содержат виртуальные методы. Конструктор для этих объектов не вызывается! А это значит, что таблица виртуальных методов не заполняется и адреса моих виртуальных функций туда не попадают. Далее линкер видит, что переопределенные мои виртуальные функции никем не используются (конструктора то нету, помещающие их адреса в таблицу) и благополучно их выкидывает! Вот и минус 1к кода (код функций). Я был сбит с пути тем, что объем высвобождаемой памяти примерно равен размеру буферов в объектах, которые я пометил __no_init - это просто совпадение.
Всем спасибо.
А дело было так:
Я пишу на С++ и нередко пользуюсь виртуальными функциями, в данном проекте так же. Как устроена работа с виртуальными функциями можно прочитать тут. Так вот, как выясняется (в доке на компайлер про это ни слова) __no_init, судя по всему, для объектов пользовательских классов исключает вызов конструктора. То есть для массивов или других глобальных объектов обычных типов он просто не помещает их в секцию инициализируемых данных, а для пользовательских классов не вызывает конструктор. Это догадка, как я сказал в доке ни слова.
Классы, объекты которого я сделал __no_init , содержат виртуальные методы. Конструктор для этих объектов не вызывается! А это значит, что таблица виртуальных методов не заполняется и адреса моих виртуальных функций туда не попадают. Далее линкер видит, что переопределенные мои виртуальные функции никем не используются (конструктора то нету, помещающие их адреса в таблицу) и благополучно их выкидывает! Вот и минус 1к кода (код функций). Я был сбит с пути тем, что объем высвобождаемой памяти примерно равен размеру буферов в объектах, которые я пометил __no_init - это просто совпадение.
Всем спасибо.
Для просмотра полной версии этой страницы, пожалуйста, пройдите по ссылке.