Problem mit Operator und Strukturen

Gast #5481667
Lesenswert?

Hallo!

Habe ein Problem bei der Verwendung des ? Operators in einem Makro, wenn 
man als Argument eine Variable einer Struktur angibt:

Bsp.:
Makro:
1
#define CHECK_NULL_SET(check, set, valTrue, valFalse)   (!check) ? set = valTrue : set = valFalse;
Code:
1
CHECK_NULL_SET(*checkVal, structure.setVal, 5, 8);
Präprozessorergebnis:
1
(!*checkVal) ? structure . setVal = 5 :  structure . setVal = 8;

Dann gibt es natürlich Compilerfehler, da " . " (mit zusätzlichen 
Leerzeichen vorne- und hintendran) natürlich Schwachsinn ist.

Was mache ich denn falsch?

Danke & Grüße
Jochen
(Firma: @home) #5481805
Lesenswert?

hi,
die struct ist kein problem und gcc compiliert das makro problemlos, 
wenn richtig definiert!

#define CHECK_NULL_SET(check, set, valTrue, valFalse) set = !check? 
valTrue : valFalse


mt


p.s.
vielleicht doch mal nachlesen über die grundlagen von c ...

schon mal gesehen?

#define ... do{...}while(0)
Gast #5481815
Lesenswert?

Bei Makros immer jeden einzelnen Parameter sowie den gesamten Ausdruck 
in Klammern setzen!

Der Sinn des Makros erschließt sich mir allerdings nicht. Den Code kann 
man ohne Makro sogar kürzer schreiben:
1
CHECK_NULL_SET(*checkVal, structure.setVal, 5, 8);
1
structure.setVal = !*checkVal ? 5 : 8;
1
structure.setVal = *checkVal ? 8 : 5;
(Firma: @home) #5481833
Lesenswert?

Peter schrieb:
> Bei Makros immer jeden einzelnen Parameter sowie den gesamten Ausdruck
> in Klammern setzen!

ja ja, wird immer gerne geschrieben und nicht verstanden ...

die parameter in klammern ...
ist nur notwendig, wenn diese auch als ausdrücke auftretten können und 
wer nicht weiss, was morgen kommt setzt diese halt immer in klammern.

der gesamte ausdruck in klammern ...
wenn's eine vollständige anweisung wie hier ist, dann
in gcc

({...}) == do{...}while(0)

oder was immer geht do{...}while(0)

wenn man das nicht macht kann dieses makro z.b. nicht in for/if blöcke 
gesetz werden sondern nur als einzelanweisung

wenn das makro auch wieder nur als variable/parameter gesetzt wird, dann 
in runde klammern!


mt
Persönliche Seite #5481849
Lesenswert?

In C++ kann man sich solche Probleme ersparen:
1
#include <iostream>
2

3
template <typename T>
4
inline T& CHECK_NULL_SET (bool check, T& set, const T& valTrue, const T& valFalse) {
5
  if (check)
6
    return set = valFalse;
7
  else
8
    return set = valTrue;
9
}
10

11
struct S {
12
  int a;
13
};
14

15
int main () {
16
  bool checkValA = false;
17
  bool* checkVal = &checkValA;
18
  S structure;
19
  CHECK_NULL_SET (*checkVal, structure.a, 5, 8);
20
  std::cout << structure.a << std::endl;
21
}
Die Invertierung von "check" ist komisch, aber so übernommen...
Moderator #5481862
Lesenswert?

Apollo M. schrieb:
> wenn's eine vollständige anweisung wie hier ist, dann
> in gcc
>
> ({...}) == do{...}while(0)
>
> oder was immer geht do{...}while(0)

Den Do-While-Trick braucht man nur, wenn das Makro mehrere (durch
Semikolon getrennte) Anweisungen enthält und sein Aufruf wie ein
Funktionsaufruf aussehen soll. Auf jeden Fall sollte man aber das
abschließende Semikolon in der Makrodefinition weglassen, da sonst im
folgenden Beispiel eine Fehlermeldung auslöst wird:

1
#define MACRO(x) ...;   // <- dieses Semikolon stört
2

3
if(...)
4
  MACRO(...);
5
else
6
  ...
#5489936
Lesenswert?

Jochen schrieb:
> Dann gibt es natürlich Compilerfehler, da " . " (mit zusätzlichen
> Leerzeichen vorne- und hintendran) natürlich Schwachsinn ist.

Ist es das? Ich sehe da keinen Grund dafür. Vor und nach Operatoren 
sollten eigentlich beliebig viele Whitespaces problemlos möglich sein.
Folgendes läuft bei mir dementsprechend fehlerfrei durch den Compiler:
1
struct
2
{
3
    struct
4
    {
5
        int i;
6
    } b;
7
} a;
8

9
int main()
10
{
11

12
    a        .
13
         b                    .       i = 3;
14
}

Antwort schreiben

Bitte melde dich an, um einen Beitrag zu schreiben.

oder

Mit Google-Account einloggen

Die Registrierung ist kostenlos und dauert nur eine Minute.

Jetzt registrieren