|
C++ для начинающих |
4.14. Преобразования типов
Представим себе следующий оператор присваивания:
int ival = 0;
// обычно компилируется с предупреждением ival = 3.541 + 3;
В результате ival получит значение 6. Вот что происходит: мы складываем литералы
разных типов – 3.541 типа double и 3 типа int. C++ не может непосредственно
сложить подобные операнды, сначала ему нужно привести их к одному типу. Для
этого существуют правила преобразования арифметических типов. Общий принцип
таков: перейти от операнда меньшего типа к большему, чтобы не потерять точность
вычислений.
В нашем случае целое значение 3 трансформируется в тип double, и только после
этого производится сложение. Такое преобразование выполняется независимо от
желания программиста, поэтому оно получило название неявного преобразования
типов.
Результат сложения двух чисел типа double тоже имеет тип double. Значение равно
6.541. Теперь его нужно присвоить переменной ival. Типы переменной и результата
6.541 не совпадают, следовательно, тип этого значения приводится к типу переменной
слева от знака равенства. В нашем случае это int. Преобразование double в int
производится автоматически, отбрасыванием дробной части (а не округлением).
Таким образом, 6.541 превращается в 6, и этот результат присваивается переменной
ival. Поскольку при таком преобразовании может быть потеряна точность, большинство
компиляторов выдают предупреждение.
Так как компилятор не округляет числа при преобразовании double в int, при необходимости
мы должны позаботиться об этом сами. Например:
double dva1 = 8.6; int iva1 = 5; ival += dva1 + 0.5; // преобразование с округлением
При желании мы можем произвести явное преобразование типов:
// инструкция компилятору привести double к int ival = static_cast< int >( 3.541 ) + 3;
В этом примере мы явно даем указание компилятору привести величину 3.541 к
типу int, а не следовать правилам по умолчанию.
В этом разделе мы детально обсудим вопросы и неявного (как в первом примере),
и явного преобразования типов (как во втором).
4.14.1. Неявное преобразование типов
Язык определяет набор стандартных преобразований между объектами встроенного типа, неявно выполняющихся компилятором в следующих случаях:
- арифметическое выражение с операндами разных типов: все операнды приводятся
к наибольшему типу из встретившихся. Это называется арифметическим преобразованием.
Например:
int ival = 3; double dval = 3.14159; // ival преобразуется в double: 3.0 ival + dval;
- присваивание значения выражения одного типа объекту другого типа. В этом
случае результирующим является тип объекта, которому значение присваивается.
Так, в первом примере литерал 0 типа int присваивается указателю типа int*,
значением которого будет 0. Во втором примере double преобразуется в int.
// 0 преобразуется в нулевой указатель типа int* int *pi = 0; // dval преобразуется в int: 3
ivat = dval; - передача функции аргумента, тип которого отличается от типа соответствующего
формального параметра. Тип фактического аргумента приводится к типу параметра:
extern double sqrt( double ); // 2 преобразуется в double: 2.0
cout << "Квадратный корень из 2: " << sqrt( 2 ) << endt; - возврат из функции значения, тип которого не совпадает с типом возвращаемого
результата, заданным в объявлении функции. Тип фактически возвращаемого значения
приводится к объявленному. Например:
double difference( int ivati, int iva12 ) { // результат преобразуется в double return ivati - iva12; }
4.14.2. Арифметические преобразования типов
Арифметические преобразования приводят оба операнда бинарного арифметического выражения к одному типу, который и будет типом результата выражения. Два общих правила таковы:
- типы всегда приводятся к тому из типов, который способен обеспечить наибольший диапазон значений при наибольшей точности. Это помогает уменьшить потери точности при преобразовании;
- любое арифметическое выражение, включающее в себя целые операнды типов, меньших чем int, перед вычислением всегда преобразует их в int.
- Мы рассмотрим иерархию правил преобразований, начиная с наибольшего типа long double.
Если один из операндов имеет тип long double, второй приводится к этому же типу в любом случае. Например, в следующем выражении символьная константа 'a' трансформируется в long double (значение 97 для представления ASCII) и затем прибавляется к литералу того же типа:
3.14159L + 'a'.
Если в выражении нет операндов long double, но есть операнд double, все преобразуется к этому типу. Например:
int ival; float fval; double dval; // fval и ival преобразуются к double перед сложением
dval + fval + ival;
В том случае, если нет операндов типа double и long double, но есть операнд float, тип остальных операндов меняется на float:
char cvat; int ival; float fval; // iva1 и cval преобразуются к float перед сложением
cvat + fval + ival;
Если у нас нет вещественных операндов , значит, все они представляют собой
целые типы. Прежде чем определить тип результата, производится преобразование,
называемое приведением к целому: все операнды с типом меньше, чем int, заменяются
на int.
При приведении к целому типы char, signed char, unsigned char и short int преобразуются
в int. Тип unsigned short int трансформируется в int, если этот тип достаточен
для представления всего диапазона значений unsigned short int (обычно это происходит
в системах, отводящих полслова под short и целое слово под int), в противном
случае unsigned short int заменяется на unsigned int.
Тип wchar_t и перечисления приводятся к наименьшему целому типу, способному
представить все их значения. Например, в перечислении
enum status { bad, ok };
значения элементов равны 0 и 1. Оба эти значения могут быть представлены типом
char, значит char и станет типом внутреннего представления данного перечисления.
Приведение к целому преобразует char в int.
В следующем выражении
char cval;
bool found;
enum mumble { ml, m2, m3 } mval;
unsigned long ulong;
cval + ulong; ulong + found; mval + ulong;
перед определением типа результата cval, found и mval преобразуются в int.
После приведения к целому сравниваются получившиеся типы операндов. Если один
из них имеет тип unsigned long, то остальные будут того же типа. В нашем примере
все три объекта, прибавляемые к ulong, приводятся к типу unsigned long.
Если в выражении нет объектов unsigned long, но есть объекты типа long, тип
остальных операндов меняется на long. Например:
char cval; long lval; // cval и 1024 преобразуются в long перед сложением
cval + 1024 + lval;
Из этого правила есть одно исключение: преобразование unsigned int в long происходит
только в том случае, если тип long способен вместить весь диапазон значений
unsigned int. (Обычно это не так в 32-битных системах, где и long, и int представляются
одним машинным словом.) Если же тип long не способен представить весь диапазон
unsigned int, оба операнда приводятся к unsigned long.
В случае отсутствия операндов типов unsigned long и long, используется тип unsigned
int. Если же нет операндов и этого типа, то к int.
Может быть, данное объяснение преобразований типов несколько смутило вас. Запомните
основную идею: арифметическое преобразование типов ставит своей целью сохранить
точность при вычислении. Это достигается приведением типов всех операндов к
типу, способному вместить любое значение любого из присутствующих в выражении
операндов.
4.14.3. Явное преобразование типов
Явное преобразование типов производится при помощи следующих операторов: static_cast,
dynamic_cast, const_cast и reinterpret_cast. Заметим, что, хотя иногда явное
преобразование необходимо, оно служит потенциальным источником ошибок,
поскольку подавляет проверку типов, выполняемую компилятором. Давайте сначала
посмотрим, зачем нужно такое преобразование.
Указатель на объект любого неконстантного типа может быть присвоен указателю
типа void*, который используется в тех случаях, когда действительный тип объекта
либо неизвестен, либо может меняться в ходе выполнения программы. Поэтому указатель
void* иногда называют универсальным указателем. Например:
int iva1; int *pi = 0; char *pc = 0; void *pv;
pv = pi; // правильно: неявное преобразование pv = pc; // правильно: неявное преобразование
const int *pci = &iva1; pv = pci; // ошибка: pv имеет тип, отличный от const void*; const void *pcv = pci; // правильно
Однако указатель void* не может быть разыменован непосредственно. Компилятор не знает типа объекта, адресуемого этим указателем. Но это известно программисту, который хочет преобразовать указатель void* в указатель определенного типа. С++ не обеспечивает подобного автоматического преобразования:
#include <cstring>
int ival = 1024;
void *pv;
int *pi = &iva1;
const char *pc = "a casting call";
void mumble() {
pv = pi; // правильно: pv получает адрес ival
pc = pv; // ошибка: нет стандартного преобразования
char *pstr = new char[ str1en( pc )+1 ];
strcpy( pstr, pc );
}
Компилятор выдает сообщение об ошибке, так как в данном случае указатель pv содержит адрес целого числа ival, и именно этот адрес пытаются присвоить указателю на строку. Если бы такая программа была допущена до выполнения, то вызов функции strcpy(), которая ожидает на входе строку символов с нулем в конце, скорее всего привел бы к краху, потому что вместо этого strcpy() получает указатель на целое число. Подобные ошибки довольно просто не заметить, именно поэтому С++ запрещает неявное преобразование указателя на void в указатель на другой тип. Однако такой тип можно изменить явно:
void mumble 0 {
// правильно: программа по-прежнему содержит ошибку,
// но теперь она компилируется!
// Прежде всего нужно проверить
// явные преобразования типов...
pc = static_cast< char* >( pv );
char *pstr = new char[ str1en( pc )+1 ];
// скорее всего приведет к краху
strcpy( pstr, pc );
}
Другой причиной использования явного преобразования типов может служить необходимость избежать стандартного преобразования или выполнить вместо него собственное. Например, в следующем выражении ival сначала преобразуется в double, потом к нему прибавляется dval, и затем результат снова трансформируется в int.
double dval; int iva1; ival += dval;
Можно уйти от ненужного преобразования, явно заменив dval на int:
ival += static_cast< int >( dval );
Третьей причиной является желание избежать неоднозначных ситуаций, в которых
возможно несколько вариантов применения правил преобразования по умолчанию.
(Мы рассмотрим этот случай в главе 9, когда будем говорить о перегруженных функциях.)
Синтаксис операции явного преобразования типов таков:
cast-name< type >( expression );
Здесь cast-name – одно из ключевых слов static_cast, const_cast, dynamic_cast
или reinterpret_cast, а type – тип, к которому приводится выражение expression.
Четыре вида явного преобразования введены для того, чтобы учесть все возможные
формы приведения типов. Так const_cast служит для трансформации константного
типа в неконстантный и подвижного (volatile) – в неподвижный. Например:
extern char *string_copy( char* ); const char *pc_str; char *pc = string_copy( const_cast< char* >( pc_str ));
Любое иное использование const_cast вызывает ошибку компиляции, как и попытка
подобного приведения с помощью любого из трех других операторов.
С применением static_cast осуществляются те преобразования, которые могут быть
сделаны неявно, на основе правил по умолчанию:
double d = 97.0; char ch = static_cast< char >( d );
Зачем использовать static_cast? Дело в том, что без него компилятор выдаст
предупреждение о возможной потере точности. Применение оператора static_cast
говорит и компилятору, и человеку, читающему программу, что программист знает
об этом.
Кроме того, с помощью static_cast указатель void* можно преобразовать в указатель
определенного типа, арифметическое значение – в значение перечисления (enum),
а базовый класс – в производный. (О преобразованиях типов базовых и производных
классов говорится в главе 19.)
Эти изменения потенциально опасны, поскольку их правильность зависит от того,
какое конкретное значение имеет преобразуемое выражение в данный момент выполнения
программы:
enum mumble { first = 1, second, third };
extern int ival;
mumble mums_the_word = static_cast< mumble >( ival );
Трансформация ival в mumble будет правильной только в том случае, если ival
равен 1, 2 или 3.
reinterpret_cast работает с внутренними представлениями объектов (re-interpret
– другая интерпретация того же внутреннего представления), причем правильность
этой операции целиком зависит от программиста. Например:
complex<double> *pcom; char *pc = reinterpret_cast< char* >( pcom );
Программист не должен забыть или упустить из виду, какой объект реально адресуется указателем char* pc. Формально это указатель на строку встроенного типа, и компилятор не будет препятствовать использованию pc для инициализации строки:
string str( pc );
хотя скорее всего такая команда вызовет крах программы.
Это хороший пример, показывающий, насколько опасны бывают явные преобразования
типов. Мы можем присваивать указателям одного типа значения указателей совсем
другого типа, и это будет работать до тех пор, пока мы держим ситуацию под контролем.
Однако, забыв о подразумеваемых деталях, легко допустить ошибку, о которой компилятор
не сможет нас предупредить.
Особенно трудно найти подобную ошибку, если явное преобразование типа делается
в одном файле, а используется измененное значение в другом.
В некотором смысле это отражает фундаментальный парадокс языка С++: строгая
проверка типов призвана не допустить подобных ошибок, в то же время наличие
операторов явного преобразования позволяет “обмануть” компилятор и использовать
объекты разных типов на свой страх и риск. В нашем примере мы “отключили” проверку
типов при инициализации указателя pc и присвоили ему адрес комплексного числа.
При инициализации строки str такая проверка производится снова, но компилятор
считает, что pc указывает на строку, хотя, на самом-то деле, это не так!
Четыре оператора явного преобразования типов были введены в стандарт С++ как
наименьшее зло при невозможности полностью запретить такое приведение. Устаревшая,
но до сих пор поддерживаемая стандартом С++ форма явного преобразования выглядит
так:
char *pc = (char*) pcom;
Эта запись эквивалентна применению оператора reinterpret_cast, однако выглядит
не так заметно. Использование операторов xxx_cast позволяет четко указать те
места в программе, где содержатся потенциально опасные трансформации типов.
Если поведение программы становится ошибочным и непонятным, возможно, в этом
виноваты явные видоизменения типов указателей. Использование операторов явного
преобразования помогает легко обнаружить места в программе, где такие операции
выполняются. (Другой причиной непредсказуемого поведения программы может стать
нечаянное уничтожение объекта (delete), в то время как он еще должен использоваться
в работе. Мы поговорим об этом в разделе 8.4, когда
будем обсуждать динамическое выделение памяти.)
Оператор dynamic_cast применяется при идентификации типа во время выполнения
(run-time type identification). Мы вернемся к этой проблеме лишь в разделе 19.1.
4.14.4. Устаревшая форма явного преобразования
Операторы явного преобразования типов, представленные в предыдущем разделе,
появились только в стандарте С++; раньше использовалась форма, теперь считающаяся
устаревшей. Хотя стандарт допускает и эту форму, мы настоятельно не рекомендуем
ею пользоваться. (Только если ваш компилятор не поддерживает новый вариант.)
Устаревшая форма явного преобразования имеет два вида:
// появившийся в C++ вид type (expr);
// вид, существовавший в C (type) expr;
и может применяться вместо операторов static_cast, const_cast и reinterpret_cast.
Вот несколько примеров такого использования:
const char *pc = (const char*) pcom; int ival = (int) 3.14159; extern char *rewrite_str( char* ); char *pc2 = rewrite_str( (char*) pc ); int addr_va1ue = int( &iva1 );
Эта форма сохранена в стандарте С++ только для обеспечения обратной совместимости с программами, написанными для С и предыдущих версий С++.
Упражнение 4.21
Даны определения переменных:
char cval; int ival; float fval; double dva1; unsigned int ui;
Какие неявные преобразования типов будут выполнены?
(a) cva1 = 'a' + 3; (b) fval = ui - ival * 1.0; (c) dva1 = ui * fval; (d) cva1 = ival + fvat + dva1;
Упражнение 4.22
Даны определения переменных:
void *pv; int ival; char *pc; double dval; const string *ps;
Перепишите следующие выражения, используя операторы явного преобразования типов:
(a) pv = (void*)ps; (b) ival = int( *pc ); (c) pv = &dva1; (d) pc = (char*) pv;Назад Вперед