Jakie podejścia do deklarowania i definiowania funkcji członkowskich klasy istnieją w C++? Czym różni się deklaracja w klasie, definicja w klasie i definicja poza klasą? Jak to wpływa na implementację inline?

Odpowiedź.

W C++ funkcję członka klasy można zadeklarować:

• W klasie (definicja inline):

  class A {
      void foo() { /* ... */ } // bezpośrednio w klasie
  };

  Takie funkcje są automatycznie uważane za inline.

• W klasie (tylko deklaracja):

  class A {
      void foo(); // tylko deklaracja
  };
  void A::foo() { /* ... */ } // definicja poza klasą

Różnica:

• Definicja w klasie („w miejscu”) automatycznie zakłada inline, kompilator może wprowadzić tę funkcję bezpośrednio do kodu jej wywołania.
• Definicja poza klasą nie jest automatycznie inline bez wyraźnego wskazania (inline), chociaż słowo kluczowe można dodać:

  inline void A::foo() { /* ... */ }

• Deklaracja poza klasą jest wymagana, gdy definicja jest oddzielona, na przykład w pliku .cpp w celu przyspieszenia kompilacji i odłączenia interfejsu od implementacji.

Zalety i wady podejść:

• Definicja w klasie jest wygodna dla małych, często wywoływanych funkcji.
• Dla dużych metod lub metod zmieniających się osobno wydajniej jest podać tylko deklarację w klasie, a definicję w .cpp.

---

Pytanie z podstępem.

Czy każda funkcja zdefiniowana w klasie będzie rzeczywiście wbudowana przez kompilator?

Odpowiedź: Nie. Słowo kluczowe inline (w tym niejawne przypisanie przy definicji wewnątrz klasy) to tylko sugestia dla kompilatora. Kompilator może zignorować tę wskazówkę, jeśli uzna funkcję za zbyt złożoną lub nieuzasadnioną do wbudowania.

---

Przykłady rzeczywistych błędów spowodowanych nieznajomością szczegółów tematu.

---

Historia 1

W dużym projekcie funkcje członkowskie były definiowane jako inline w plikach nagłówkowych i włączane w tysiące jednostek tłumaczenia, co spowodowało, że czas kompilacji wzrósł kilka razy, a binarka zwiększyła się z powodu duplikacji kodu — kompilator nie zawsze łączy identyczną implementację maszynową.

---

Historia 2

W próbie przyspieszenia wykonania, programista przeniósł całą logikę klasy do deklaracji (w pliku .h). Doprowadziło to do tego, że przy zmianie funkcji cały projekt był rekompilowany, a nie tylko pojedyncze pliki (które rzeczywiście miały wpływ na integrację).

---

Historia 3

Nowy członek zespołu umieścił długie metody serializacji i pracy z plikami bezpośrednio w deklaracji szablonowej klasy, wywołując przypadkowe rozprzestrzenienie błędów w całym TU oraz nadmierny wzrost rozmiaru pliku wykonywalnego bez przyrostu wydajności.