C 언어에서 인터페이스 구현, 성능과 안전성 사이의 균형점은?
by DD
5개월 전
조회수 18
C 언어에서 인터페이스(Interface)와 트레이트(Trait) 구현 시, 함수 포인터 사용과 관련된 WASM 호환성 문제가 발생함
C++20의 개념(Concepts)과 전처리기(Pre-processor)를 활용하여 동적 인터페이스를 구현하는 방법이 제시됨
링킹 타임 최적화(LTO)를 통해 컴파일러가 함수 호출을 인라인화하여 성능을 향상시킬 수 있음
타입 안전성(Type Safety) 확보를 위해 `void*` 사용을 지양하고, 메서드 테이블(Method Table)을 활용하는 방법이 제안됨
C 언어 인터페이스 구현의 문제점
C 언어에서 인터페이스를 구현하는 것은 Go나 Rust와 비교하여 여러 가지 문제점을 내포한다. 특히, 함수 포인터를 사용하여 인터페이스를 구현하는 경우, WASM 환경(WebAssembly Environment)에서 함수 포인터 타입 캐스팅(Function Pointer Type Casting)이 정의되지 않은 동작(Undefined Behavior)으로 이어질 수 있다. 또한, 컴파일러가 함수 호출을 인라인화하지 못해 성능 저하를 야기할 수 있다는 점도 단점으로 지적된다.
메서드 테이블(Method Table) 기반 인터페이스 구현
저자는 C 언어에서 인터페이스를 구현하기 위해 메서드 테이블(Method Table)을 사용하는 방법을 제시한다. 이 방식은 각 인터페이스 메서드를 별도의 구조체로 정의하고, 인터페이스 인스턴스에 메서드 테이블에 대한 포인터와 실제 객체에 대한 포인터를 저장한다. 이를 통해 타입 안전성(Type Safety)을 확보하고, 함수 포인터 관련 문제를 해결할 수 있다. 또한, 메서드 테이블을 사용하면 인터페이스 인스턴스의 크기를 줄일 수 있다는 장점이 있다.
