История изменений

Исправление DarkEld3r, 01.04.16 17:54 (текущая версия) :

Что значит «может»?

Это и значит.

struct Base { virtual ~Base() {} };
struct A : Base { virtual ~A() {} };
struct B : Base { virtual ~B() {} };

void main() {
    Base* p = new B();
    auto* pa = dynamic_cast<A*>(p); // pa == nullptr
    auto& ra = dynamic_cast<A&>(*p); // exception
}

Исправление DarkEld3r, 01.04.16 17:54:

Что значит «может»?

Это и значит.

struct Base { virtual ~Base() {} };
struct A : Base { virtual ~A() {} };
struct B : Base { virtual ~B() {} };

void main() {
    Base* p = new B();
    auto* pa = dynamic_cast<A*>(p); // a == nullptr
    auto& ra = dynamic_cast<A&>(*p); // exception
}

Исходная версия DarkEld3r, 01.04.16 17:53:

Что значит «может»?

Это и значит.

struct Base { virtual ~A() {} };
struct A : Base { virtual ~A() {} };
struct B : Base { virtual ~A() {} };

void main() {
    Base* p = new B();
    auto* pa = dynamic_cast<A*>(p); // a == nullptr
    auto& ra = dynamic_cast<A&>(*p); // exception
}