Обычное приведение против static_cast против dynamic_cast [duplicate]

static_cast

static_cast используется для случаев, когда вы в основном хотите отменить неявное преобразование с некоторыми ограничениями и дополнениями. static_cast не выполняет проверки времени выполнения. Это следует использовать, если вы знаете, что ссылаетесь на объект определенного типа, и поэтому в проверке нет необходимости. Пример:

void func(void *data) {
  // Conversion from MyClass* -> void* is implicit
  MyClass *c = static_cast<MyClass*>(data);
  ...
}

int main() {
  MyClass c;
  start_thread(&func, &c)  // func(&c) will be called
      .join();
}

В этом примере вы знаете, что передали объект MyClass , и поэтому нет необходимости в проверке времени выполнения, чтобы убедиться в этом.

dynamic_cast

dynamic_cast ] полезен, когда вы не знаете, какой у объекта динамический тип. Он возвращает нулевой указатель, если упомянутый объект не содержит тип, приведенный к базовому классу (при приведении к ссылке в этом случае выдается исключение bad_cast ).

if (JumpStm *j = dynamic_cast<JumpStm*>(&stm)) {
  ...
} else if (ExprStm *e = dynamic_cast<ExprStm*>(&stm)) {
  ...
}

Вы не можете использовать dynamic_cast , если вы выполняете понижающее преобразование (приведение к производному классу), а тип аргумента не является полиморфным. Например, следующий код недействителен, потому что Base не содержит никаких виртуальных функций:

struct Base { };
struct Derived : Base { };
int main() {
  Derived d; Base *b = &d;
  dynamic_cast<Derived*>(b); // Invalid
}

«up-cast» (приведение к базовому классу) всегда допустимо с обоими static_cast и dynamic_cast , а также без какого-либо преобразования, поскольку «up-cast» является неявным преобразованием.

Regular Cast

Эти преобразования также называются приведением в стиле C. Приведение в стиле C в основном идентично проверке ряда последовательностей приведений C ++ и взятию первого работающего приведения C ++, без учета dynamic_cast . Излишне говорить, что это намного мощнее, так как объединяет все const_cast , static_cast и reinterpret_cast , но это также небезопасно, потому что не использует dynamic_cast .

Кроме того, приведение типов в стиле C позволяет не только выполнять это, но они также позволяют безопасно выполнять приведение к частному базовому классу, в то время как "эквивалентная" последовательность static_cast даст вам ошибку времени компиляции для этого.

Некоторые люди предпочитают стиль C. слепки из-за их краткости. Я использую их только для числовых преобразований и использую соответствующие преобразования C ++, когда задействованы определенные пользователем типы, поскольку они обеспечивают более строгую проверку.

но они также позволяют безопасно выполнять приведение к частному базовому классу, в то время как «эквивалентная» последовательность static_cast даст вам ошибку времени компиляции для этого.

Некоторые люди предпочитают приведение типов в стиле C, потому что их краткости. Я использую их только для числовых преобразований и использую соответствующие преобразования C ++, когда задействованы определенные пользователем типы, поскольку они обеспечивают более строгую проверку.

но они также позволяют безопасно выполнять приведение к частному базовому классу, в то время как «эквивалентная» последовательность static_cast даст вам ошибку времени компиляции для этого.

Некоторые люди предпочитают приведение типов в стиле C, потому что их краткости. Я использую их только для числовых преобразований и использую соответствующие преобразования C ++, когда задействованы определенные пользователем типы, поскольку они обеспечивают более строгую проверку.