C 언어에서 인터페이스 구현, 성능과 안전성 사이의 균형점은?
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)을 확보하고, 함수 포인터 관련 문제를 해결할 수 있다. 또한, 메서드 테이블을 사용하면 인터페이스 인스턴스의 크기를 줄일 수 있다는 장점이 있다.
C++20 Concepts를 활용한 동적 인터페이스 구현
C++20의 개념(Concepts)과 전처리기를 활용하여 C++에서 동적 인터페이스를 구현하는 방법이 제시되었다. 이 방법은 fat pointer를 사용하여 동적 디스패치를 구현하고, 사용자 정의 vtable을 사용한다. 이를 통해 Rust와 유사한 기능을 구현할 수 있지만, C++의 복잡성으로 인해 구현 난이도가 높다는 단점이 있다. 또한, const-correctness를 보장하기 위한 추가적인 노력이 필요하다.
링킹 타임 최적화(LTO)를 통한 성능 향상
C 언어에서 인터페이스를 사용할 때, 링킹 타임 최적화(LTO)를 통해 컴파일러가 함수 호출을 인라인화하도록 유도하여 성능을 향상시킬 수 있다. LTO는 컴파일러가 전체 프로그램의 코드를 분석하여 최적화를 수행하므로, 동적 디스패치로 인한 성능 저하를 완화할 수 있다. 하지만, LTO를 사용하면 컴파일 시간이 증가할 수 있다는 단점이 있다. Rust의 경우, 컴파일러가 함수 호출을 완전히 최적화하여 성능을 극대화한다.
