Odpowiedź.

Historia pytania:

W klasycznym C++ członkowie klasy byli inicjalizowani tylko w liście inicjalizacji konstruktora. W C++11 pojawiła się możliwość podawania wartości domyślnych bezpośrednio w deklaracji wewnątrz klasy (inicjalizatory członków) w celu poprawy czytelności i bezpieczeństwa kodu.

Problem:

Istnieje kilka sposobów przypisania wartości członkom klasy: bezpośrednio w deklaracji (in-class), przez listę inicjalizacji konstruktora i już w ciele konstruktora. Różne podejścia wpływają na wydajność i semantykę; niewłaściwe zrozumienie prowadzi do niepotrzebnego kopiowania lub domyślnych destruktorów, błędów związanych z stałymi i referencjami.

Rozwiązanie:

In-class initializer — zalecany sposób dla prostych wartości domyślnych (działa tylko z C++11+). Wewnątrz klasy:

class MyClass {
    int x = 42;
};

Lista inicjalizacji konstruktora — niezbędna dla członków klas bez konstruktora domyślnego, stałych i referencji:

class MyClass {
    const int y;
    MyClass(int val) : y(val) {} // w przeciwnym razie — błąd kompilacji
};

Inicjalizacja w ciele konstruktora — sposób, który nie jest zalecany, ponieważ w tym momencie członkowie danych są już utworzeni z wywołaniem konstruktora domyślnego, co prowadzi do zbędnych działań:

class MyClass {
    std::string s;
    MyClass() { s = "hello"; } // Najpierw default, potem przypisanie
};

Kluczowe cechy:

In-class initializer ułatwia przypisywanie wartości domyślnych.
Lista inicjalizacji daje kontrolę nad kolejnością inicjalizacji (ważna dla stałych, referencji).
Inicjalizacja w ciele konstruktora — antywzorzec dla członków klas z konstruktorami bezargumentowymi.

Pytania z pułapką.

Jaka będzie kolejność inicjalizacji członków: w kolejności, w jakiej są zadeklarowane w klasie, czy w kolejności z listy inicjalizacji?

Kolejność inicjalizacji zawsze jest taka, w jakiej członkowie są zadeklarowani w klasie, a nie w kolejności inicjalizacji z listy. Naruszenie tej kolejności jest niebezpieczne dla zależnych członków.

class A {
    int x = 1;
    int y = 2;
    A() : y(10), x(20) {}
};
// x jest inicjalizowane przed y, mimo kolejności w liście

Czy można inicjalizować członka-stałą wewnątrz ciała konstruktora, jeśli nie został on zainicjowany w liście?

Nie. Stałe są inicjalizowane tylko w liście inicjalizacji. Przypisanie w ciele konstruktora — błąd kompilacji.

Co się stanie, jeśli przypiszemy wartość domyślną dla członka bezpośrednio w klasie przez in-class initializer i nadpiszemy ją w liście inicjalizacji konstruktora?

Zostanie użyta wartość z listy inicjalizacji konstruktora. Wartość domyślna jest używana tylko wtedy, gdy lista niczego nie wskazuje.

class C {
    int x = 10;
    C() : x(20) {} // x będzie równe 20
};

Typowe błędy i antywzorce

Inicjalizacja złożonych członków w ciele konstruktora zamiast w liście inicjalizacji.
Naruszenie kolejności definicji członków i kolejności ich inicjalizacji.
Próba inicjalizacji stałych lub referencji poza listą inicjalizacji.

Przykład z życia

Negatywny przypadek

Klasa pracuje z plikiem. Plik zadeklarowany jako std::ofstream, a inicjalizowany w ciele konstruktora. Niebezpieczeństwo: przy konstruktorze domyślnym może być stworzony nieprawidłowy std::ofstream, co prowadzi do błędów w pracy z plikiem.

Zalety:

Prosto zaimplementować.

Wady:

Niepotrzebne kopiowanie lub tworzenie nieprawidłowego obiektu.
Błędy przy członach stałych/referencyjnych.

Pozytywny przypadek

Plik jest inicjalizowany w liście inicjalizacji, blokując błędne używanie pliku w stanie nieprawidłowym, a członkowie z danymi domyślnymi korzystają z in-class initializer.