std::function: oggetti chiamabili type-erased
Nasconda i tipi dietro std::function e comprenda la small-buffer optimization
std::function: oggetti chiamabili type-erased è una lezione C++ Academy gratuita su CoddyKit. Questa è la lezione 4 di 4. Puoi leggere la lezione completa qui gratuitamente — poi esercitati direttamente nel browser con un editor di codice integrato e un tutor IA disponibile 24/7. Fa parte del percorso di apprendimento C++ Academy, e i tuoi progressi si sincronizzano tra il web e l'app CoddyKit. Il corso C++ Academy include 4 lezioni in totale.
Il problema: un tipo per molti elementi chiamabili
Ogni lambda ha un tipo univoco. Ogni puntatore a funzione è un tipo diverso. Serve un unico tipo che possa contenerli tutti: std::function.
Parametro di template
std::function<Signature> accetta il tipo restituito e i tipi dei parametri. Accetta qualsiasi elemento chiamabile con quella firma.
#include <functional>
std::function<int(int, int)> op;
op = [](int a, int b) { return a + b; };
std::cout << op(3, 4); // 7Memorizzare elementi chiamabili diversi
La stessa variabile std::function può contenere una lambda, un puntatore a funzione o un funtore, purché la firma corrisponda.
std::function<int(int)> f;
f = [](int x) { return x * 2; }; // lambda
f = ::abs; // function pointer
f = std::negate<int>{}; // functorType erasure
Internamente, std::function utilizza la type erasure: memorizza qualsiasi elemento chiamabile e ne nasconde il tipo reale dietro un'interfaccia uniforme. Spesso viene implementata con una piccola allocazione sull'heap.
Costo in termini di prestazioni
Una chiamata tramite std::function comporta una chiamata indiretta (simile a una funzione virtuale). È più lenta di una chiamata diretta a una lambda. Evitatela nei percorsi critici.
Quando usare std::function
Utilizzatela quando:
- Memorizzate callback in un contenitore o come membro di una classe
- Restituite un elemento chiamabile da una funzione
- Costruite un plugin o un sistema di eventi
std::function vuota
Una std::function costruita per impostazione predefinita è vuota. Chiamarla genera std::bad_function_call.
std::function<void()> f;
if (f) f(); else std::cout << "no callback set";Puntatori a funzioni membro
Associate una funzione membro con std::bind oppure racchiudetela in una lambda.
struct Obj { void greet(int) {} };
Obj o;
std::function<void(int)> cb = [&](int n) { o.greet(n); };Confronto con i puntatori a funzione
I puntatori a funzione non possono memorizzare uno stato. std::function può farlo, al costo di chiamate indirette.
Confronto con i template
I template con parametri chiamabili vengono specializzati a tempo di compilazione e sono quindi i più veloci. std::function risolve il tipo a runtime: è più lenta, ma flessibile.
template <typename F>
void run(F f) { f(); } // compile-time, no overhead
void run(std::function<void()> f) { f(); } // runtime, type erasurestd::function in C++23: std::function_ref
C++23 ha aggiunto std::function_ref, una vista non proprietaria su un elemento chiamabile. Evita l'allocazione sull'heap quando la durata è limitata.
Alternative
Esistono alternative leggere: std::move_only_function (C++23), tl::function_ref e folly::Function. Scegliete in base alle esigenze.
Verifica rapida
Qual è il principale svantaggio di std::function?
Riepilogo
std::function<Signature> memorizza qualsiasi elemento chiamabile con una firma corrispondente. È utile per callback, plugin e polimorfismo dinamico sugli elementi chiamabili, al costo di chiamate indirette.
Domande Frequenti
La lezione «std::function: oggetti chiamabili type-erased» è gratuita?
Sì — il testo completo di «std::function: oggetti chiamabili type-erased» è gratuito qui sul web. Per esercitarvi in modo interattivo (un editor di codice integrato e un tutor IA 24/7) e sbloccare il resto del corso C++ Academy, passa a CoddyKit PRO. Il corso C++ Academy include 4 lezioni in totale.
Cosa imparerò in «std::function: oggetti chiamabili type-erased»?
Nasconda i tipi dietro std::function e comprenda la small-buffer optimization Eserciti C++ Academy con codice pratico che esegui direttamente nel browser, e un tutor IA 24/7 risponde alle tue domande mentre lavori sulla lezione.
Ho bisogno di esperienza per iniziare C++ Academy?
Non è richiesta alcuna esperienza precedente. C++ Academy su CoddyKit è strutturato per principianti e studenti avanzati, quindi puoi iniziare da qui o dall'inizio e procedere al tuo ritmo. Questa è la lezione 4 di 4.
Quanto tempo richiede la lezione «std::function: oggetti chiamabili type-erased»?
La maggior parte delle lezioni CoddyKit richiede circa 5–10 minuti. Ogni lezione è breve e interattiva, quindi fai progressi costanti e riprendi esattamente da dove hai lasciato su web e app.
Posso scrivere ed eseguire codice in questa lezione C++ Academy?
Sì. Ogni lezione C++ Academy include un editor di codice integrato, quindi scrivi ed esegui codice reale direttamente nel tuo browser e ricevi feedback istantaneo dall'IA — nessuna configurazione locale necessaria.
Tutte le lezioni di questo corso
- Oggetti funzione e functor
- Capture delle lambda: per valore, per riferimento, mutable
- Lambda generiche e closure in C++14
- std::function: oggetti chiamabili type-erased