가변인자는 무엇이며 어떻게 구성되어 있는가

printf 는 인자를 여러 개 받던데... 어떻게 작동하는 것일까?

가변인자는 무엇이며 어떻게 구성되어 있는가

C 의 printf 를 사용하면서 어떻게 이 함수는 여러 인자를 받을 수 있는지 궁금한 것이 있지 않은가? 이번 글에서는 C 에서 다중 인자를 받도록 하는 va_arg 를 설명한다.

가변인자

  • 함수에서 타입과 개수가 정해지지 않은 여러개의 인자를 받고 싶을 경우가 있다. (printf에서 여러개의 인자를 받는 것이 대표적인 예시) 이를 지원하기 위해서 C 에서는 stdarg.h 에 포함된 va_list 자료형, va_arg, va_start, va_end 함수를 활용한다.

활용 예시

  • 예시
#include <stdio.h>
#include <stdarg.h>

void testit (int i, ...)
{
    va_list argptr; // 가변인자 리스트를 가리키는 포인터
    va_start(argptr, i); // 가변인자 리스트 포인터를 첫 주소로 초기화시켜준다.

    if (i == 0)
    {
        int n = va_arg(argptr, int);
				// int 타입 사이즈 만큼의 데이터를 반환하고, 포인터를 sizeof(int) 만큼 이동
        printf("%d\n", n);
    }
    else
    {
        char *s = va_arg(argptr, char*);
				// char * 타입 사이즈 만큼의 데이터를 반환하고, 포인터를 sizeof(char *) 만큼 이동
        printf("%s\n", s);
    }
	
    va_end(argptr); // argptr = NULL 로 가변인자 사용을 끝마침을 표시
}

코드 뜯어보기

stdarg.h에 포함된 함수와 타입의 정의는 다음과 같다.

  • 아래 함수들은 매크로 함수로 정의되어있다.
type va_arg(
   va_list arg_ptr,
   type
);
void va_copy(
   va_list dest,
   va_list src
); // (ISO C99 and later)
void va_end(
   va_list arg_ptr
);
void va_start(
   va_list arg_ptr,
   prev_param
); // (ANSI C89 and later)

그리고 strarg.h는 다음과 같이 구현되어있다.

#ifndef _STDARG_H_
#define _STDARG_H_

/* All the headers include this file. */
#include <_mingw.h>

/*
 * Don't do any of this stuff for the resource compiler.
 */
#ifndef RC_INVOKED

/* 
 * I was told that Win NT likes this.
 */
#ifndef _VA_LIST_DEFINED
#define _VA_LIST_DEFINED
#endif

#ifndef	_VA_LIST
#define _VA_LIST
#if defined __GNUC__ && __GNUC__ >= 3
typedef __builtin_va_list va_list;
#else
typedef char* va_list;
#endif
#endif

/*
 * Amount of space required in an argument list (ie. the stack) for an
 * argument of type t.
 */
#define __va_argsiz(t)	\
	(((sizeof(t) + sizeof(int) - 1) / sizeof(int)) * sizeof(int))

/*
 * Start variable argument list processing by setting AP to point to the
 * argument after pN.
 */
#ifdef	__GNUC__
/*
 * In GNU the stack is not necessarily arranged very neatly in order to
 * pack shorts and such into a smaller argument list. Fortunately a
 * neatly arranged version is available through the use of __builtin_next_arg.
 */
#define va_start(ap, pN)	\
	((ap) = ((va_list) __builtin_next_arg(pN)))
#else
/*
 * For a simple minded compiler this should work (it works in GNU too for
 * vararg lists that don't follow shorts and such).
 */
#define va_start(ap, pN)	\
	((ap) = ((va_list) (&pN) + __va_argsiz(pN)))
#endif

/*
 * End processing of variable argument list. In this case we do nothing.
 */
#define va_end(ap)	((void)0)

/*
 * 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))))

#endif /* Not RC_INVOKED */

#endif /* not _STDARG_H_ */
  • 가변인자의 메모리 구조

가변인자들은 연속된 메모리 공간에 할당이 되어있다. 따라서 해당 가변인자를 활용하기 위해서 함수의 첫 번째 인자의 위치를 알아야한다.

va_arg.png

  • va_list
#if defined __GNUC__ && __GNUC__ >= 3
typedef __builtin_va_list va_list;
#else
typedef char* va_list;
#endif

현재 매개인자의 주소를 저장하는 타입

1바이트 단위로 이동하기 위해서 va_list의 실제 타입은 char * 으로 사용되며 이는 va_arg에서의 포인터 연산에 활용된다. (__GNUC__ && __GNUC__ >= 3 에서는 별도의 타입을 사용..)

  • va_start
// GNU_C >= 3
#define va_start(ap, pN)	\
	((ap) = ((va_list) __builtin_next_arg(pN)))

// ! (GNUC >= 3)
#define va_start(ap, pN)	\
	((ap) = ((va_list) (&pN) + __va_argsiz(pN)))

va_list의 값을 가변인자의 첫 번째 매개변수의 값으로 초기화시킨다.

매크로 함수의 인자로 들어오는 pN이 함수의 첫 번째 매개인자이다. 가변인자를 사용할 때, (arg1, ...) 과 같이 활용하므로 ... 의 첫 번째 인자를 가리키기 위해서 pN의 다음 데이터를 가리키도록 인자를 변경해주고있다.

va_arg2.png

  • va_end
#define va_end(ap)	((void)0)

가변인자를 모두 사용하고 난 후, ap의 값을 NULL로 변경한다.

  • va_arg
#define va_arg(ap, t)					\
	 (((ap) = (ap) + __va_argsiz(t)),		\ // 먼저 ap 값을 밀어줌
	  *((t*) (void*) ((ap) - __va_argsiz(t)))) // 반환값으로 밀어주기 전의 주소에서 캐스팅 값

va_list에 저장된 값을 바탕으로 현재 매개인자를 반환하고, va_list의 주소를 다음으로 이동시킨다.

해당 매크로 함수를 살펴보면 먼저 ap의 값을 t만큼 밀어주며, 기존에 가리키고 있던 값을 type으로 캐스팅하여 반환한다.

va_arg3.png

참고

va_arg(), va_copy(), va_end(), va_start() - Access Function Arguments

va_arg, va_copy, va_end, va_start

stdarg.h