C 언어의 `->` 연산자, 왜 존재할까?

초기 C 언어(CRM)에서 `->` 연산자는 구조체 멤버의 글로벌 오프셋(Global Offset)을 참조하는 데 사용되었다. CRM에서는 모든 구조체 멤버 이름이 고유한 글로벌 의미를 가졌으며, `->` 연산자는 이러한 멤버에 접근하기 위한 수단이었다. 예를 들어, `i->b = 42;`와 같은 표현은 주소 5에 오프셋 2를 더한 위치에 42를 할당하는 방식으로 해석되었다. 이러한 방식은 포인터 타입에 대한 엄격한 제약 없이 메모리 접근을 가능하게 했다.

K&R C로 넘어오면서 `->` 연산자의 기능은 `*`와 `.`의 조합과 동일하게 변경되었다. CRM에서 구조체 멤버가 글로벌 오프셋 식별자 역할을 했던 개념은 사라졌다. 이러한 변화는 C 언어의 설계 철학을 반영하며, 언어의 유연성(Language Flexibility)을 높이는 방향으로 진행되었다. 하지만, 이러한 변화는 기존 코드와의 호환성 문제를 야기할 수 있었으며, 기술 부채(Technical Debt)의 한 측면으로 볼 수 있다.

C 언어는 배열과 구조체를 다르게 처리한다. 배열은 포인터로 붕괴되는 반면, 구조체는 그렇지 않다. 이러한 차이는 BCPL 언어의 영향을 받아 형성된 것으로, C 언어의 설계 철학을 보여준다. 배열의 주소 계산 방식(Address Calculation)과 구조체 멤버 접근 방식의 차이는 C 언어의 특징 중 하나이며, 메모리 관리(Memory Management)와 관련된 중요한 고려 사항이다.

C 언어의 `->` 연산자 존재 이유는 단순한 문법적 편의를 넘어, 초기 언어 설계의 역사적 맥락과 깊이 연관되어 있다. CRM에서의 `->` 연산자는 컴파일러 구현의 단순성(Compiler Implementation Simplicity)을 위해 도입되었을 가능성이 높다. 또한, C 언어는 하드웨어 추상화(Hardware Abstraction)를 목표로 설계되었기 때문에, 메모리 접근에 대한 유연성을 제공하는 방향으로 발전했다. 이러한 역사적 배경을 이해하는 것은 C 언어의 설계 철학을 이해하는 데 중요하다.