do { ...} while(0); 이라고 쓰는 이유는 뭐죠?

단순히 공백으로 비우면 문제가 있어서 그런 것이 아니고, 긴 매크로를 함수처럼 사용하려다 보니 생각해 낸 꽁수입니다. 예를 들어

#define SLIST_REMOVE(head, elm, type, field) do {			\
	if ((head)->slh_first == (elm)) {				\
		SLIST_REMOVE_HEAD((head), field);			\
	}								\
	else {								\
		struct type *curelm = (head)->slh_first;		\
		while(curelm->field.sle_next != (elm))			\
			curelm = curelm->field.sle_next;		\
		curelm->field.sle_next =				\
		    curelm->field.sle_next->field.sle_next;		\
	}								\
} while (/*CONSTCOND*/0)

와

#define SLIST_REMOVE(head, elm, type, field) {			\
	if ((head)->slh_first == (elm)) {				\
		SLIST_REMOVE_HEAD((head), field);			\
	}								\
	else {								\
		struct type *curelm = (head)->slh_first;		\
		while(curelm->field.sle_next != (elm))			\
			curelm = curelm->field.sle_next;		\
		curelm->field.sle_next =				\
		    curelm->field.sle_next->field.sle_next;		\
	}								\
} 

를 비교해 보시기 바랍니다. 후자는 일반 함수처럼 매크로 끝에 ;를 붙이면 컴파일 에러가 납니다. 즉
SLIST_REMOVE(head, elm, type, field)
는 가능하지만
SLIST_REMOVE(head, elm, type, field);
는 불가능합니다. do while(0)로 블럭을 둘러쌈으로써 이와 같은 문제를 해결할 수 있습니다.