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

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

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

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

## const\_cast

Оператор приведения _const\_cast_ используется в С\+\+ для добавления или удаления квалификаторов _const_ и/или _volatile_\. Общий вид:

```cpp
const_cast<new_type>(expression)
```

## static\_cast

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

```cpp
static_cast<new_type>(expression)
```

## dynamic\_cast

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

Общий вид:

```cpp
dynamic_cast<new_type>(expression)
```

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

* если результирующий тип — указатель, то результат выражения — нулевой указатель;
* если результирующий тип — ссылка, то будет брошено исключение типа [std::bad\_cast](https://en.cppreference.com/w/cpp/types/bad_cast)\. 

## reinterpret\_cast

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

```cpp
reinterpret_cast<new_type>(expression)
```

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

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

```cpp
(new_type) expression
```

**Список источников**

1. [CppReference\. C\+\+ Explicit type conversion](https://en.cppreference.com/w/cpp/language/explicit_cast)
1. [CppReference\. C cast operator](https://en.cppreference.com/w/c/language/cast)