C 언어 컴파일 과정 (Compile Process)

C 언어 소스 코드는 전처리(Preprocessing), 컴파일(Compile), 어셈블(Assemble), 링킹(Linking)이라는 네 단계를 거쳐 실행 파일로 변환된다. 이 과정을 이해하면 헤더 파일과 매크로가 언제 처리되는지, 목적 파일이 어떻게 하나의 프로그램으로 합쳐지는지, 그리고 링크 오류가 왜 발생하는지를 정확히 설명할 수 있다. 각 단계는 독립적인 산출물을 만들기 때문에 gcc 옵션으로 중간 결과를 직접 확인할 수 있다.

전체 흐름 한눈에 보기

확장자 .c인 소스 파일 하나가 실행 파일이 되기까지의 흐름은 다음과 같다. 전처리기가 소스를 순수한 C 코드로 펼치고, 컴파일러가 이를 어셈블리 코드로 번역하며, 어셈블러가 기계어로 이루어진 목적 파일(Object File)을 만들고, 마지막으로 링커(Linker)가 여러 목적 파일과 라이브러리를 묶어 실행 파일을 완성한다.

단계	입력	출력	gcc 옵션
전처리	hello.c	hello.i	gcc -E
컴파일	hello.i	hello.s	gcc -S
어셈블	hello.s	hello.o	gcc -c
링킹	hello.o 및 라이브러리	실행 파일	gcc

전처리 단계

전처리기(Preprocessor)는 #으로 시작하는 지시문을 텍스트 수준에서 처리한다. #include는 헤더 파일의 내용을 해당 위치에 그대로 복사해 붙여 넣고, #define으로 정의된 매크로는 등장하는 모든 곳에서 치환된다. #ifdef 같은 조건부 컴파일 지시문은 조건에 맞지 않는 코드를 아예 제거한다. 주석도 이 단계에서 사라진다. 결과물인 .i 파일은 지시문이 모두 사라진 순수한 C 코드이며, 헤더가 펼쳐지기 때문에 원본보다 훨씬 길어진다.

#include <stdio.h>
#define SQUARE(x) ((x) * (x))

int main(void) {
    printf("%d\n", SQUARE(5));  /* 전처리 후 ((5) * (5))로 치환된다 */
    return 0;
}

매크로는 단순 텍스트 치환이므로 SQUARE(1 + 2)처럼 인자에 연산이 들어오면 괄호를 빠뜨렸을 때 의도와 다른 결과가 나온다. 위 예시처럼 인자와 전체를 괄호로 감싸는 습관이 필요하다.

컴파일과 어셈블 단계

좁은 의미의 컴파일 단계에서는 전처리된 C 코드를 어셈블리 코드로 번역한다. 이때 어휘 분석(Lexical Analysis), 구문 분석(Syntax Analysis), 의미 분석(Semantic Analysis)을 거치며 문법 오류와 타입 오류가 검출된다. 선언되지 않은 변수 사용 같은 오류는 모두 이 단계에서 잡힌다. 최적화(Optimization)도 대부분 여기서 수행되어 불필요한 연산 제거, 루프 변형 같은 개선이 이루어진다.

어셈블 단계에서는 어셈블러(Assembler)가 어셈블리 코드를 CPU가 이해하는 기계어로 변환해 목적 파일을 만든다. 목적 파일은 리눅스에서는 ELF(Executable and Linkable Format) 형식이며 내부가 섹션(Section)으로 나뉜다. 기계어 명령은 .text 섹션, 초기값이 있는 전역 변수는 .data 섹션, 초기값이 없거나 0인 전역 변수는 .bss 섹션, 문자열 리터럴 같은 읽기 전용 데이터는 .rodata 섹션에 배치된다. .bss는 실제 값이 아니라 크기 정보만 기록되므로 파일 용량을 차지하지 않고, 프로그램 적재 시 0으로 채워진다.