некоторые операторы макросов могут иметь неожиданные результаты в C ++?

Question

Какой оператор макроса может привести к неожиданным результатам?

#define YEAR_LENGTH   365
#define MONTH_LENGTH  30
 #define DAYCALC(y, m, d) ((y * YEAR_LENGTH) + (m * MONTH_LENGTH) + d)

 int main()
 {
    int x = 5, y = 4 , z = 1;
    cout << DAYCALC(x *3 , y %3 , z) << endl ;
    cout << DAYCALC(x +12 , y  , 300) << endl ;
    cout << DAYCALC(x , 40 - y , 3+z) << endl ;
    cout << DAYCALC(x  , y  , (z+50)) << endl ;
    cout << DAYCALC(x  , y %3 , z) << endl ;
    cout << DAYCALC(4 % x , y++ , z) << endl;
    return 0;
 }

Я отлично запускаю программу без каких-либо неожиданных результатов.

Есть ли какие-то скрытые исключения?

Answer 1

У вас проблема с приоритетом оператора.Макросы буквально расширяются как текстовое копирование и вставка.

Например:

DAYCALC(x , 40 - y , 3+z)

расширяется до:

((40 - y * YEAR_LENGTH) + (x * MONTH_LENGTH) + 3+z)

Обратите внимание: 40 - y * YEAR_LENGTHВы хотите из-за приоритета оператора.

Таким образом, вам нужно поместить () вокруг ваших параметров в макросе:

#define DAYCALC(y, m, d)     (((y) * YEAR_LENGTH) + ((m) * MONTH_LENGTH) + (d))

В общем, если параметр макроса появляется более одного раза вмакрос, побочные эффекты, такие как y++ (в вашем последнем утверждении) также будут применяться более одного раза.Так что с этим нужно быть осторожным.

Answer 2

вы можете проверить, что произойдет после раскрытия макроса g ++ -E.

int main()
{
int x = 5, y = 4 , z = 1;
cout << ((x *3 * 365) + (y %3 * 30) + z) << endl ; 
cout << ((x +12 * 365) + (y * 30) + 300) << endl ;
cout << ((x * 365) + (40 - y * 30) + 3+z) << endl ; //precedence problem
cout << ((x * 365) + (y * 30) + (z+50)) << endl ; 
cout << ((x * 365) + (y %3 * 30) + z) << endl ;
cout << ((4 % x * 365) + (y++ * 30) + z) << endl;
return 0;
}

Answer 3

Вам нужно изменить DAYCALC;

#define DAYCALC(y, m, d) ( ((y) * YEAR_LENGTH) + ((m) * MONTH_LENGTH) + (d) )

Таким образом, если m скажет 3 + z, то внутренний термин будет правильным;

(3+z) * MONTH_LENGTH

не неправильный;

3 + z*MONTH_LENGTH