가변인자는 무엇이며 어떻게 구성되어 있는가
printf 는 인자를 여러 개 받던데... 어떻게 작동하는 것일까?

C 의 printf 를 사용하면서 어떻게 이 함수는 여러 인자를 받을 수 있는지 궁금한 것이 있지 않은가? 이번 글에서는 C 에서 다중 인자를 받도록 하는 va_arg 를 설명한다.
가변인자
- 함수에서 타입과 개수가 정해지지 않은 여러개의 인자를 받고 싶을 경우가 있다. (
printf
에서 여러개의 인자를 받는 것이 대표적인 예시) 이를 지원하기 위해서 C 에서는stdarg.h
에 포함된va_list
자료형,va_arg
,va_start
,va_end
함수를 활용한다.
활용 예시
- 예시
코드 뜯어보기
stdarg.h
에 포함된 함수와 타입의 정의는 다음과 같다.
- 아래 함수들은 매크로 함수로 정의되어있다.
그리고 strarg.h는 다음과 같이 구현되어있다.
- 가변인자의 메모리 구조
가변인자들은 연속된 메모리 공간에 할당이 되어있다. 따라서 해당 가변인자를 활용하기 위해서 함수의 첫 번째 인자의 위치를 알아야한다.
- va_list
현재 매개인자의 주소를 저장하는 타입
1바이트 단위로 이동하기 위해서 va_list의 실제 타입은 char * 으로 사용되며 이는 va_arg에서의 포인터 연산에 활용된다. (__GNUC__ && __GNUC__ >= 3
에서는 별도의 타입을 사용..)
- va_start
va_list의 값을 가변인자의 첫 번째 매개변수의 값으로 초기화시킨다.
매크로 함수의 인자로 들어오는 pN이 함수의 첫 번째 매개인자이다. 가변인자를 사용할 때, (arg1, ...) 과 같이 활용하므로 ... 의 첫 번째 인자를 가리키기 위해서 pN의 다음 데이터를 가리키도록 인자를 변경해주고있다.
- va_end
가변인자를 모두 사용하고 난 후, ap의 값을 NULL로 변경한다.
- va_arg
va_list에 저장된 값을 바탕으로 현재 매개인자를 반환하고, va_list의 주소를 다음으로 이동시킨다.
해당 매크로 함수를 살펴보면 먼저 ap의 값을 t만큼 밀어주며, 기존에 가리키고 있던 값을 type으로 캐스팅하여 반환한다.
참고
va_arg(), va_copy(), va_end(), va_start() - Access Function Arguments