전처리기 #define do{ 문장1; 문장2; 문장3 }while(0) 사용...

#define catch_exception(ce_arg) fprintf(stdout, "%sn", ce_arg) 

if ( state == -1 ) 
  catch_exception("state is null"); 


위와 같은 코드가 있을때 전처리 과정에 의해 아래와 같은 정상적인 코드로 변환되겠죠? 


if ( state == -1 ) 
  fprintf(stdout, "%sn", "state is null"); 


그런데.. 아래와 같이 define을 사용하였다고 가정합니다. 


#define catch_exception(ce_arg) 
  fprintf(stdout, "%sn", ce_arg); 
  do_something(); 

if ( state == -1 ) 
  catch_exception("state is null"); 


위의 코드는 의도하였던 바와 다르게 아래와 같이 변환됩니다. 


if ( state == -1 ) 
  fprintf(stdout, "%sn", "state is null"); 
  do_something(); 


do_something() 문은 if의 제어를 받지 않게 되는 위치에 놓이게 되겠죠? 
의도한 바에 따른 코드는 아래와 같습니다. 


if ( state == -1 ) 
{ 
  fprintf(stdout, "%sn", "state is null"); 
  do_something(); 
} 


이렇나 경우에  #defines  do { ... } while(0)을 사용하게 됩니다. 


#define catch_exception(ce_arg) 
  do { 
    fprintf(stdout, "%sn", ce_arg); 
    do_something(); 
  while ( 0 ) 


변환된 코드는 아래와 같습니다. 


if ( state == -1 ) 
{ 
  do 
  { 
    fprintf(stdout, "%sn", "state is null"); 
    do_something(); 
  } 
  while ( 0 ); 
} 

또 다른 경우를 살펴보면 아래와 같습니다.

#define exchange(x, y) 
    { int tmp; tmp = x; x = y; y = tmp; } 


익숙한 코드죠? 우선 이러한 매크로가 선언되었습니다. 


if ( x > y ) 
  exchange(x, y); 
else 
  do_something(); 


이 코드는 아래와 같이 변환되겠죠? 


if ( x > y ) 
{ 
  int tmp; 
  tmp = x; 
  x = y; 
  y = tmp; 
} 
; 
else 
  do_something(); 


끝에 세미콜론 하나가 무척이나 거슬림을 넘어서 맘아프게하죠? ^^ㅋ 
이 경우에도  #defines  do { ... } while(0)을 사용하게 됩니다. 


#define exchange(x, y) 
    do { int tmp; tmp = x; x = y; y = tmp; } while ( 0 ) 

if ( x > y ) 
{ 
  do 
  { 
    int tmp; 
    tmp = x; 
    x = y; 
    y = tmp; 
  } while ( 0 ); 
} 
else 
    do_something(); 

자그마한 도움이라도 얻으셨기를 ^^;

한 마디로...
전처리기는 문제가 없으나 인간이 실수를 하는것을 방지하기 위해 사용한다라고 보시면은 됩니다.
가독성이랑은 그렇게 관련이 없습니다.

<어떠한 역경에도 굴하지 않는 '하양 지훈'>

추신_인간의 실수는 인간의 지혜로 극복을 ...

전 아래와같이사용하는데..
do while 를 왜쓰는지 모르겠군요..

define A() \
{ a(); \
b(); }

또한 do while 를 사용한메크로는 함수내부에 인자로 사용될수도 없습니다. 그러나
제가하는방식은 함수내부에 인자로도 사용될수 있는장점이 있죠..

즉 printf( "%d", (A()) ); 등도 가능합니다.

#define A( x )          \
{                       \
    printf( "i=4\n" );  \
    i = x;              \
}


int main( void )
{
    int i;

    printf( "test[%d]\n", ( A( 4 )));
    return 0;
}

localhost test_src]$ ./a.out
i=4
test[4]

잘되는데요..
그리고 설사 안된다해도 do while 보다 낫군요..

cinsk 님께서 언급하신 compound statement에 대해서는 GCC 매뉴얼에 자세히 설명되어 있습니다. 이 페이지에서 예시 하나를 들면, 정수형으로 평가되는 a, b 중 큰 값을 side-effect 없이 반환하는 매크로는 다음과 같이 쓸 수 있습니다.

#define maxint(a,b) \
       ({int _a = (a), _b = (b); _a > _b ? _a : _b; })

- 토끼군

덤: 개인적으로 GCC extension 중에서는 "a ? : b"를 좋아합니다... 뭐 사실 안 쓰지만. ;)

위와같은경우는 {}만 있으면 잘못되는군요..
그러나 위와같은경우도 토끼군님이 예시하신방법이나
혹은 ( a(), b() ) 같이 하면됩니다.
매크로의 용도에따라 ({})처럼쓰기도 하고 {} 혹은 () 만으로
defile 하기도 하죠..
그러나 do while 은 그리 필요성을 못느끼겠더군요..

ㅇ ㅏ.. 실수가 있었네요.. ^^; 중괄호는 빠져야 겠네요