Mylić przez kwadratury makro SQR wc

Question

To pytanie zadano mi w pozorowanej wywiadzie ... Naprawdę mam zaskoczeni niewygodnych odpowiedzi ...

rozważyć makro:

#define SQR(x) (x*x) 

Przykład 1:

SQR(2) //prints 4 

Przykład 2:

Jeśli SQR (1 + 1) jest podana nie sumują (1+1) do 2 ale raczej ...

SQR(1+1) //prints 3 

Awkward prawo? Jaki jest powód? Jak działa ten kod?

UWAGA: Szukałem SO, ale nie mogłem znaleźć żadnych istotnych pytań. Jeśli są uprzejmi, prosimy o podzielenie się nimi!

Answer 1

SQR(1+1) rozwija się do 1+1*1+1 co 3, nie 4, prawda?

Poprawne zdefiniowanie makra będzie

#define SQR(x) ((x)*(x)) 

który rozszerza się (1+1)*(1+1) i ważniejsze, pokazuje jeden z powodów, nie należy korzystać z makr, gdy nie są potrzebne. Dodaje się lepiej:

inline int SQR(int x) 
{ 
    return x*x; 
} 

ponadto: SQR(i++) będzie niezdefiniowane zachowanie jeśli SQR jest makro i całkowicie prawidłowe jeśli SQR jest funkcją.

Answer 2

Problemem jest to, że makra robią tekstową substition zanim zostanie skompilowany, więc makro rozwija się do 1+1*1+1

Answer 3

To dlatego zawsze put argumenty makra do():

#define SQR(x) ((x)*(x))