typeinfo + IAR v.5.11B, Как пользоваться? Опции

[alux]

Редактирование переменных типа double реализовал при помощи виртуальных функций. Какую именно переменную редактировать указывается при помощи указателя pValue, в которую передается адрес переменной :

Код

volatile double* pValue;            // Указатель на редактируемый параметр
volatile double __eeprom* pValueEE; // Указатель на редактируемый параметр в EEPROM
volatile double* param[] = {&area, &Kt, &Y0};
volatile double __eeprom* paramEE[] = {&ee_area, &ee_Kt, &ee_Y0};
..................
class TEditValue
{
public:
  void Up()       // k_right
  {

       if(pValue-- == *param) pValue = *(param+2);
       if(pValueEE-- == *paramEE) pValueEE = *(paramEE+2);
       ......................................... // какие-то действия при нажатии кнопки UP
       ftoa(*pValue, lcd_buf, 3, 0);
  }
  
  void Down()     // k_left
  {
      .................
  }
  
  void Right()    // k_enter
  {
     *pValue = round_to_pow(atof(lcd_buf), -3);  // округлить до 3 знака после запятой
     *pValueEE = *pValue;       // сохранить отредактированную переменную в EEPROM
  }
  
  void Numeric()  // 0...9
  {
          ..............
   }
};

// Функция, вызываемая при входе в пункт меню
void Level1Item1Sub1sub1_Func(void)
{
  TCritSect cs;
  
  pValue = *param;        // &area;
  pValueEE = *paramEE;    // &ee_area;
.............
}

Это все работает. Но теперь возникла необходимость реализовать почти те же действия для переменных типа unsigned char. Первое, что пришло на ум, использовать указатель void* pValue. Когда необходимо редактировать переменную типа unsigned char (при входе в соответствующий пункт меню), то указатель приводится к типу (unsigned char*).
Но возникает вопрос, как привести к конкретному типу указатель pValue в реализации виртуальной функции? Т.е. определение типа происходит в runtime. В C++ есть механизм динамического определения типа во время выполнения программы при помощи операции typeid и класса type_info. В IAR v.5.11B есть даже соответствующий заголовочный файл <typeinfo>. Но при использовании ее компилятор выдает ошибки

Error[Pe878]: Embedded C++ does not support run-time type information C:\Program Files\IAR Systems\Embedded Workbench 5.0\avr\INC\DLIB\typeinfo 62
Error[Pe020]: identifier "typeid" is undefined D:\Sasha\MyWork\IAR projects\device\include\tasks.h 351

Для чего нужен этот файл, если нельзя им пользоваться? И как мне решить проблему с редактированием разных типов переменных посредством одного указателя?

PS. Создание второго класса для редактирования переменных unsigned char типа не предлагать.

[alux]

Получается, врут учебники:

Для указателя на объект неопределённого типа не существует способа непосредственной перенастройки указателя на следующий объект с помощью операции инкрементации. В операторе, реализующем операции инкрементации и декрементации, только с помощью операций явного преобразования типа можно сообщить транслятору величину, на которую требуется изменить первоначальное значение указателя.

pUndefPointer++; // Это неверно, инкрементация не определена…
(int *)pUndefPointer++; // И так тоже ничего не получается…
((int *)pUndefPointer)++; // А так хорошо… Сколько скобок!
++(int *)pUndefPointer; // И вот так тоже хорошо…

Я же вначале так и делал...

PS. И еще. Применима ли операция sizeof() к указателю типа void*, проинициализированному адресом переменной?

Код

if(sizeof(pValue) == sizeof(double*)) {...}

PS2. 2 moderator. Эту тему можно перенести в раздел Помощь начинающему.

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

Получается, врут учебники:

Получается, врут. Старые компиляторы пропускали, новые - уже нет. Касаемо именно указателя на void было отдельное ограничение в стандарте.

PS. И еще. Применима ли операция sizeof() к указателю типа void*, проинициализированному адресом переменной?

Применима, но совершенно бессмысленна. Ибо указатель имеет одинаковый размер независимо от того, на что он указывает. Т.е. ваше сравнение будет давать истину для любого указателя, неважно на что он указывает.

В вашем случае просятся шаблоны.

[alux]

Применима, но совершенно бессмысленна.

Я так и думал.

В вашем случае просятся шаблоны.

Если бы реализация отличалась бы только типом данных... А то для переменных типа double используется функция ftoa, а для целочисленных itoa. Да и количество переменных может быть разным, что влечет за собой разную реализацию для переменных разных типов.
Получается, можно лишь передавать информацию о типе в качестве параметра... Или есть варианты?

PS. Я вижу выход только в использовании глобальной переменной bool real, с помощью которой передавать информацию о типе (double или unsigned char) и в реализации функции в зависимости от значения real выполнять нужные действия для конкретных типов..

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

Если бы реализация отличалась бы только типом данных... А то для переменных типа double используется функция ftoa, а для целочисленных itoa.

Можно написать две специализации шаблона для каждого из типов, можно ftoa и itoa "обернуть" в шаблон... Можно написать абстрактный базовый класс с виртуальной функцией ToString, и от него производные классы-шаблоны с параметрами double и char, а в вашей функции редактирования использовать эту виртуальную функцию.

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

Это недопонял.