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를 확인하세요.