모던 C++와 C 대안

Template과 C generic 기법

Template은 type-safe 구현을 만들고 C는 macro, void*, C11 _Generic을 씁니다.

Template과 C generic 기법이란?

Template은 type-safe 구현을 만들고 C는 macro, void*, C11 _Generic을 씁니다.

Type에 독립적인 compile-time code를 씁니다.

중요한 점

  • 먼저 C 메커니즘을 이해하세요.
  • RAII와 value semantics로 ownership을 표현하세요.
  • Macro와 cast보다 type-safe 추상화를 사용하세요.

C와 C++ 코드 예제

C
실행 →
main.c
#include <stdio.h>

int max_int(int left, int right) {
    return left > right ? left : right;
}

double max_double(double left, double right) {
    return left > right ? left : right;
}

#define MAX(left, right) _Generic((left), \
    int: max_int, double: max_double)((left), (right))

int main(void) {
    printf("%d %.1f\n", MAX(3, 9), MAX(2.5, 7.0));
}
예상 출력
9 7.0
C++
실행 →
main.cpp
#include <iostream>

template<class T>
T maximum(const T& left, const T& right) {
    return left > right ? left : right;
}

int main() {
    std::cout << maximum(3, 9) << ' '
              << maximum(2.5, 7.0) << '\n';
}
예상 출력
9 7

C와 C++ 비교

_Generic은 지원 type을 나열합니다. C++ template은 필요한 operation을 가진 모든 type에 동작합니다.

C

C는 prefix, callback, macro와 context 구조를 씁니다.

C++

언어 기능이 scope와 type safety를 갖춘 추상화를 제공합니다.

연습 문제

두 버전을 실행하고 수정하여 각 언어의 보장을 관찰하세요.

  • C 메커니즘을 먼저 작성하세요.
  • 수동 cleanup을 RAII로 바꾸세요.
  • Allocation과 virtual dispatch를 확인하세요.