C 언어 코딩 도장

Visual Studio 기준으로는 ap의 위치가 변화하면서 동작합니다.

10 0076FBA820 20 0076FBAC30 30 0076FBB040 40 0076FBB4

ap_list의 구현은 구현체마다 다르며, 표준에 명시되어 있지 않습니다.

책은 Visual Studio 기준으로 설명되어 있고, GCC, Clang에서는 구현 방식이 다른 것으로 보입니다.

The va_arg() function retrieves a value of the given var_type from the location given by arg_ptr, and increases arg_ptr to point to the next argument in the list. The va_arg() function can retrieve arguments from the list any number of times within the function. The var_type argument must be one of int, long, decimal, double, struct, union, or pointer, or a typedef of one of these types.

보통의 표준 함수 설명서에도 va_arg 함수는 값을 가져오고, arg_ptr의 값을 증가시켜서 리스트에서 다음 인수를 가리키게 합니다.

C 언어 표준 함수에 명시되어 있지 않은 부분은 컴파일러 구현체의 동작 방식에 따라 다릅니다. 해당 컴파일러 매뉴얼이나 소스 코드를 찾아봐야 할 것으로 보입니다.

va_arg는 매크로로 정의되어 있고, 기본 코드는 다음과 같습니다.

/*
 * Increment ap to the next argument in the list while returing a
 * pointer to what ap pointed to first, which is of type t.
 *
 * We cast to void* and then to t* because this avoids a warning about
 * increasing the alignment requirement.
 */

#define va_arg(ap, t)					\
	 (((ap) = (ap) + __va_argsiz(t)),		\
	  *((t*) (void*) ((ap) - __va_argsiz(t))))

ap의 값이 왜 고정으로 나오는지는 해당 컴파일러 매뉴얼이나 소스 코드를 찾아봐야 할 것 같습니다.