Symbolische Konstanten in anderen Typ umwandeln

[Andreas B. (andreas_b395)]

Hallo,

für meinen WS2812 Treiber habe ich etliche Berechnungen mit dem 
Präprozessor durchgeführt. Danach frage ich ab, ob das Ergebnis der 
Berechnung negativ geworden ist. In den Berechnungen fließt auch die 
Konstante F_CPU mit ein. Auf den Typ der Konstante habe ich leider 
keinen Einfluss, da diese dem Compiler mit übergeben wird.

Für mich ergibt sich folgendes Problem:

Funktioniert:

#define F_CPU   5L
#define ZAHL    8

#if ((F_CPU - ZAHL) < 0)
#error
#endif

Funktioniert leider nicht:

#define F_CPU   5UL
#define ZAHL    8

#if ((F_CPU - ZAHL) < 0)
#error
#endif

Gibt es irgendeine Möglichkeit den Typ der symbolischen Konstante zu 
ändern?

Gruß Andreas

[user (Gast)]

#define macht nur eine textuelle Ersetzung, somit hat das keinen Typ

[Carl D. (jcw2)]

Einfach ZAHL mal als 8UL auch schon probiert?

Welcher Compiler?

[Stefan E. (sternst)]

#if (ZAHL > F_CPU)
#error
#endif

[Andreas B. (andreas_b395)]

user schrieb:
> #define macht nur eine textuelle Ersetzung, somit hat das keinen
> Typ

In #if Derektiven kann der Präprozessor auch rechnen. Genau da scheint 
es mir so, als würde das Ergebnis als unsigned Interpretiert, sobald 
eine Konstante unsigned ist.

[Markus L. (rollerblade)]

https://gcc.gnu.org/onlinedocs/gcc-3.0.2/cpp_4.html#SEC38

[Andreas Burnickl (Gast)]

Carl D. schrieb:
> Einfach ZAHL mal als 8UL auch schon probiert?
>
> Welcher Compiler

Ich nutze GCC. Das funktioniert natürlich auch nicht.

[Andreas Burnickl (Gast)]

Markus L. schrieb:
> https://gcc.gnu.org/onlinedocs/gcc-3.0.2/cpp_4.html#SEC38

Das Problem gab es hier schon mal für die Kalkulation einer Baudrate. 
Lässt sich nicht lösen. Sobald eine Konstante unsigned ist, ist der 
ganze Ausdruck unsigned. Gibt keine Möglichkeit wieder auf signed zu 
casten.

[Rolf M. (rmagnus)]

Andreas B. schrieb:
> user schrieb:
>> #define macht nur eine textuelle Ersetzung, somit hat das keinen
>> Typ
>
> In #if Derektiven kann der Präprozessor auch rechnen. Genau da scheint
> es mir so, als würde das Ergebnis als unsigned Interpretiert, sobald
> eine Konstante unsigned ist.

Das ist nicht nur dort so. Auch außerhalb des Preprozessors wird bei 
einer arithmetischen Operation zwischen unsigned int und signed int 
letzterer auch nach unsigned konvertiert und dann die Operation 
vorzeichenlos durchgeführt. Nur kann man außerhalb des Präprozessors 
casten, so dass beide Operanden signed sind. Der Präprozessor kennt aber 
keine Casts, deswegen geht das bei #if nicht.