새벽에 자려는데 떠오른 printf

새벽에 자려는데 문득 떠올랐다.

 

여지껏, 가변 인자를 받아오는 함수(printf 등..) 은 매크로 비스무리하게 CRT로 제공하는

 

'va_arg ,va_end, va_start' 요딴걸 쓰는게 맞다.

 

그렇다면, 이것을 쓰지 않고 구현한다면 ?

 

문제를 하나 풀어보자.

 

#include <stdio.h>    int main(int argc,char *argv[]){     printf("%s",argv[0]);     return 0;  }

 

이것은 모두가 알고 있는 main 함수의 조금 간략화된 원형이다.

 

위와 같이 실행하면, 실행파일의 절대 경로가 나올것이다.

 

그렇다면, argv를 주어주지 않고, 어떠한 함수를 사용하지 않고 절대경로를 출력할 수 있을까 ?

 

< 문 제 > 

#include <stdio.h>    int main(int argc){     printf("%s",???);     return 0;  }

 

풀 수 없다 ! 라고하면 이 문제를 내지도 않았을 것이다.

 

결과적으로 풀 수 있다.

 

 

#include <stdio.h>    int main(int argc){   printf("%s",**((int **)(((int *)&argc)+1)) );   return 0;  }

 

이렇게 실행하면 어떨까 ?

 

실행될 뿐더러 경로까지 잘 나온다.

 

지금 위 소스를 보고, printf 가 어떻게 구현됐는지 알겠다 ! 하면

 

정말 눈치가 빠르다고 볼 수 있을거 같다. (Good !)b

 

어떻게 저런게 실행될까 ?

 

그걸 적기전엔 함수의 스택 구조부터 알아보아야하는데

 

이 관련은 검색만해도 아주 자세하게 나오니 필자는 적지 않겠다.

 

**((int **) (((int *)&argc)+1) )

 

그리해서, 이 부분을 해설하면 이렇게 된다.

 

&argc = argc의 값이 있는 주소

 

(((int *)&argc)+1) = argc 주소에서 int 형태의 포인터로 1개만큼 주소 이동 (4바이트 이동)

※  argv = (((int *)&argc)+1) 라고 볼 수 있다.

 

**((int **)(((int *)&argc)+1)) = argv[0]

이걸 조금씩 간략화해서 적으면

01. **((int **)(((int *)&argc)+1))

02. **((int **)argv) 

03. (*((int **)argv))[0]

04. ((int *)argv)[0]

이렇게 된 셈이다.

 

이렇게 argc를 이용해 argv 선언되지 않은 부분으로 접근이 가능한거로 봐선

 

가변되는 인자를 계속해서 불러올 수 있게 된 셈이다.

 

printf 구현하는 것에 대해선 이 글에선 적지 않겠지만, printf함수 작성에 대해 대략적인 구도를 말하면

 

01. '%' 가 들어가는 특수 부호가 몇개 들어가는지, 인식할 수 있는 인자가 몇갠지 계산

02. 위 갯수에 맞춰 해당 가변인자를 위와 같은 방법으로 끌어와서 각각의 가변인자의 글자수 계산

03. 가변인자의 글자수와 그 외 printf 에서 요구하는 글자수를 합쳐서 새로운 버퍼 생성

(print에서 요구하는 글자수는 "%s My Mother" 이란 인자가 들어 왔을 경우 " My Mother" 의 글자수)

04. 해당 가변인자와 printf 에서 요구하는 글자들을 새로운 버퍼에 저장

05. 출력.(API WriteConsole, GetStdHandle 함수 참고)

 

이런식으로 구현이 가능할거 같다.

※ 특수부호 처리가 좀 많이 힘들거 같음...(%d이라던가 %l64d 라던가...)