C++ moderno e alternative C

Template e tecniche generiche C

I template generano implementazioni type-safe; C usa macro, void* o C11 _Generic.

Che cos’è Template e tecniche generiche C?

I template generano implementazioni type-safe; C usa macro, void* o C11 _Generic.

Scrivi codice type-independent a compile time.

Punti importanti

Comprendi prima il meccanismo C.
Usa RAII e value semantics per ownership.
Preferisci astrazioni type-safe a macro e cast.

Esempi di codice C e C++

Esegui →

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));
}

Output previsto

9 7.0

C++

Esegui →

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';
}

Output previsto

9 7

Confronto tra C e C++

_Generic elenca i tipi supportati; un template C++ funziona con ogni tipo che offre le operation richieste.

C usa prefissi, callback, macro e context espliciti.

C++

Il linguaggio offre astrazioni con scope, type-safe e spesso zero-overhead.

Esercizi pratici

Esegui entrambe le versioni e modificale per osservare le diverse garanzie.

Scrivi prima il meccanismo C.
Sostituisci cleanup manuale con RAII.
Misura allocation e virtual dispatch.