Глюк ИАРа или мой?, Почему ИАР не дает проинициализировать статический атрибут класса Опции

[lamerok]

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

Эскизы прикрепленных изображений

 

[lamerok]

Вот что получается... в мар файле Мои переменные лежат в коде сегменте

Код

NEAR_C
  Relative segment, address: CODE 00000406 - 00000411 (0xc bytes), align: 0
  Segment part 9.             Intra module refs:   cClassDirector::cClassDirector()
           ENTRY                   ADDRESS         REF BY
           =====                   =======         ======
           cClassDirector::initialVoltValueRange
                                   0000040A
           cClassDirector::initialCurValueRange
                                   0000040E
           cClassDirector::initialTestValue
                                   00000406

а в ассемблере берутся из ОЗУ....

Код

internalVolt = initialUSLValue;
   \   000000D8   ....               LDI     R30, LOW(??initialVoltValueRange)
   \   000000DA   ....               LDI     R31, (??initialVoltValueRange) >> 8
   \   000000DC   8100               LD      R16, Z
   \   000000DE   8111               LDD     R17, Z+1
   \   000000E0   8122               LDD     R18, Z+2
   \   000000E2   8133               LDD     R19, Z+3
   \   000000E4   01FC               MOVW    R31:R30, R25:R24
   \   000000E6   5AE6               SUBI    R30, 166
   \   000000E8   4FFF               SBCI    R31, 255
   \   000000EA   8300               ST      Z, R16
   \   000000EC   8311               STD     Z+1, R17
   \   000000EE   8322               STD     Z+2, R18
   \   000000F0   8333               STD     Z+3, R19

И что это ИАР сделал, то что я ему написал

[IgorKossak]

Вот что получается... в мар файле Мои переменные лежат в коде сегменте

Код

NEAR_C
  Relative segment, address: CODE 00000406 - 00000411 (0xc bytes), align: 0
  Segment part 9.             Intra module refs:   cClassDirector::cClassDirector()
           ENTRY                   ADDRESS         REF BY
           =====                   =======         ======
           cClassDirector::initialVoltValueRange
                                   0000040A
           cClassDirector::initialCurValueRange
                                   0000040E
           cClassDirector::initialTestValue
                                   00000406

а в ассемблере берутся из ОЗУ....
...
И что это ИАР сделал, то что я ему написал

NEAR_C это сегмент данных-констант, лежащий как раз там, где ему указано лежать линкером. А это может быть во внешней ПЗУ/ЕЕПРОМ/ФЛЕШ/и как ни странно ОЗУ. Проверьте настройки командного файла линкера.
В любом случае доступ к ней как к памяти данных, а не программы, потому и через Z.

(Сергей Борщ @ May 16 2007, 13:59)

Такое в С++ делать можно. Раз вы этого не знаете - последуйте своему совету:

См картинку раздел 4........

В выделенном Вами разделе речь идёт об интегральных (т. е. целых) и перечислимых типах, но никак не о плавающей точке.

[lamerok]

NEAR_C это сегмент данных-констант, лежащий как раз там, где ему указано лежать линкером. А это может быть во внешней ПЗУ/ЕЕПРОМ/ФЛЕШ/и как ни странно ОЗУ. Проверьте настройки командного файла линкера.

Хочу чтобы константы лежали во ФЛЕШЕ. Но компилятор сам расположил в КОДЕ сегменте(ФЛЕШЕ), а читает из ОЗУ.. непорядок...
Согласен, я могу добиться, чтобы все было во флеше, поставив keyword __flash. Перед объявлением константных членов класса. И компилятор верно прочитает из ФЛЕШ. Код приводить не буду.. но читает из флеш по адресу статических констант членов класса.

Могу добится чтобы они были в ОЗУ. Просто убрал в настройках компилятора --string_literals_in_flash и компилятор верно расположил все в ОЗУ и прочитал из ОЗУ.
Но не пойму что мешает компилятору заменить все на просто число..???.Зачем нужно выделять под static const память, не важно где(в ОЗУ или флеше)...Для каких целей???
Ведь он позволяет сделать это для nonstatic constant (подставить число). (Что запрещено стандартом (проинициализировать их в декларации класса))

В любом случае доступ к ней как к памяти данных, а не программы, потому и через Z.
В выделенном Вами разделе речь идёт об интегральных (т. е. целых) и перечислимых типах, но никак не о плавающей точке.

Это многое объясняет... Все верно... получается флоат нельзя инициализировать в объявление класса.
Спасибо, в споре рождается истина.

[Сергей Борщ]

Но компилятор сам расположил в КОДЕ сегменте(ФЛЕШЕ), а читает из ОЗУ.. непорядок...

"Вася, ты зачем сломал игрушку?" "А оно САМО"
Компилятор САМ ничего не делает. Он лишь тупо выполняет то, о чем вы его попросили.

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

Ведь он позволяет сделать это для nonstatic constant (подставить число). (Что запрещено стандартом (проинициализировать их в декларации класса))

Ну хорошо, попробуйте найти разницу в двух словосочетаниях: "nonstatic constant" и "nonstatic constant member". Nonstatic constant никакого отношения к классам не имеет, в отличие от nonstatic constatnt member. Что ж вы все никак не поймете, что если вы завели в классе нестатический член, то размер класа должен (обязан) увеличиться на размер этого члена (плюс выравнивание), даже если этот член read-only (константный).
И лишь только если член статический, то он существует один на все объекты этого класса и поэтому память под него выделяется отдельно в количестве один штука на все объекты этого класса. И если этот статический член - константа, то вы можете ее проинициализировать в объявлении класса. Это гарантирует, что во всех .cpp, в которые вы включите определение этого класса константа будет иметь одно и то же значение. Из этого же следует, что значение этого статического константного члена известно компилятору в момент компиляции каждой единицы компиляции и этот факт дает возможность компилятору (но не обязывает) подставить куда надо значение этого члена не резервируя память. Или же вы только объявляете статический константный член в объявлении класса а определяете и инициализируете его где-то в другом месте (.cpp) и тогда компилятор безусловно выделит под него память, но внутри этого файла с момента когда значение константы ему известно может использовать значение инициализирующей константы не читая перемеенную.
А инициализировать статический константный член разными значениями в разных единицах компиляции нельзя, потому что разные функции класса могут находиться в разных единицах компиляции но все должны работать с одинаковым (вплоть до значения констант) объектом.

[lamerok]

Что ж вы все никак не поймете, что если вы завели в классе нестатический член, то размер класа должен (обязан) увеличиться на размер этого члена (плюс выравнивание), даже если этот член read-only (константный).

Дак как раз это я почти пойму..... Компилятор (IAR 4.21A)этого не поймет. Побробуйте скомпилить вот это... и проверить размер класса сClassDirector

Код

// Class.h
class cClass
{
     public:
      float getInternalVoltRange(void) const { return internalVoltRange; }
      float getInternalCurRange(void) const { return internalCurRange; }
      float getInternalTest(void) const { return internalTest; }

   private:
      float internalVoltRange;
      float internalCurRange;
      float internalTest;


      const float initialVoltValueRange  = 800.0f;  // Что за вата??? Почему так можно вообще делать???
      const float initialCurValueRange  = 0.40f;  
      const float initialTestValue  = 0.0f;
};

а потом вот это

Код

// ClassDirtector.h
class cClassDirector
{
   public:
      float getInternalVoltRange(void) const { return internalVoltRange; }
      float getInternalCurRange(void) const { return internalCurRange; }
      float getInternalTest(void) const { return internalTest; }

   private:
      float internalVoltRange;
      float internalCurRange;
      float internalTest;


     static const float initialVoltValueRange;
     static const float initialCurValueRange;  
     static const float initialTestValue;
};

Размер класса одинаковый в обоих случаях.

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

Согласен, но только, если статический член - константа не floating point. Что выяснилось сегодня (Спасибо IgorKossak)

Это гарантирует, что во всех .cpp, в которые вы включите определение этого класса константа будет иметь одно и то же значение. Из этого же следует, что значение этого статического константного члена известно компилятору в момент компиляции каждой единицы компиляции и этот факт дает возможность компилятору (но не обязывает) подставить куда надо значение этого члена не резервируя память. Или же вы только объявляете статический константный член в объявлении класса а определяете и инициализируете его где-то в другом месте (.cpp) и тогда компилятор безусловно выделит под него память, но внутри этого файла с момента когда значение константы ему известно может использовать значение инициализирующей константы не читая перемеенную.

Хммм... Почти согласен ... проведу еще пару экперементов.... подумаю...

А инициализировать статический константный член разными значениями в разных единицах компиляции нельзя, потому что разные функции класса могут находиться в разных единицах компиляции но все должны работать с одинаковым (вплоть до значения констант) объектом.

Согласен, компилятор просто не позволяет этого сделать. Пишет что он уже проинициализирован.

Ещё раз повторяю, NEAR_C расположен не в КОДЕ сегменте, а в DATA сегменте. Как это обычно заявлено в командном файле

Ну специально задал

Код

-Z(CODE)NEAR_C=_..X_INTVEC_SIZE-_..X_FLASH_END

Чтобы все константы сувались в CODE

[Сергей Борщ]

Код

-Z(CODE)NEAR_C=_..X_INTVEC_SIZE-_..X_FLASH_END

Чтобы все константы сувались в CODE

А теперь вспомните, в каком порядке происходит построение программы: сначала компилятор компилирует файл, и для обращения ко всем переменным без квалификатора __flash использует команды доступа в ОЗУ (LD, LDS, ST, STS). Именно квалификатором __flash вы указываете ему, что переменная( ) будет лежать во флеш и ее нужно читать через LPM. Потом объектные файлы линкер "склеивает" в один большой проставляя желаемые вами адреса. А если вы компилятору сказали одно, линкеру-другое, то кто после этого вам злобный Буратина?

[lamerok]

А теперь вспомните, в каком порядке происходит построение программы: сначала компилятор компилирует файл, и для обращения ко всем переменным без квалификатора __flash использует команды доступа в ОЗУ (LD, LDS, ST, STS). Именно квалификатором __flash вы указываете ему, что переменная( ) будет лежать во флеш и ее нужно читать через LPM.

Проверил на 4.21А - Правда ваша.
На 4.12А, о чудо - работает так как я хочу... т.е. подставка числа, не резервирует память под static const член класса. В map файле ни слова про них (initialVoltValueRange и т.д.).