Лекция 30. Преобразования типов в C++ презентация

unsigned char, short или unsigned short преобразуются к типу int, если точность типа int достаточна, в противном случае они преобразуются к типу unsigned int.
Величины типа wchar_t и константы перечисленных типов преобразуются к первому из типов int, unsigned int, long и unsigned long, точность которого достаточна для представления данной величины.
Битовые поля преобразуются к типу int, если точность типа int достаточна, или к unsigned int, если точность unsigned int достаточна. В противном случае преобразование не производится.
Логические значения преобразуются к типу int, false становится 0 и true становится 1.

из операндов имеет тип long double, то другой преобразуется также к long double;
в противном случае, если один из операндов имеет тип double, то другой преобразуется также к double;
в противном случае, если один из операндов имеет тип float, то другой преобразуется также к float;
затем, если в выражении один из операндов имеет тип unsigned long, то другой также преобразуется к unsigned long;
в противном случае, если один из операндов имеет тип long, а другой – unsigned int, и тип long может представить все значения unsigned int, то unsigned int преобразуется к long, иначе оба операнда преобразуются к unsigned long;
в противном случае, если один из операндов имеет тип long, то другой преобразуется также к long;
в противном случае, если один из операндов имеет тип unsigned, то другой преобразуется также к unsigned;
в противном случае оба операнда будут типа int.
При выполнении этих правил не происходит потеря точности или значащих цифр результата.

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

(злоупотреблять ими не стоит)
В С++ существует 4 оператора преобразования типов, плюс поддерживается преобразование в стиле C. (c-style casting не рекомендуется)
static_cast
reinterpret_cast
const_cast
dynamic_cast
Операторы имеют следующий синтаксис:
some_cast(SourceVar);

во время компиляции.
Операция   static_cast выполняет следующие преобразования:
Указатель к указателю
Один числовой тип к другому
Один enum к другому
Один класс в другой если между ними есть отношение наследования.
Приведение вверх по иерархии выполняется автоматически,
static_cast позволяет выполнять обратное преобразование. (что в общем случае небезопасно.)

к ошибке компиляции.
В этом случае можно использовать reinterpret_cast.
Используя этот оператор вы как бы говорите компилятору: “Я лучше тебя знаю, что я делаю. И вообще, твое дело компилировать, а не замечания мне делать” ☺
reinterpret-cast небезопасен по определению.

модификатора const (или volatile) используется const_cast.

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

Если преобразование указателя в указатель не возможно, возвращается 0.
Если преобразование ссылки в ссылку не возможно, возвращается std::bad_cast.
Подробно не описываю, т.к. используется редко. Можно сказать, что использование dynamic_cast свидельствует о плохом дизайне.

reinterpret_cast.
Мы не знаем, что конкретно сделал компилятор.
C-style casting тяжело найти в коде, новые преобразования ищутся легко.
Новые преобразования лучше описывают намерения программиста.

встроенные правила и один раз пользовательские
Преобразование из внешнего типа в наш делается через конструктор, принимающий один аргумент:
Преобразование из нашего во внешний делается через оператор приведения типа:
class String
{
…
String(char *s);
operator char*();
};