30 Окт 2010

Явное приведение типов

30 Окт 2010

const_cast
static_cast
dynamic_cast
reinterpret_cast
C-style cast (приведение в стиле С)

C и C++ — это языки со слабой статической типизацией. Статическая означает, что типы известны на этапе компиляции, а слабая означает, что языки допускают смешивание различных типов в одном выражении и проводят неявные преобразования.

Несмотря на наличие неявных (implicit) преобразований, многие операции требуют явного (explicit) приведения типов. Для выполнения явного приведения типов используются специальные конструкции языка программирования, которые указывают, как трактовать тип определённой переменной или выражения.

Рассмотрим основные способы приведения типов в языках С и С++.

const_cast

Оператор приведения const_cast используется в С++ для добавления или удаления квалификаторов const и/или volatile. Общий вид:

const_cast<new_type>(expression)

static_cast

Оператор приведения static_cast применяется в С++ для приведения типов на этапе компиляции программы. В случае невозможности преобразования будет выдана ошибка компиляции. Общий вид:

static_cast<new_type>(expression)

dynamic_cast

Оператор приведения dynamic_cast применяется в С++ для полиморфного приведения типов на этапе выполнения программы.

Общий вид:

dynamic_cast<new_type>(expression)

Если преобразование невозможно, то возможны две ситуации:

если результирующий тип — указатель, то результат выражения — нулевой указатель;
если результирующий тип — ссылка, то будет брошено исключение типа std::bad_cast.

reinterpret_cast

Оператор приведения reinterpret_cast применяется в С++ для приведения несовместимых типов на основе их битового представления. Например, целое число к указателю и наоборот. Общий вид:

reinterpret_cast<new_type>(expression)

C-style cast (приведение в стиле С)

Оператор приведения в стиле C применяется для приведения выражения любого типа к любому другому типу данных (с некоторыми исключениями). Использование в С++ хоть и возможно, но является плохим тоном из-за возможности легко допустить ошибки. Общий вид: