C 매크로 함수의 return값 지정을 어떻게 하나요?

#define func(a) ({\ 

//bla~ bla~ bla; \ 

/*return*/ result; \
}) 

요런식으로 하면 result가 ({ blahblah...; result; }) 표현의 평가값이 되니까

ret = func(something);

식으로 사용할 수는 있을 것 같습니다만, 아무래도 이건 좀...-.-a

http://gcc.gnu.org/onlinedocs/gcc/Statement-Exprs.html

GCC extension이라는 걸로 봐서 표준은 아닌 듯 합니다. -pedantic 옵션으로 컴파일 하니까 뭐라뭐라 그러네요. 하지만 다음과 같이 정의하는 건 표준 C 문법에 부합합니다.

#define func(a) ( \
    tmp1 = another_func1(a), \
    tmp2 = another_func2(a), \
    result = tmp1 + tmp2, \
    /* return */ result )

...
int tmp1, tmp2, result;  // for use by macro func()
...
ret = func(a);

즉, 선언'문' 없이, '식'으로만 이뤄져 있으면 GCC뿐 아니라 모든 ANSI C 컴파일러에서 문제가 없게 됩니다... 만, 원하시는 것에는 이프로 부족하지 않을까 싶네요-

몇가지 정리하면 다음과 같습니다.

첫째, 표준에 따라, statement를 expression이라고 할 수 없습니다. 물론 statement의 정의에 따라, expression-statement가 될 수 있기는 하지만, 모든 statement가 expression이라고 할 수 없습니다. 따라서

는, 표준에 따라 잘못된 질문입니다.

둘째, 복잡한? 매크로를 만들고 싶다면 inline function을 쓰기 바랍니다. inline function을 쓰는 것이 여러모로 편리하고, 안전합니다. 다음과 같이 쓰면 좋습니다:

static inline void
foo(void)
{
  ...
}

세째, gcc C 언어 확장 기능으로, (즉, 표준이 아니며, 다른 컴파일러에서 지원하지 않는..) compound statement (중괄호로 둘러싼 여러 statement)를 expression으로 해석하는 기능이 있습니다. 예를 들면:

({ int y = foo(); int z;
    if (y > 0) z = y;
    else z = - y;
    z; })

로 쓴 것처럼, foo() 리턴 값의 절대값을 얻는 코드를 위와 같이 작성할 수 있습니다. 이 것은 C99 표준에서 inline function이 나오기 전에 매우 유용하게 썼던 기능입니다. expression에서 switch, for 등의 statement를 쓸 수 있는 등의 장점을 얻을 수 있었습니다. 실제로 GNU C library에 포함되어 있는 obstack에 관계된 대부분의 함수가 이 compound-statement expression을 써서 macro로 구현되어 있습니다. 물론 맨 마지막 statement의 값이, 이 compound statement의 값이 됩니다.

그런데, 이 기능은 현재 C++에서 쓸 경우, 임시 변수의 destructor가 불리는 순서가 바뀌는 등의 단점이 있기 때문에, C++로 쓸 우려가 있는 코드에서는 이 compound statement expression을 쓰지 말라고 권하고 있습니다.

개인적으로 간단한 수식으로 나올 수 있는 것이 아니라면 do { ... } while (0)을 써서 macro로 만들고, 어떤 값을 리턴할 필요가 있는 macro라면 inline function을 쓰는 것이 좋다고 생각합니다.