Презентация на тему Преобразования типов

преобразования типов. Они используются в случае, если

переменная одного типа должна рассматриваться как переменная другого типа.

Преобразование типов потенциально может привести к возникновению ошибок. Его использование не рекомендуется.

в двух формах:
тип(выражение) или (тип) выражение.
Например
float

c = double(1)/7;
float d = (double)1/7;

Приведение типов чаще всего используется для преобразования нетипизированного указателя (на void) в типизированный.
Например функция сравнения строк для сортировки выглядит так:

int cmp (const void *a, const void *b)
{ return strcmp( (const char *) a,
(const char *) b);
}

используется для передачи константного указателя в функцию

в качестве параметра, соответствующего обычному указателю. const_cast <тип> выражение.

void print (int *p)
{ cout << *p; }

int main()
{ int t = 10;
const int *p = &t;
print (const_cast (p));
}

также для преобразования между указателями и ссылками

на объекты одной иерархии.
static_cast <тип> выражение;
float d =static_cast(1)/7;

: public animal
{ public:

…
void guard() { say(); cout<< "rrrrrrr..." <};

int main()
{ animal * f = new dog ("filya");
f->say(); f->hungry(); // f->guard();
static_cast (f)->guard();
// static_cast (c)->guard();
return 0;
}

Возможно также обратное преобразование из указателя (или ссылки) на производный класс в базовый. Недостаток статического преобразования - отсутствует контроль за правильностью применения преобразования

Результат преобразования может быть проверен. Если объект

не может быть преобразован к указанному типу, то возвращается нулевая ссылка.
int main()
{ animal * f = new dog ("filya");
animal * c = new cat ("murka");
dog * d = dynamic_cast (f);
if (d) d->guard(); else cout <<"error";
dog * e = dynamic_cast (c);
if (e) e->guard(); else cout <<"error";
return 0;
}

которая возвращает ссылку на объект класса type_info.
У

класса type_info есть метод name() – имя типа. Для объектов класса type_info определено сравнение на равенство и неравенство.
cout << typeid (*f). name() <

данных, с которыми работают. Например, вычисление максимального

элемента или сортировка. В этом случае можно написать несколько перегруженных функций, но в таком случае один и тот же код придется много раз писать.
int max (int a, int b)
{ if (a>b) return a;
else return b;
}
В С++ можно описать шаблон – семейство функций, которые зависят от типа данных. Конкретный тип данных передается в виде параметра на этапе компиляции. Компилятор автоматически создает код, соответствующий переданному типу.

// тело функции
}
Может быть несколько параметров, как

типов, так и переменных.

max (T a, T b)
{ if

(a>b) return a;
else return b;
}

int main()
{ int a=10, b = 5;
double c = 3, d = 10;
cout << max(a,b) < cout << max(c,d) <// cout << max(a,d) < cout << max(a,d) < return 0;
}

компилятором кода для версии функции соответствующего типа.

Этот процесс называется инстанцирование шаблона. Тип инстанцирования либо определяется автоматически исходя из типов параметров, либо задается явно.

class имя_класса
{ // поля

и методы используют аргумент тип
};

Data = char, int Max = 1000>
class

stack {
private:
Data st[Max];
int top;
public:
stack (): top(0) {}
void push(Data x)
{ st[top++] = x; }
Data pop()
{ return st[--top]; }
bool empty()
{ return (top == 0);}

};

int main()
{ stack <> s1;
s1.push('a'); s1.push('b'); s1.push('c');
cout << "1: " << s1.pop() << endl;
cout << "2: " << s1.pop() << endl;
cout << "3: " << s1.pop() << endl;
stack s2;
s2.push(1); s2.push(2); s2.push(3);
while (! s2.empty())
cout << s2.pop() << endl;
return 0;
}

Шаблоны методов не могут быть виртуальными.
Если

для определенного типа существует более эффективный код, то можно использовать специализацию шаблона.