Delegowanie konstruktora daje błąd segmentacji przy użyciu pola klasy dla argumentu

Question

W rzeczywistości błąd segmentacji występuje w innym programie, który próbowałem skompilować, co dzieje się z powodu tego zachowania.

Moje pytanie brzmi:

Jest to bug czy moja wina?

Powtarzalne w jakikolwiek sposób (nawet jeśli pole something są prywatne lub chronione) i tu jest mój przykład:

main.cc:

#include <iostream> 
class Test { 
    public: 
     const char* something = "SOMETHING HERE!!!"; 
     Test(const int& number) : Test(something, number) { } 
     // XXX: changed `something` to `_something` to make it different 
     Test(const char* _something, const int& number) { 
      std::cout << _something << std::endl; 
      std::cout << number << std::endl; } 
     ~Test() { } 
}; 

int main(int argc, char* argv[]) { 
    Test te1(345); 
    Test te2("asdasdad", 34523); 
    return 0; 
} 

I tu jest to, co się dzieje, gdy Kompilacja z:

g++ main.cc -Os -o main 

i uruchamiana z:

./main 

wyjście jest:

pi@pi:~/ $ ./main 
A"�~ <-- this is random 
345 
asdasdad 
34523 

Ale kiedy umożliwiają optymalizację z -O0 lub -O1 lub -O2 ... wyjście jest tylko nowa linia:

pi@pi:~/ $ ./main 
pi@pi:~/ $ 

G ++ wersja:

pi@pi:~/ $ g++ --version 
g++ (Raspbian 6.3.0-18+rpi1) 6.3.0 20170516 

Answer 1

const char* something = "SOMETHING HERE!!!"; 

Domyślny inicjator po prawej stronie jest, jak sama nazwa wskazuje, wykorzystywany tylko wtedy, gdy nie podano jawnego inicjalizatora na liście inicjalizacyjnej konstruktora. Spójrzmy na twoje:

Test(const int& number) : Test(something, number) { } 

OK, delegujemy do innego konstruktora. Ten inny konstruktor wykona pełną inicjalizację, więc domyślny inicjator nie jest używany. Ale ... przekazujemy niezainicjowaną wartość something jako parametr.

Test(const char* _something, const int& number) { /* ... */ } 

Uh-oh. Teraz próbujemy użyć wartości _something, która jest kopią something, która jest nieokreślona. Niezdefiniowane zachowanie i ogień.

Naprawdę nie należy przekazywać wartości elementu klasy jako parametru do jego konstruktora, chyba że masz nieskończony zapas ognioodpornych kur i jaj.

---

Zachowanie szukasz można uzyskać poprzez umieszczenie wartość domyślną w wywołaniu konstruktora Delegat:

Test(const int& number) : Test("SOMETHING HERE!!!", number) { } 

... lub utrzymanie go w specjalnej zmiennej statycznej:

static constexpr char *const defaultSomething = "SOMETHING HERE!!!"; 
Test(const int& number) : Test(defaultSomething, number) { } 

Answer 2

To jest błąd lub moja wina?

Och, to twoja wina. Domyślny inicjator elementu jest używany tylko do zainicjowania obiektu członkowskiego w nie-delegującym konstruktorze. Według [class.base.init]/9, kopalnia nacisk:

W nieograniczającym delegowania konstruktora, czy dana potencjalnie wykonana podobiekt nie jest wyznaczony przez MEM inicjatora-id (w tym przypadku, gdy nie ma MEM inicjatora -Wykaz ponieważ konstruktor ma konstruktor-inicjator), a następnie

• Jeżeli jednostka jest członkiem niestatycznych danych, który ma inicjator domyślny użytkownika i albo [...] jednostka jest inicjowane z jego domyślny inicjator członu określony w [dcl.ini t];

Więc something nie jest inicjowany kiedy przechodzą do konstruktora docelowej. Twój program ma niezdefiniowane zachowanie i idzie w popłoch.