Compare ( o1, o3)

T1 a; T2 b;

public:

};

template < class T1, class T2, class T3, class T4>

void compare (myclass <T1, T2> & c1, myclass <T3, T4> &c2){

if (typeid (c1) == typeid (c2)) {

cout << " objects have one type ";

}else {

cout << " object have different types";

}

}

int main(){

myclass <int, double> o1, o2;

myclass <double, int> o3;

myclass < int, int> o4;

compare (o1, o2);

compare(o1, o4);

compare (o2, o3);

compare(o2, o4);

return 0;

}

2.26

Операторы приведения типов.

В С++ существуют следующий операторы приведения типов:

· стандартный оператор - (тип) выражение

· const_cast

· reinterpreted_cast

· static_cast

· dynamic_cast

Оператор const_cast.

const_cast < type > (expr)

Особенности:

· используется для явного замещения модификаторов const (немодифицируемый объект) и volatile (объект может менятся неявно) для указателей и ссылок

· результирующий тип должен совпадать с исходным за исключением const и volatile

· НЕЛЬЗЯ напрямую снять модификатор const с переменной

· в основном используется для работы с аргументами фукнций

· не рекомендуется к использованию (не безопасен)

· expr - исходное выражение

· type - результирующий тип

#include < iostream >

using namespace std;

void f1 (const int * a){

int * p = const_cast< int * > (a);

*p = *a * *a;

}

void f2 (const int& a){

const_cast<int & > (a) = a * a;

}

int main () {

int i = 2;

cout << i << " ";

f1 (&i);

cout << i << " ";

f2(i);

cout << i << " ";

return 0;

}

2.27

Оператор reinterpret_cast.

reinterpret_cast < type > (expr)

Особенности:

· используется для работы с битовыми областями данных - преобразования несовместимых типов указателей, а также для преобразования целых типов в указатели и наоборот

· нельзя использовать для преобразования типов с const и volatile

· не рекомендуется к использованию (не безопасен)

· expr - выражение, которое приводится к новому типу

· type - результирующий тип

#include <iostream>

using namespace std;

int main(){

char *s = "string";

int i = reinterpret_cast < int > (s);

cout << i;

return 0;

}

2.28

Оператор static_cast.

static_cast < type > (expr)

Особенности:

· используется для неполиморфного приведения типов - можно применять для любого стандартного приведения типов как и обычный оператор приведения

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

· нельзя использовать для преобразования типов с модификаторами const и volatile

2.29

Оператор dynamic_cast.

Особенности:

· используется для динамического приведения полиморфных типов (указателей или ссылок) с проверкой корректности приведения во время выполнения программы

· если приведение оказывается некорректным, то оно не выполняется - формируется признак ошибки

· нельзя использовать для преобразования типов с const и volatile

· expr - выражение, которое приводится к новому типу, должно вычислять указатель или ссылку

· type - результирующий тип (указатель или ссылка)

Правила приведения полиморфных типов:

· оператор dynamic_cast выполняется успешно, если указатель или ссылка, подвергающаяся приведению, в момент приведения ссылается на объект результирующего еласс или производного от результирующего

· при невозможности динамического приведения возвращается нулевой указатель (применитльно к указателям) или генерируется исключительная ситуация bad_cast (применительно к ссылкам)

Если даны класс Вase и производный от него класс Derived:

· приведение указателя Derived* к типу Вase* возможно ВСЕГДА - по стандартным правилам наследования указатель на базовый класс может ссылаться на объект производного класса

· приведение указателя Base* к типу Derived* возможно лишь в случае, когда указатель Base* в момент приведения действмительно ссылается на объект класса Derived

·

· 2.30Применение оператора dynamic_cast к шаблонным классам

Дата добавления: 2015-03-29