15
class A;
class B : public A;

B* b;
A* a = dynamic_cast<A*>(b);  // 1
A* a = (A*)b;  // 2

Для чего нужен dynamic_cast? Какие преимущества имеет запись 1 по сравнению с записью 2 и какие недостатки? В каких случаях какой вариант следует использовать?

2
  • Если программист действительно знает, что он делает, то (1) не нужен (лишние буковки).
    – avp
    24 июл 2016 в 0:13
  • 2
    Здесь - в приведенной иерархии - ни то, ни другое приведения просто не нужны :)
    – Harry
    24 июл 2016 в 4:22

3 ответа 3

22

Вообще-то, в том варианте, как вы записали, не нужно приводить ничего, потому что объект производного класса уже ЯВЛЯЕТСЯ объектом базового. Так что можно просто писать

A * a = b;

А вот если наоборот -

B * b = a;

начинаются проблемы. Потому что обычно это говорит о плохом проектировании. Вы хотите использовать именно потомка там, где используется только предок. Т.е. по сути дописать какое-то хитрое поведение там, где о нем ничего не известно и не должно быть известно.

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

void func(Base*b)
{
    ((Derived*)b)->derivedfunc();
}

Здесь вы вызываете функцию-член, которая есть у Derived, но которой нет в Base. Но что будет, если вы действительно передадите в функцию указтель на Base? Указатель на другого потомка Base, который ничего об этой функции не знает?

А dynamic_cast позволяет по крайней мере убедиться, что происходит именно то, что нужно, т.е. что там действительно указатель на Derived.

Что до приведения в стиле C - (A*)b - то тут, пожалуй, ближе всего reinterpret_cast - просто рассматривать биты как имеющие иной тип. Без каких-либо проверок. Что уже опасно, но, по крайней мере, в тексте программы в глаза будет бросаться это длинное слово - reinterpret_cast - как указатель на опасность. И это не шутка, это я повторяю Страуструпа - насчет длинных неуклюжих названий ..._cast.

P.S. Мне нет нужды напоминать, что при использовании dynamic_cast требуется наличие виртуальных функций, и пояснять, почему?

6
  • 3
    Также использование dynamic_cast требует включенного RTTI (что, как правило, по умолчанию везде включено). 24 июл 2016 в 4:29
  • 1
    Да и это нужно добавить в ответ Harry, т.к. его ответ пометится решением, мне кажется.
    – sys_dev
    26 июл 2016 в 12:09
  • Все же было бы интересно услышать, зачем требуются виртуальные функции? 26 июл 2016 в 12:37
  • @АндрейКурулёв ru.stackoverflow.com/questions/487610/…
    – perfect
    26 июл 2016 в 12:48
  • 5
    @АндрейКурулёв потому что проверка типа делается проще всего и без лишних расходов - по адресу таблицы виртуальных функций :)
    – Harry
    26 июл 2016 в 12:54
8

Нет ни одной причины использовать запись типа 2. Она появилась как обеспечение совместимости с приведением типов из С и старых версий С++.

По нынешним нормам НУЖНО использовать dynamic_cast. Если Вы хотите понять чем отличаются разные варианты cast'ов - дайте знать. Но в данном случае все тривиально. Мы приводим объект класса-потомка к базовому классу

Дополнительно обращу внимание, что cast'ы хороши, что они в принципе укладываются в систему обработки исключений и дают человеческие коды ошибок. А использование c-style приведения - это самый простой ( и не лучший!!! ) способ заткнуть компилятор. И замаскировать ошибку, а потом героически пытаться ее найти и/или исправить

2
  • Ну а в чем проблема записи типа 2, кроме того, что она пришла от Си? Какие ошибки может породить ее использование? 23 июл 2016 в 23:59
  • 3
    В том, что динамик каст проводит проверку соотносятся ли типы (родитель - потомок). А приведение как в Си позволяет вообще привести любой указатель к любому указателю. См. alenacpp.blogspot.ru/2005/08/c.html?m=1 написано очень доступно
    – gecube
    24 июл 2016 в 0:08
3

dyanmic_cast нужен для того чтобы безопасно выполнить понижающее приведение(от типа базового класса к типу наследника). Например

calss Base{
public:
    virtual ~Base(){}
};
calss A : public Base{};
calss B : public Base{};

void foo(A *a){
    Base *base = a;

    //1 Нормально скомпилируется. 
    //Приведение типа выполнится, но на этапе выполнения 
    //получится какая-то чепуха, причину которой будет 
    //найти ой как непросто
    B *b1 = (B*)base; 

    //2 Полностью идентично 1. 
    //Просто такую запись проще найти при помощи grep 
    //или похожих средств. Так же static_cast не 
    //убирает модификаторы const и volatile, что в 
    //некоторых случая позволит избежать ошибок
    B *b2 = static_cast<B*>(base); 

    //3 Также как и случаях 1 и 2 успешно скомпилируется. 
    //Но b3 будет равен 0. dynamic_cast используя RTTI 
    //определил что произошла попытка приведения к 
    //неправильному типу, и вернул 0.
    B *b3 = dynamic_cast<B*>(base); 

    //Теперь мы можем написать
    if(b3 == 0){
        std::cerr << "что-то пошло не так\n";
    }
    //И быстро локализовать ошибку
}

Так же для того чтобы можно было использовать dynamic_cast в базовом классе должна быть хотя бы одна виртуальная функция(деструктор вполне подойдет).

Если использовать вместо указателей ссылки, то dyamic_cast будет выбрасывать исключение std::bad_cast, если происходит неправильное приведение

7
  • Но он вроде же и ссылки приводит, не? Исключение выкинет, если ссылку невозможно привести 26 июл 2016 в 12:33
  • @АндрейКурулёв, ну я ж так и сказал) Если использовать вместо указателей ссылки, то dyamic_cast будет выбрасывать исключение std::bad_cast, если происходит неправильное приведение. Может не очень хорошо выразился, но имел ввиду именно это 26 июл 2016 в 12:59
  • Действительно, не так прочитал. Но тогда стоит добавить, что при работе с указателями при неудаче результатом будет нулевой указатель. 26 июл 2016 в 13:15
  • сказали же ведь - dynamic_cast при понижающем приведении базовго класса к потомку вовсе и ненужен, так как неявно приведётся полюбому. Опасности возникают когда делают upcast потомка в базовый класс, тут и нужен dynamic_cast для избежания неопредлённого поведения
    – ampawd
    26 июл 2016 в 13:17
  • @ampawd, вы что-то путаете. Base *base = a; - повышающее, B b3* = dynamic_cast<B*>(base); - понижающее 27 июл 2016 в 7:02

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.