лекции (2011) (1160854), страница 10

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

Текст из файла (страница 10)

Vector <const char *>a;

Sort(a);

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

template <class T> bool less (T& x, T& y) {

return x<y;

}

Это описание шаблонной функции. Хорошая функция сортировки должна работать через шаблонную функцию сравнения. Но проблема со * остаётся. Что делать? А вот что.

Пишем:

template <> bool less <const char *> (const char *p1, const char *p2) {

return strcmp(p1,p2);

}

template <> class Vector <void *>;

Подставь вместе T void * и сгенерируй код. (?)

Для векторов возможны такие реализации:

1) template <class T> class Vector {…}
2) template <> class Vector <T*>;</br>

Vector <long > V;

Vector <int> V1;

Оба по первой реализации и разные.

Vector <const char *> v2;

Vector <int *>v3;

Оба по второй и одинаковые.

Будет также эффективно, как и встроенный в язык вектор. Механизм частичной специализации очень эффективен. Вспомним:

Find(It first, It last, …)

Для каждого конкретного типа можно написать частичную специализацию Find

• I == X (?)

Можно передавать третьим параметром compare, и вызывать но это неэффективно, так как это срывает работу конвейера. Выход – функтор. Перекрываем операцию ( ):

сlass Finder {

public:

bool operator ()(T&x, …) {

…

}

}

Сравнение механизма шаблонов Си++ и родовых объектов Ады.

Особенности родовых объектов в языках С# и Java.

C#, Java – обобщенные классы

У них очень простой синтаксис и похожая идея:

class Stack <T> {…}

interface IComparable <T> {…}

Параметризовать можно как классы, так и интерфейсы и методы:

public void add <T> (T x) {…}

Слово class просто синтаксически не нужно. Компилятор производит первичный синтаксический анализ и перевод в MIL/Байт-код. Конкретизация же происходит при выполнении кода. Код генерируется оптимальным образом.

В Java в качестве параметризованных типов только классы. Вместо Stack <int> S надо Stack <Integer> S

В C# на такое пойтить не могли. Там же есть структуры! Если аргумент – класс или интерфейс, код разный. Для ссылок одинаковый.

В Java: if (Stack<Integer>.getClass==Stack<String>.getClass()) даст true

В C#:

сlass Dictionary <K, V> {

}

K – тип ключа, V – тип значения.

Явно при реализации должно быть нечто вроде:

public void Add( K Key, V Value) {

…

if (K<K1) …

…

}

На это будет выдана ошибка. Потому что функции < может не быть.

Надо:

if ((IComparable)K<K1)

Вместо этого можно:

class Dictionary <K, V> where K:Icomparable

Конструкция where используется в языке C# для определения ограничений на параметры родовых (другое название - обобщенных) конструкций.

Ее вид: where имя_типа : список_ограничений.

Виды ограничений:

– интерфейс — означает, что параметр-тип должен реализовывать

этот интерфейс;

– имя класса (может быть только одно такое ограничение в списке)

— означает, что параметр-тип должен быть наследником этого класса;

– struct или class – означает, что параметр-тип должен быть

структурой или классом;

– new() - означает, что параметр-тип должен иметь конструктор

умолчания (без параметров).

Характеристики

Список файлов лекций