C++ для начинающих

Особенно трудно найти подобную ошибку, если явное преобразование типа делается в одном файле, а используется измененное значение в другом.

В некотором смысле это отражает фундаментальный парадокс языка С++: строгая проверка типов призвана не допустить подобных ошибок, в то же время наличие операторов явного преобразования позволяет “обмануть” компилятор и использовать объекты разных типов на свой страх и риск. В нашем примере мы “отключили” проверку типов при инициализации указателя 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;

4.15. Пример: реализация класса Stack

Описывая операции инкремента и декремента, для иллюстрации применения их префиксной и постфиксной формы мы ввели понятие стека. Данная глава завершается примером реализации класса iStack – стека, позволяющего хранить элементы типа int.

Как уже было сказано, с этой структурой возможны две основные операции – поместить элемент (push) и извлечь (pop) его. Другие операции позволяют получить информацию о текущем состоянии стека – пуст он (empty()) или полон (full()), сколько элементов в нем содержится (size()). Для начала наш стек будет предназначен лишь для элементов типа int. Вот объявление нашего класса:

#include vector

class iStack {

public:

iStack( int capacity )

: _stack( capacity ), _top( 0 ) {}

bool pop( int va1ue );

boot push( int value );

bool full();

bool empty();

void display();

int size();

private:

int _top;