• 1 Описание
• 2 Неявное приведение типа
  • 2.1 Неявное приведение типа в языках C/C++
• 3 Явное приведение типа
  • 3.1 Приведения типов в языке C
  • 3.2 Приведения типов в языке C++
    • 3.2.1 Операция static_cast
    • 3.2.2 Операция dynamic_cast
    • 3.2.3 Операция const_cast
    • 3.2.4 Операция reinterpret_cast
• 4 См. также
• 5 Примечания
• 6 Ссылки

• явные (англ. explicit);
• неявные (англ. implicit cast, coercion).

• конструкции языка;
• встроенных функций, принимающей значение одного типа и возвращающей значение другого типа.

• после вычисления операндов бинарных арифметических, логических, битовых операций, операций сравнения, а также 2-го или 3-го операнда операции «?:»; значения операндов приводятся к одинаковому типу;
• перед выполнением присваивания;
• перед передачей аргумента функции;
• перед возвратом функцией возвращаемого значения;
• после вычисления выражения конструкции switch значение приводится к целочисленному типу;
• после вычисления выражений конструкций if, for, while, do-while значение приводится к типу bool.

double  d;  // вещественный тип
long    l;  // целый тип
int     i;  // целый тип

if ( d > i )      d  = i;
if ( i > l )      l  = i;
if ( d == l )     d *= 2;

#include <stdio.h>

int main ( void )
{
   int   i_value = 16777217;
   float f_value = 16777216.0;
   printf( "The integer is:%d\n", i_value );
   printf( "The float is:  %f\n", f_value );
   printf( "Their equality:%d\n", i_value == f_value );
}

 The integer is: 16777217
 The float is: 16777216.000000
 Their equality: 1

int X;
int Y = 200;
char C = 30;
X = (int)C * 10 + Y; // переменная С приводится к типу int

• сначала переменная C символьного типа char явно приводится к целочисленному типу int путём расширения разрядности;
• выполняется вычисление операндов для операции умножения. Левый операнд имеет тип int. Правый операнд — константа 10, а такие константы по умолчанию имеют тип int. Так как оба операнда оператора «*» имеют тип int, неявное приведение типов не выполняется. Результат умножения тоже имеет тип int;
• выполняется вычисление операндов операции сложения. Левый операнд — результат умножения имеет тип int. Правый операнд — переменная Y имеет тип int. Так как оба операнда оператора «+» имеют тип int, неявное приведение к общему типу не выполняется. Результат сложения тоже имеет тип int;
• выполнение присваивания. Левый операнд — переменная X имеет тип int. Правый операнд — результат вычисления выражения, записанного справа от знака «=», тоже имеет тип int. Так как оба операнда оператора «=» имеют одинаковый тип, неявное приведение типов не выполняется.

xxx_cast< type_to >( expression_from )

y = static_cast< signed short >( 65534 ); // переменной y будет присвоено значение -2

• преобразование между числовыми и enum, в том числе если неявное преобразование невозможно (int enum class) или приводит к предупреждению «Возможная потеря точности» (double float);
• приведение указателей к типу void* и наоборот;
• приведение указателей на производные типы к указателям на базовые типы и наоборот;
• выбор одной из нескольких перегруженных функций;

bool myLess(const wchar_t*, const wchar_t*);
bool myLess(const std::wstring&, const std::wstring&);

std::vector<std::wstring> list;
std::sort(list.begin(), list.end(), static_cast<bool(*)(const std::wstring&, const std::wstring&)>(myLess));

• явный вызов конструктора с одним аргументом или перегруженной операции приведения типа;

struct Type {
   // конструктор с одним аргументом для приведения типа int к типу Type
   Type ( int );

   // перегруженная операция для приведения типа Type к типу double
   operator double () const;
};

int main () {
   Type x, y;
   int i;
   double d;

   // вызов конструктора с одним аргументом
   x = y + static_cast< Type >( i );

   // вызов перегруженной операции приведения типа
   d = static_cast< double >( x );

   return 0;
}

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

struct Type {
   // конструктор с несколькими аргументами для приведения типа int к типу Type;
   // для 2-го и последующих аргументов заданы значения по умолчанию
   Type ( int, int = 10, float = 0.0 );
};

• приведение типа в шаблонах (компилятор уже при специализации шаблона решает, какие операции использовать);
• приведение операндов тернарной условной операции «?:» к одному типу (значения 2-го и 3-го операндов должны иметь одинаковый тип);

// Получить процент попаданий.
double hitpercent (
   const int aHitCount, // число попаданий
   const int aShotCount // число выстрелов
) {
   if ( aShotCount == 0 ) return 0.0;
   // Приведение типов к double выполняется для выполнения вещественного (не целочисленного) деления
   return static_cast< double >( aHitCount * 100 ) / static_cast< double >( aShotCount );
}

// следующие строчки эквивалентны

// использование операции static_cast
string s = static_cast< string >( "Hello!" );
// вызов конструктора с одним аргументом
string s = string( "Hello!" );
// использование операции «круглые скобки»
string s = (string) "Hello!";

string s = static_cast< string >( 5 ); // не компилируется, компилятор не может найти подходящий конструктор

• для указателей возвращается NULL;
• для ссылок создаётся исключение std::bad_cast.

#include <string> // string
using namespace std;

namespace
{
   string s = "Wikipedia"; // Глобальная переменная
   // метод string::c_str() возвращает указатель типа const char *
}

typedef char * PChar;

void __declspec( dllexport ) WINAPI SomeDllFunction ( PChar & rMessage )
{
   // преобразование char const * в char *
   rMessage = const_cast< char * >( s.c_str() );
}

• Если expression_from возвращает значение порядкового типа или указатель, тип type_to может быть порядковым типом или указателем.
• Если expression_from возвращает ссылку, тип type_to должен быть ссылкой.

// Возвращает true, если число x конечное.
// Возвращает false, если число x равно  или NaN.
bool isfinite ( double const x )
{

   // преобразование double const -> uint64_t const &
   uint64_t const & y = reinterpret_cast< uint64_t const & >( x );

   return ( ( y & UINT64_C( 0x7FF0000000000000 ) ) != UINT64_C( 0x7FF0000000000000 ) );
}

// попытка получения адреса временного значения
long const & y = reinterpret_cast< long const & >( x + 5.0 );
// ошибка: выражение x + 5.0 не является ссылкой

• Dynamic cast
• Динамическая идентификация типа данных (RTTI)
• Типизация данных
• Каламбур типизации

1. cppreference.com. Implicit conversions Архивная копия от 18 декабря 2014 на Wayback Machine.
2. open-std.org ISO/IEC 9899:2018 C Programming Language Standard (C18) Архивная копия от 22 июля 2020 на Wayback Machine 6.3.1.4 Real floating and integer.
3. ^{1 2 3} C++ Weekly - Ep 283 - Stop Using const_cast! - YouTube  (неопр.). Дата обращения: 20 августа 2021. Архивировано 20 августа 2021 года.

• Robert C. Seacord ПINT02-C. Understand integer conversion rules (англ.), cert.org