[C++] Symbol

링크 에러 메세지에서 주로 보게되는 심볼(Symbol)이 문득 정확히 어떻게 사용되는지, 정확히 무엇을 의미하는지가 궁금해져 정리를 하게 되었습니다. 겉핥기로 알고 있던 심볼에 대해 더 공부하고 정리해보겠습니다.

---

심볼(Symbol)이란?

심볼은 컴파일러·링커가 프로그램 내부 엔티티를 식별하기 위해 생성하는 이름 정보입니다. 즉, 우리가 작성한 C++ 코드를 기계어가 이해할 수 있도록 내부적으로 사용하는 식별자입니다.

C++에서 심볼이 만들어지는 대상은 다음과 같습니다.

• 함수
• 전역 변수
• static 변수
• 클래스 멤버 함수
• 템플릿 인스턴스
• 가상 함수 테이블(vtable)

심볼은 실제 바이너리 내부에 기록되며, 링커가 여러 개의 obj 파일을 연결할 때 이 정보를 사용합니다.

---

C++ 심볼의 실제 형태 (Name Mangling)

C++ 함수는 오버로딩, 네임스페이스, 클래스 등 구조가 복잡해서 컴파일하면 내부적으로 이름이 변형됩니다. 이를 네임 맹글링(Name Mangling) 이라고 합니다.

예를 들어:

int Add(int a, int b);

이 함수는 컴파일 후 다음과 같은 이름으로 변환될 수 있습니다.

?Add@@YAHHH@Z

이런 형태의 이름이 바로 심볼(Symbol) 입니다.

---

3. 심볼과 링키지(Linkage)

심볼에는 “어디까지 보이는가?” 를 나타내는 링키지(Linkage) 개념이 붙습니다.

✔ External Linkage

다른 파일에서도 접근 가능한 심볼 (기본적인 전역 함수/전역 변수)

int gValue;
void Foo();

✔ Internal Linkage

파일 내부에서만 보이는 심볼 static 키워드로 생성됩니다.

static int localGlobal = 10;

✔ No Linkage

지역 변수처럼 링커가 관여하지 않는 경우, 심볼 테이블에 올라가지 않음

---

Undefined Symbol (미정의 심볼)

C++ 컴파일 시 선언만 있고 정의가 없는 심볼은 링커가 처리해야 합니다.

예:

extern int Value;

Value의 정의가 없다면 링크 단계에서 오류가 발생합니다.

undefined reference to `Value`

즉, 심볼은 선언 → 참조 → 정의가 일치해야 linking이 성공합니다.

---

Symbol Table (심볼 테이블)

컴파일러와 링커는 심볼 정보를 다음과 같이 테이블로 관리합니다

• 변수 이름, 타입, 메모리 위치
• 함수의 주소
• 템플릿 인스턴스 정보
• 가상 함수 테이블 정보
• 접근 범위 및 링크 여부

.obj 파일을 열면 심볼 테이블을 확인할 수 있습니다.

실제 심볼 테이블을 확인해보기 위해 DUMPBIN을 사용해보겠습니다.

VS2022의 터미널에서 실행했습니다.

obj 파일에서 심볼 테이블을 확인할 수 있었습니다.

---

왜 중요한가?

심볼은 다음 문제들의 핵심 원인/해결책이 됩니다.

• 함수 중복 정의 오류
• undefined reference 링크 오류
• static 전역과 일반 전역 변수 차이
• 템플릿 인스턴스 중복 생성 문제
• vtable 관련 링크 에러

즉, C++ 빌드 과정에서 발생하는 대부분의 문제는 결국 심볼에 대한 이해로 해결됩니다.

---

핵심 요약

• 심볼은 C++ 코드의 컴파일·링크 과정에서 생성되는 내부 이름
• C++은 오버로딩 때문에 Name Mangling이 적용된다.
• 심볼에는 External / Internal / No Linkage가 있다.
• 정의되지 않은 심볼은 링크 에러를 만든다.
• obj 파일 내부의 모든 정보는 Symbol Table에 기록되어 있다.