Odpowiedź.

W C++ parametry funkcji (w tym członki metod) można przekazywać:

• Przez wartość (by value): kopia obiektu jest tworzona wewnątrz funkcji. Oryginał nie jest zmieniany, ale jeśli są dynamiczne zasoby — możliwe niepoprawne kopiowanie!
• Przez wskaźnik (by pointer): przekazujemy adres. Można zmieniać oryginał, możliwe nullptr, zagrożenie z powodu braku sprawdzenia i zarządzania pamięcią.
• Przez referencję (by reference): jak przez wskaźnik, ale składnia jak zwykła zmienna. Referencja musi być ważna, nie można jej przekierować, ale z const zmniejsza overhead kopiowania.

Przykład:

void foo(int value);           // przez wartość
void foo(int* ptr);            // przez wskaźnik
void foo(const int& ref);      // przez referencję (optymalnie dla dużych obiektów!)

Przy przekazywaniu przez referencję możliwa jest optymalizacja (copy elision), a dla dużych obiektów zaleca się const &. Dla wskaźników zawsze sprawdzaj na nullptr.

Pytanie z podstępem.

Czym różni się const MyClass& obj od MyClass obj w parametrach funkcji?

Odpowiedź:

const MyClass& nie kopiuje obiektu, a jedynie udostępnia dostęp bez możliwości zmiany (optymalnie dla dużych obiektów). MyClass obj zawsze wykonuje kopię, co jest kosztowne przy dużych rozmiarach lub przy braku poprawnego kopiowania (np. brak implementacji deep copy).

void process(const std::string& s); // Nie kopiuje
void process(std::string s);        // Kopiuje

Przykłady rzeczywistych błędów z powodu nieznajomości szczegółów tematu.

---

Historia W korporacyjnej bibliotece struktur matematycznych programista postanowił przyspieszyć pracę, przekazując duże kontenery przez wartość. Powodowało to znaczne obciążenia przy każdym wywołaniu funkcji — wydajność spadła o połowę.

---

Historia W module zarządzania użytkownikami używano wskaźników bez sprawdzania na nullptr. Czasami dochodziło do przypadkowych awarii przy odwołaniach do nieważnych wskaźników, a debugowanie zajmowało miesiące.

---

Historia W projekcie przetwarzania obrazów część funkcji przyjmowała obiekty przez wartość, a część przez referencję. Dla jednej z klas nie zaimplementowano deep copy, co powodowało wycieki pamięci i niejawne współdzielenie zasobów po przekazaniu przez wartość.