0x000 님이 쓰신 글 :
: 이제서야 보게 되네요. 그런데
:
: typedef void _FAR *va_list;
:
: 여기 구문이 데체 무엇을 의미하는지 모르겠습니다.
: va_list앞에 별은 왜 붙은거죠?
: 인터넷검색을 해봐도 모르겠네요.
: #define char * A; 이거랑 비슷한의미인가 했는데 그것도 아니네요.
:
: ㄹ 님이 쓰신 글 :
: : 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;
: : }

typedef void _FAR *va_list;
typedef는 자료형을 정의하는 것(type definition 또는 define type)이며,
위의 va_list는 void _FAR *와 같은 자료형이 됩니다.
즉, va_list vl;과 void _FAR *vl;은 동일합니다.
32 비트 시스템에서는, 메모리 번지가 선형이므로 _FAR는 없다고 보시고 해석하시면 됩니다.
그러면, va_list vl;은 void *vl;이 됩니다.
void 포인터는 가리키는 자료형이 특정되지 않은 포인터입니다.
원하는 자료형의 포인터로 형변환하여 사용할 수 있습니다.
그 예는, va_start와 va_arg 매크로에 있습니다.