#define ADD (x) (x) + (x) gibt ein falsches Ergebnis zurück

Question

Ich habe diese Funktion und fügt eine Nummer hinzu.

#include <iostream> 
#include <string> 
#include <sstream> 

using namespace std; 

#define ADD(x) (x)+(x) 
int main() 
{ 
    int x = 2; 
    int y = ADD(++x); 

    cout << y << endl; 
} 

Wenn ich dieses Programm ausführen, gibt es 8 aber ich war 6.

erwarte ich dachte x = 3 und es wurde 3 an die ADD-Funktion zu senden, aber es scheint, wie es nicht der Fall ist. Kann mir das jemand erklären?

Answer 1

Ihr Programm hat Verhalten nicht definiert, weil Sie die Prä-Betreiber fordern zweimal: int y = (++x)+(++x);. Hast du dafür keine Compiler-Warnung bekommen? Das Problem ist, dass ADDkeine Funktion ist. Es ist ein Makro; es führt Textersatz durch. Verwenden Sie keine Makros für solche Dinge in C++.

Wenn Sie das Makro in eine Funktion einschalten, wird alles gut funktionieren, weil dann ++x nur einmal erscheint:

#include <iostream> 

template <class T> 
T add(T x) 
{ 
    return x + x; 
} 

int main() 
{ 
    int x = 2; 
    int y = add(++x); 

    std::cout << y << '\n'; 
} 

Answer 2

Es ist undefined Verhalten.

Wenn Ihr Compiler vorverarbeitet das Makro hier:

int y = ADD(++x); 

wird es

int y = (++x)+(++x); 

Es gibt keine festgelegte Reihenfolge, in der Argumente ausgewertet werden.

Weitere Informationen finden Sie Why are these constructs (using ++) undefined behavior?

Answer 3

Makros sind nicht real C++ Funktionen. Es ersetzt nur Text.

Ihr Code:

int y = ADD(++x); 

wird ersetzt durch:

int y = (++x)+(++x); 

---

Sie können anstelle der Makro eine Template-Funktion verwenden.

template<typename T1, typename T2> 
inline auto add(T1 x, T2 y) 
{ 
    return x + y; 
} 

Answer 4

Da ADD(x) ist eigentlich ein Makro (im Gegensatz zu einer realen Funktion gegen), ADD(++x) ausgewertet (++x) + (++x), die überhaupt nicht schön ist, weil diese die gleiche Variable ändert, x, zweimal in einer Erklärung. Das Ergebnis solcher Modifikationen ist nicht definiert.

In Ihrem speziellen Fall des Compilers, den Wert von x 2 bis 3 erhöht, und es dann von 3 bis 4 erhöht, während der Wert von x, um das Lesen (x+x) auszuführen, sie entschied sich für die neueste Wert zu lesen, die ist 4.

Ich würde vorschlagen, dass Sie über die Unterschiede zwischen Makros und Funktionen nachlesen.