warunkowego operatora + uskok + const odniesienia

Question

Zainspirowany this question, że próbował następujący kod:

struct A { 
    virtual void doit() const = 0; 
}; 

struct B : public A { 
    virtual void doit() const; 
}; 

struct C : public A { 
    virtual void doit() const; 
}; 

void 
foo(bool p) 
{ 
    const A &a = (p ? static_cast<const A &>(B()) : static_cast<const A &>(C())); 
    a.doit(); 
} 

Every compiler I have tried przyjmuje tego kodu z -Wall -Werror i generuje się zespół, że ma. Ale po uważnym przeczytaniu specyfikacji C++ 03, sekcja 12.2 ("Tymczasowe") i sekcji 5.12 ("Operator warunkowy"), nie jestem pewien, czy to gwarantuje działanie.

Czy jest to prawidłowy kod, czy też wywołuje niezdefiniowane zachowanie? Czy odpowiedź różni się dla C++ 03 i C++ 11?

Cytaty z odpowiednich specyfikacji byłyby mile widziane.

Answer 1

To bardzo nieważne.

Rozważmy:

#include <iostream> 
using namespace std; 

struct A { 
    virtual ~A() { cout << "~A" << endl; } 
    virtual void doit() const = 0; 
}; 

struct B : public A 
{ 
    ~B() override { cout << "~B" << endl; } 
    void doit() const override { cout << "A::doit" << endl; } 
}; 

struct C : public A 
{ 
    ~C() override { cout << "~C" << endl; } 
    virtual void doit() const { cout << "C::doit" << endl; } 
}; 

void foo(bool p) 
{ 
    cout << "foo(" << p << ")" << endl; 
    const A &a = (p ? static_cast<const A &>(B()) : static_cast<const A &>(C())); 
    a.doit(); 
} 

auto main(int argc, char* argv[]) -> int 
{ 
    cout << boolalpha; 

    foo(true); 
    cout << endl; 
    foo(false); 
} 

Wyjście w Coliru Viewer, używając g ++ 4.8:

 
foo(true) 

~B 

~A 

pure virtual method called 

terminate called without an active exception 

bash: line 7: 16922 Aborted     (core dumped) ./a.out 

Nadszedł UB więc wszelkie wyjaśnienie może być prawdą, ale można być pewnym, nie patrząc na zespole, to się dzieje:

• Powstaje tymczasowy.
• Jest to związane z odniesieniem.
  Jest to odniesienie powiązane z odwołaniem, więc nie wymaga utworzenia nowego tymczasowego lub plasterka.
• Tymczasowy jest zniszczony.
• W ramach tego jego dynamiczny typ (wskaźnik vtable) zostaje zmieniony na A, co jest abstrakcyjne.
• Wywoływany jest czysty wirtualny w A.