Risposta.

In C++, i parametri delle funzioni (inclusi i membri dei metodi) possono essere passati:

• Per valore (by value): viene creata una copia dell'oggetto all'interno della funzione. L'originale non viene modificato, ma se ci sono risorse dinamiche — potrebbe verificarsi una copia errata!
• Per puntatore (by pointer): viene passato l'indirizzo. È possibile modificare l'originale, ci possono essere nullptr, pericolo a causa della mancanza di controllo e possesso della memoria.
• Per riferimento (by reference): come per un puntatore, ma la sintassi è quella di una variabile normale. Il riferimento deve essere valido, non può essere reindirizzato, ma con const riduce l'overhead della copia.

Esempio:

void foo(int value);           // per valore
void foo(int* ptr);            // per puntatore
void foo(const int& ref);      // per riferimento (ottimale per grandi oggetti!)

Quando si passa per riferimento è possibile implementare l'ottimizzazione (copy elision), e per grandi oggetti si raccomanda const &. Per i puntatori, controlla sempre per nullptr.

Domanda trabocchetto.

Qual è la differenza tra const MyClass& obj e MyClass obj nei parametri della funzione?

Risposta:

const MyClass& non copia l'oggetto, ma fornisce solo accesso senza possibilità di modificarlo (ottimale per grandi oggetti). MyClass obj copia sempre, il che è oneroso per grandi dimensioni o in assenza di una copia corretta (ad esempio, deep copy non implementato).

void process(const std::string& s); // Non copia
void process(std::string s);        // Copia

Esempi di errori reali a causa della mancata conoscenza delle sottigliezze dell'argomento.

---

Storia Nella libreria aziendale di strutture matematiche, un programmatore ha deciso di accelerare il lavoro passando grandi contenitori per valore. Questo ha causato costi sostanziali ad ogni chiamata di funzione — le prestazioni sono diminuite della metà.

---

Storia Nel modulo di gestione degli utenti sono stati usati puntatori senza controllo per nullptr. A volte si verificavano crash casuali quando si accedeva a puntatori non validi, il debug ha richiesto mesi.

---

Storia Nel progetto di elaborazione delle immagini, alcune funzioni accettavano oggetti per valore, mentre altre per riferimento. Per una delle classi, non era stata implementata la deep copy, il che ha causato perdite di memoria e una condivisione implicita delle risorse dopo il passaggio per valore.