0x000 님이 쓰신 글 :
: 심화과정이나 응용단계에서 주춤하시는 다른 분들과는 다르게
: 저는 기초부터 멍 하네요. -_-
:
: 가변인자 매크로들은 무슨 일을 하는 지 대략적으로는 알겠는데
: 자세히 이게 뭐고 저게 뭔지 하나도 모르겠습니다.
: va_list 이게 정확히 무슨 일을 하는 지 모르겠고
: "va_list a"에서의 a의 역할 또한 모르겠습니다.
: 그 외 상당히 많구요.
:
: 기초가 이런데 응용문제 나오면 기절하겠네요. -_-
: 가변인자에서 자세히 알려주시거나 잘 나와있는 사이트 알려주시면 감사하겠습니다.


va_list, va_start,va_arg,va_end는 stdarg.h 헤더 파일에 아래와 같이 정의되어 있습니다.

typedef void _FAR *va_list;

#define __size(x) ((sizeof(x)+sizeof(int)-1) & ~(sizeof(int)-1))

#ifdef __cplusplus
#define va_start(ap, parmN) ((void)((ap) = (std::va_list)((char _FAR *)(&parmN)+__size(parmN))))
#else
#define va_start(ap, parmN) ((void)((ap) = (va_list)((char _FAR *)(&parmN)+__size(parmN))))
#endif

#define va_arg(ap, type) (*(type _FAR *)(((*(char _FAR *_FAR *)&(ap))+=__size(type))-(__size(type))))
#define va_end(ap)          ((void)0)

1. __size(x)
__size 매크로는 sizeof(int)가 2의 N 거듭제곱(N은 자연수)이라는 가정 하에 만든 것입니다.
__size 매크로는 전달받은 인수의 자료형의 크기가 int 바이트 크기의 배수이면 그 값을 구하고 배수가 아니면 바로 위의 배수를 구합니다.
예를 들어, 32비트 시스템에서,
char a; __size(a)하면 sizeof(a)가 1이고 int 크기가 4이므로 4가 구해집니다.
short int a; __size(a)하면 sizeof(a)가 2이고 int 크기가 4이므로 4가 구해집니다.
int a; __size(a)하면 sizeof(a)가 4이고 int 크기가 4이므로 4가 구해집니다.
__size 매크로가 이렇게 해야 하는 이유는 함수의 인자전달 시 디폴트로 promotion 되므로 이에 맞추어야 하기 때문입니다.

2. va_start(ap, parmN)
va_start 매크로는 전달받은 두번째 인수 parmN의 바로 다음 메모리 번지를 첫번째 인수 ap에 저장합니다.

3. va_arg(ap, type)
va_arg 매크로는 ap의 값(가리키는 곳)을 type 형의 크기 만큼 증가시키고, 증가시키기 전 위치에 저장된 type형 값을 구합니다.

4. va_end(ap)
va_start를 했으니 end도 하는 게 형식상 옳다고 생각하여 형식을 맞추기 위한 것이지 va_end는 하지 않아도 됩니다.


아래의 예를 참고하세요.

#include <stdio.h>
#include <stdarg.h>
#include <stdlib.h>
#include <string.h>
int myprintf(const char *format, ...)
{
   int cnt=0;
   va_list ap;
   int arg;
   char buff[16];
   const char *p=format;
   va_start(ap, format);
/* ap에 format 다음 매개변수의 위치를 저장.
이 예에서는, main 함수에서 myprintf 함수 호출 시 지정한 두번째 매개변수인 123이 저장된 위치를 ap에 저장함.
*/
   while(*p!='\0'){
     if(*p=='%'){
       if(*(p+1)=='d'){
         arg = va_arg(ap,int);
         /* ap의 값(가리키는 곳)을 sizeof(int) 만큼 증가시키고,
         변경되기 전 ap가 가리키는 곳에 저장된 int 값을 구해 arg에 저장.
         */
         itoa(arg,buff,10);
         fputs(buff,stdout);
         cnt += strlen(buff);
         p += 2;
       }else if(*(p+1)=='c'){
         arg = va_arg(ap,char);
         /* ap의 값(가리키는 곳)을 sizeof(int) 만큼 증가시키고,
         변경되기 전 ap가 가리키는 곳에 저장된 char 값을 구해 arg에 저장.
         */
         putchar(arg);
         cnt++;
         p += 2;
       }else{
        putchar(*p);
        cnt++;
        p++;
     }
    }else if(*p=='\\' && *(p+1)=='n'){
      putchar('\n');
      cnt++;
      p++;
    }else{
      putchar(*p);
      cnt++;
      p++;
    }
   }
   va_end(ap);
  return cnt;
}

int main()
{
int cnt = myprintf("val=%d, ch=%c, ch2=%c, val2=%d",123,'A','Y',89);
myprintf("\n%d bytes printed.",cnt);
/*
이렇게 하면 스택에는, 높은 번지에서부터 다음과 같이 저장된 후 myprintf 함수가 실행됩니다.
마지막 매개변수인 89(int) ~ 첫번째 매개변수인 형식문자열을 가리키는 포인터값
default promotion에 따라, sizeof(int) 크기가 안 되는 인수형은 sizeof(int) 크기로 변경되어 저장됩니다.
*/
return 0;
}