Templates et techniques génériques en C
Les templates génèrent une implémentation typée ; C utilise macros, void* ou C11 _Generic.
Qu’est-ce que Templates et techniques génériques en C ?
Les templates génèrent une implémentation typée ; C utilise macros, void* ou C11 _Generic.
Écrivez du code indépendant du type à la compilation.
Points importants
- Comprenez le mécanisme C avant l’abstraction C++.
- Exprimez ownership avec RAII et la sémantique de valeur.
- Préférez les abstractions typées aux macros et casts.
Exemples de code C et 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 7Comparaison entre C et C++
_Generic exige la liste des types supportés ; un template C++ fonctionne avec tout type offrant les opérations requises.
C
C utilise préfixes, callbacks, macros et contextes explicites.
C++
Le langage fournit des abstractions typées, structurées et souvent sans surcoût.
Exercices pratiques
Exécutez les deux versions puis modifiez-les pour observer leurs garanties.
- Écrivez d’abord le mécanisme C.
- Remplacez le nettoyage manuel par RAII.
- Mesurez allocations et dispatch virtuel.