signal함수와 관련하여 질문있습니다.

Question

강사님, signal함수오 관련하여 질문있습니다. 함수포인터 활용 II 강의에서 26분쯤에 다음과 같은 코드를 작성하셨습니다. #include <stdio.h> #define SIGINT 2 void signal(int, void (*)(int)); void my_sig(int signo){ printf("my_sig(%d)
",signo); } int main(){ signal(SIGINT,my_sig); while(1); return 0; } 애초에 signal함수 자체가 return type이 함수 퐁니터인데 지금 void포인터를 이렇게 선언하게 된다면 해당 파일은 컴파일되지만, 링킹과정에서 문제될 것 같은데 왜 정상적으로 실행되는지 이해가 되지 않습니다. 답변 부탁드리겠습니다! 감사합니다.

jikim1770 · Answer

안녕하세요! 컴파일과 링킹의 동작 원리를 정확히 짚어낸 아주 훌륭한 질문입니다. 결론부터 말씀드리면, C언어 링커(Linker)는 함수를 연결할 때 오직 '함수 이름'만 확인할 뿐, 반환 타입이나 매개변수 정보는 전혀 검사하지 않기 때문입니다. 심볼 테이블에는 '함수 이름'만 기록됩니다. C언어는 컴파일을 마친 목적 파일(.o)에 반환 타입 정보 없이 함수 이름(signal)만 심볼로 남깁니다. 따라서 링커는 표준 라이브러리(libc)에서 이름이 같은 signal 함수를 찾아 아무 에러 없이 연결해 줍니다. 실행 시 반환값은 레지스터에서 자연스럽게 무시됩니다. 실제 signal 함수는 실행 후 반환값(이전 핸들러 주소)을 CPU 레지스터(RAX)에 담아 돌려줍니다. 하지만 main 함수에서는 반환 타입을 void로 알고 있어 그 레지스터 값을 읽지 않고 무시한 채 다음 줄로 넘어가므로 충돌 없이 정상 작동합니다. 강의에서는 원래의 복잡한 원형(void (*signal(int, void (*)(int)))(int);) 대신, '두 번째 인자로 함수 포인터를 넘긴다'는 핵심에 집중하기 위해 반환 타입을 void로 단순화하여 보여드린 것입니다. (단, <signal.h>를 #include 하면 원형이 충돌해 컴파일 에러가 발생합니다.) 더 궁금한 점이 있다면 언제든 질문해 주세요!