C макро-вопрос - (x) по сравнению с (-x)

#define abs(x)  ( ( (x) < 0) ? -(x) : (x) )

В конце концов, каждый экземпляр x склонен к некоторой проблеме группировки, для решения которой необходимы скобки.

Общая проблема: приоритет оператора

Общим потоком во всех этих случаях является приоритет оператора : если в вашем вызове abs(...) поставить оператор, имеющий меньший приоритет, чем что-либо вокруг, где в макросе используется x, то это приведет к некорректной привязке. Например, abs(a=b) расширится до a=b<0, что равнозначно a=(b<0)... это не то, что имел в виду вызывающий абонент.

The "Right Way" to Implement abs

Конечно, это неправильный способ реализации abs в любом случае... если вы не хотите использовать встроенные функции (а вы должны, потому что они будут оптимизированы для любого аппаратного обеспечения, на которое вы переносите), то это должен быть встроенный шаблон (при использовании C++) по тем же причинам, которые упоминались, когда Мейерс, Sutter, и другие обсуждают переинсталляцию функций min и max. (В других ответах также упоминалось: что происходит с abs(x++)?)

С верхушки головы, разумной реализацией может быть:

template<typename T> inline const T abs(T const & x)
{
    return ( x<0 ) ? -x : x;
}

Здесь можно не заключать в скобки, так как мы знаем, что x - это единственное значение, а не какое-то произвольное расширение из макроса.

Еще лучше, как отметил Крис Лутц в комментариях ниже, можно использовать специализацию шаблонов для вызова оптимизированных версий (abs, fabs, labs) и получить все преимущества безопасности типов, поддержки неbuiltin-типов и производительности.

Test Code

#if 0
gcc $0 -g -ansi -std=c99 -o exe && ./exe
exit
#endif




#include <stdio.h>

#define abs1(x)  (x<0)?-x:x
#define abs2(x)  ((x<0)?-x:x)
#define abs3(x)  ((x<0)?-(x):x)
#define abs4(x)  ((x<0)?-(x):(x))
#define abs5(x)  (((x)<0)?-(x):(x))


#define test(x)     printf("//%30s=%d\n", #x, x);
#define testt(t,x)  printf("//%15s%15s=%d\n", t, #x, x);

int main()
{
    test(abs1( 1)+2)
    test(abs1(-1)+2)
    //                    abs1( 1)+2=3
    //                    abs1(-1)+2=1

    test(abs2( 1+2))
    test(abs2(-1-2))
    //                    abs2( 1+2)=3
    //                    abs2(-1-2)=-1

    int a,b;
    //b =  1; testt("b= 1; ", abs3(a=b))
    //b = -1; testt("b=-1; ", abs3(a=b))
    // When compiled with -ansi -std=c99 options, this gives the errors:
    //./so1a.c: In function 'main':
    //./so1a.c:34: error: invalid lvalue in assignment
    //./so1a.c:35: error: invalid lvalue in assignment

    // Abs of the smaller of a and b. Should be one or two.
    a=1; b=2; testt("a=1; b=2; ", abs4((a<b)?a:b))
    a=2; b=1; testt("a=2; b=1; ", abs4((a<b)?a:b))
    //               abs4((a<b)?a:b)=-1
    //               abs4((a<b)?a:b)=1


    test(abs5( 1)+2)
    test(abs5(-1)+2)
    test(abs5( 1+2))
    test(abs5(-1-2))
    b =  1; testt("b= 1; ", abs5(a=b))
    b = -1; testt("b=-1; ", abs5(a=b))
    a=1; b=2; testt("a=1; b=2; ", abs5((a<b)?a:b))
    a=2; b=1; testt("a=2; b=1; ", abs5((a<b)?a:b))
}

Output

                    abs1( 1)+2=3
                    abs1(-1)+2=1
                    abs2( 1+2)=3
                    abs2(-1-2)=-1
     a=1; b=2; abs4((a<b)?a:b)=-1
     a=2; b=1; abs4((a<b)?a:b)=1
                    abs5( 1)+2=3
                    abs5(-1)+2=3
                    abs5( 1+2)=3
                    abs5(-1-2)=3
         b= 1;       abs5(a=b)=1
         b=-1;       abs5(a=b)=1
     a=1; b=2; abs5((a<b)?a:b)=1
     a=2; b=1; abs5((a<b)?a:b)=1