Мало сплю последнее время и тупею потому . Итак есть тип заданный typedef . Как проверить его соответствует он int или float (третьего не дано) - от этого будут зависеть остальные действия...

Что значит проверить? Чему задано, тому и соответствует. Типизация-то статическая. Или пример приведите, где этот вопрос возникает.

Sizeof()

Я бы рядом с typedef завел константу, например "#define TYPEFLOAT 0" и проверял ее значение.

Средствами препроцессора, похоже, никак - мне таких не известно.
На этапе компиляции можно попробовать воспользоваться фичами С++, а именно перегрузкой функций.

т.е. определить две функции, например:
int f( int x );
и
float f( float x );
и в этих функциях реализовать разные варианты в зависимости от типа. Компилятор разберётся какую из них вызвать, а линкер выбросит лишнее.

И?



вывод:



Это РС. На многих 32-разрядных платформах (ARM7, Blackfin и т.д.) будет ровно то же самое.


Вроде, про функции речи вообще не было.

Если надо статически разрешать вопрос, то для этого есть все средства - контроль типов. Если все же на рантайме, то в ++ есть такая фишка - RTTI. Но что-то мне подсказывает, что тут не тот случай.

если это gcc, то можно использовать typeof()

У меня такой код в случае несоответствия типа вообще выбрасывается. Браво компилятору (IAR). В случае совпадения типов остаётся только ядро IFa без сравнения.

Или так:

Оператор typeid возвращает ссылку на структуру type_info, которая содержит поля, позволяющие получить информацию о типе:
http://msdn.microsoft.com/en-us/library/fyf39xec.aspx

Не поверите В IAR-e выполняются сразу оба варианта внутри IFa. Когда же в typedef стоит int, то всё нормально.

IAR 4.20

Какой язык (С/С++) и что подразумевается под 'остальными действиями'?

Если С++ то можно воспользоваться шаблонным классом и его специализациями для int/float/etc

В книге А.Александреску "Современное проектирование на С++" этим вопросам уделено довольно много внимания.