Виртуальная основа для производного литья не полиморфного типа

Question

Преобразование базы в производную строку требует явного литья, хотя либо static_cast, либо dynamic_cast. Когда база виртуальна, применяется только последняя. Кроме того, dynamic_cast может использоваться только для полиморфных типов. Вместе они, кажется, предполагают, что практически невозможно преобразовать виртуальную базу в производную, учитывая, что вовлеченный тип не является полиморфным. Это правда?

Answer 1

Динамические/статические приведения применяются только к указателям и ссылкам.

Когда база виртуальна, применяются как статические, так и динамические прикладывания.

class Base { 
public: 
    virtual ~Base() {}; 
}; 

class Derived : public Base { 
}; 

int main(int argc, char **argv) 
{ 
    Base *b = nullptr; 
    Derived *d = nullptr; 
    d = dynamic_cast<Derived *>(b); 
    d = static_cast<Derived *>(b); 

    return 0; 
} 

Вторая часть вопроса: если база является виртуальной, производный тип является полиморфным. Что вы имеете в виду?

Answer 2

Ваша интерпретация стандарта представляется правильной.

Однако я согласен с тем, что это не имеет значения, потому что ваша гипотетическая виртуальная база с не виртуальным деструктором - это катастрофа, ожидающая, когда кто-то попытается полиморфно удалить ее и наведет неопределенное поведение, поскольку деструктор невиртуальном.