Probleme mit dem Preprozessor. Er verrechnet sich! Oder mach ich was falsch?

Leo B. schrieb:
> #define TIMER0_TOP  (2*F_T0/F_PROG+1)/2        // clever runden

Da muss in der Ersetzung noch ein Klammerpaar drumrum.
Präprozessor berechnet ja an dieser Stelle keinen Wert, sondern er
setzt nur sukzessive alle rechten Seiten der Makros ein, und da
kommt ohne Klammer dann Mist raus.

Ich habe aber auch erst ein

1

avr-gcc -dM -E foo.c | sort | less

gebraucht, um das zu begreifen. ;-)

OK, das verstehe ich jetzt nicht ganz...
Soweit mir bekannt kennt der Preprozessor die "Punkt vor Strich"-Regel. 
Trotzdem funktioniert das Ganze mit Klammern da drum. Ich kanns nicht 
ganz nachvollziehen aber es klappt...

Danke Danke!

Und den Weg wie du da drauf gekommen bist muss ich mir morgen aneignen 
^^
Das " | sort | less" scheint mir noch recht interessant zu sein.

Danke nochmal!

Leo B. schrieb:

> OK, das verstehe ich jetzt nicht ganz...

Der Präprozessor rechnet erst im #if. Davor macht er nur 
Textersetzungen. Aus

1

#define TIMER0_TOP  (2*F_T0/F_PROG+1)/2

2

#define F_PROG_REAL (F_CPU/TIMER0_TOP/T0_PSC)

wird daher (vereinfacht)

1

#define F_PROG_REAL (F_CPU/(2*F_T0/F_PROG+1)/2/T0_PSC)

und das ist nicht eben nicht das Gleiche wie

1

#define F_PROG_REAL (F_CPU/((2*F_T0/F_PROG+1)/2)/T0_PSC)

Daraus leitet sich die Daumenregel ab, dass man Rechenausdrücke in 
#define immer einklammern sollte. Man weiss nie was sonst draus wird.

Für ähnliche Überraschungen ist übrigens auch dieser Code gut:

1

#define TRACE(x) if (trace) printf(x)

2

3

if (a > 100)

4

  TRACE("Sollte nicht vorkommen");

5

else 

6

  printf("Hallo");

weil sich das dem Compiler tatsächlich als

1

if (a > 100)

2

  if (trace) 

3

    printf(x);

4

  else 

5

    printf("Hallo");

darstellt.

Schreibt man statt dessen

1

#define TRACE(x) if (trace) { printf(x); }

dann kriegt man de fakto

1

if (a > 100)

2

  if (trace) { printf(x); }; 

3

else 

4

  printf("Hallo");

und damit einen Syntax Error.

Aus diesem Grund klammert man das gern als

1

#define TRACE(x) do{ if (trace) printf(x); }while(0)

Klaus Falser schrieb:

> Der Präprocessor rechnet nicht.

An exakt einer Stelle tut er es doch: im #if Statement.

Klaus Falser schrieb:
> Und wenn dort steht (10000000/8) dann wird beim AVR die 10000000 zuerst
> auf 16 bit integer gekürzt und dann (falsch) durch 8 dividiert.

Nein.
10000000 hat den Typ long, und auch die Division wird in long gemacht.

Stefan Ernst schrieb:
> Klaus Falser schrieb:
>> Und wenn dort steht (10000000/8) dann wird beim AVR die 10000000 zuerst
>> auf 16 bit integer gekürzt und dann (falsch) durch 8 dividiert.
>
> Nein.
> 10000000 hat den Typ long, und auch die Division wird in long gemacht.

Nicht so viel ich weiß.

10000000L ist eine Konstante vom Type long.
10000000  ohne L ist eine Konstante vom Type integer. Auf 32 bit 
Rechnern wird sie als integer darstellbar sein, auf 16 bit Rechnern 
nicht.
C spezifiziert 16 Bit als minimum für integer, deshalb ist auch auf 8 
Bit Rechnern ein int 16 bit lang.

Klaus Falser schrieb:

> 10000000L ist eine Konstante vom Type long.
> 10000000  ohne L ist eine Konstante vom Type integer.

Lexikalische Konstanten ohne Suffix sind vom kleinsten Typ in den sie 
problemlos reinpassen. Anfangend bei "int", bei hex/oct weiter mit 
"unsigned", dann "long", etc. Daher hängt es von der Zielmaschine ab, ob 
10000000 "int" oder "long" ist.

Das bedeutet übrigens auch, dass auf einer 16-Bit Zielmaschine 32768 
"long" ist, das vom Wert her identische 0x8000 aber "unsigned".