Templates y técnicas genéricas en C
Los templates generan implementaciones type-safe; C usa macros, void* o C11 _Generic.
¿Qué es Templates y técnicas genéricas en C?
Los templates generan implementaciones type-safe; C usa macros, void* o C11 _Generic.
Escribe código independiente del tipo en compile time.
Puntos importantes
- Comprende primero el mecanismo de C.
- Usa RAII y semántica de valor para ownership.
- Prefiere abstracciones type-safe a macros y casts.
Ejemplos de código C y 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.0C++
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 7Comparación entre C y C++
_Generic enumera tipos soportados; un template C++ funciona con cualquier tipo que cumpla las operaciones.
C
C usa prefijos, callbacks, macros y contextos explícitos.
C++
El lenguaje ofrece abstracciones con scope, type-safe y de bajo coste.
Ejercicios prácticos
Ejecuta ambas versiones y modifícalas para observar sus garantías.
- Escribe primero el mecanismo en C.
- Sustituye cleanup manual por RAII.
- Mide allocations y dispatch virtual.