Навигация
Главная
Поиск
Форум
FAQ's
Ссылки
Карта сайта
Чат программистов

Статьи
-Delphi
-C/C++
-Turbo Pascal
-Assembler
-Java/JS
-PHP
-Perl
-DHTML
-Prolog
-GPSS
-Сайтостроительство
-CMS: PHP Fusion
-Инвестирование

Файлы
-Для программистов
-Компонеты для Delphi
-Исходники на Delphi
-Исходники на C/C++
-Книги по Delphi
-Книги по С/С++
-Книги по JAVA/JS
-Книги по Basic/VB/.NET
-Книги по PHP/MySQL
-Книги по Assembler
-PHP Fusion MOD'ы
-by Kest
Professional Download System
Реклама
Услуги

Автоматическое добавление статей на сайты на Wordpress, Joomla, DLE
Заказать продвижение сайта
Программа для рисования блок-схем
Инженерный калькулятор онлайн
Таблица сложения онлайн
Популярные статьи
OpenGL и Delphi... 65535
Форум на вашем ... 65535
HACK F.A.Q 65535
Бип из системно... 65535
Гостевая книга ... 65535
Invision Power ... 65535
Пример работы с... 65535
Содержание сайт... 65535
ТЕХНОЛОГИИ ДОСТ... 65535
Организация зап... 65535
Вызов хранимых ... 65535
Создание отчето... 65535
Программируемая... 65535
Эмулятор микроп... 65535
Подключение Mic... 65535
Создание потоко... 65535
Приложение «Про... 65535
Оператор выбора... 65535
Модуль Forms 65535
21 ошибка прогр... 63353
Реклама
Сейчас на сайте
Гостей: 8
На сайте нет зарегистрированных пользователей

Пользователей: 13,135
новичок: Kalqkwm
Новости
Реклама
Выполняем курсовые и лабораторные по разным языкам программирования
Подробнее - курсовые и лабораторные на заказ
Delphi, Turbo Pascal, Assembler, C, C++, C#, Visual Basic, Java, GPSS, Prolog, 3D MAX, Компас 3D
Заказать программу для Windows Mobile, Symbian

Компьютерный магазин на Turbo Pascal (База данных) + Пояснительная записка
Лабораторная работа по динамическим спискам на Turbo Pascal (перемещение...
Моделирование автовокзала + Отчет + Блок схема

Реклама



Подписывайся на YouTube канал о программировании, что бы не пропустить новые видео!

ПОДПИСЫВАЙСЯ на канал о программировании
Специализация


По умолчанию шаблон представляет единственное определение, которое должно использоваться для всех аргументов шаблона (или комбинаций аргументов шаблона). Однако иногда возникает желание использовать одну реализацию шаблона, когда в качестве аргумента шаблона фигурирует, например, указатель, другую – когда аргумент указателем не является. Это можно реализовать, обеспечив альтернативные определения шаблона и предоставив компилятору возможность осуществлять выбор нужного варианта на основе аргументов шаблона, указанных при его использовании. Такие альтернативные определения шаблона называются специализациями, определяемыми пользовате-лем, или просто пользовательскими специализациями.

Рассмотрим возможные использования шаблона Vector.

template <class T> class Vector //общий тип Vector

{

T *v;

int sz;

public:

Vector();

explicit Vector(int);

T &elem (int) {return v[i];}

T &operator[](int i);

void Swap(Vector&);



};



Vector <int> vi;

Vector <Shape*> vps;

Vector <string> vs;

Vector <char*> vpc;

Vector <Node*> vpn;






Большинство векторов будут векторами указателей некоторого типа. В большинстве реализаций C++ код функций шаблона дублируется. Это положительно сказывается на производительности, но приводит к разбуханию кода. Однако у нас есть возможность заставить все эти вектора совместно пользоваться единственной реализацией шаблона. Это можно выразить с помощью специализации.
Определим специализацию Vector для указателей на void:

template <> class Vector<void*>

{

void **p;



void *&operator[](int);

};






Эту специализацию можно использовать в качестве общей реализации для всех векторов указателей. Префикс template<> говорит о том, что речь идет о специализации, которая может быть указана без параметра шаблона. Аргументы шаблона, для которых должна использоваться специализация, задаются в угловых скобках <> после имени. То есть <void*> означает, что данное определение должно использоваться как реализация для всех Vector, у которых T является void*.
Vector<void*> является полной специализацией. То есть здесь нет параметра шаблона, который бы следовало задавать или который бы выводился при инстанцировании, когда мы используем специализацию. Vector<void*> используется с векторами, объявленными следующим образом:
Vector<void*> vpv;




Для определения специализации, которая используется для любого вектора указателей и только для векторов указателей, нам требуется частичная специализация:

template <class T> class Vector<T*>:

private Vector<void*>

{

public:

typedef Vector<void*> Base;

Vector():Base();

explicit Vector(int):Base(int){}

T *&elem (int i)

{return reinterpret_cast<T *&>(Base::elem(i));}

T *&operator[](int i)

{

return reinterpret_cast<T *&>(Base::operator[](i));

}



};







Образец специализации <T*> после имени означает, что эта специализация должна использоваться для каждого типа указателя, то есть это определение используется для каждого Vector, аргумент шаблона которого можно выразить в виде T*. Например:

//<T*> - это <Shape*>, поэтому T - Shape

Vector <Shape*> vps;

//<T*> - это <int**>, поэтому T – int*

Vector <int**> vppi;






Обратите внимание, что когда используется частичная специализация, параметр шаблона выводится по образцу специализации; параметр шаблона не является фактическим аргументом шаблона. В частности, для Vector<Shape*>, T – это Shape, а не Shape*.
При наличии такой частичной специализации Vector мы имеем совместно используемую реализацию для всех векторов указателей. Класс Vector<T*> является просто интерфейсом к Vector<void*>, выполненным исключительно с использованием механизмов наследования и встраивания.
Общий шаблон должен быть объявлен прежде любой специализации. Например:
template <class T> class List<T*> {…};

template <class T> class List {…}; /* ошибка: общий шаблон после инициализации
*/



Если пользователь специализирует где-нибудь шаблон, эта специализация должна быть в области видимости при каждом использовании шаблона с типом, для которого он был специализирован. Например:
template <class T> class List {…};

List <int*> li;

template <class T> class List<T*> {…}; // ошибка

 




В этом примере специализация List для int* была сделана после использования List <int*>.
Все специализации шаблона должны быть объявлены в том же самом пространстве имен, что и сам шаблон. Если используется явно объявленная специализация (в отличие от сгенерированной из более общего шаблона), то она должна быть где-то явно определена. Другими словами, явная специализация шаблона означает, что для этой специализации не генерируется определение.
Одна специализация считается более специализированной, чем другая, если каждый список аргументов, соответствующий образцу первой специализации, так же соответствует и второй специализации, но не наоборот. Например:

// общий шаблон

template <class T> class Vector;

// специализация для любого указателя

template <class T> class Vector <T*>;

// специализация для void*

template < > class Vector < >;






Любой тип можно использовать в качестве аргумента шаблона для наиболее
общего класса Vector, но только указатели можно использовать с Vector <T*> и только указатели void* разрешается применять с Vector <void*>Естественно, специализация также полезна для шаблонов функций. Как и в случае с классами, используется префикс template<>, который означает, что речь идет о специализации, оторую можно указывать без параметра шаблона. Например, пусть у нас есть шаблон функции, осуществляющей сравнение:

template <class T> bool Less(T a, T b)

{ return a<b; }






Однако эта функция будет некорректно работать в случае передачи ей в качестве параметров типа char*, так как в этом случае будут сравниваться адреса первых char в каждой строке, хотя изначально предполагалось сравнивать символы. Простая специализация функции Less для const char* поможет решить эту проблему:

template <> bool Less<const char*> (const char *a, const char *b)

{ return strcmp(a, b) < 0; }






Так как аргумент шаблона может быть выведен по списку аргументов функции, нет необходимости его явно указывать, поэтому можно упростить запись:
template <> bool Less (const char *a, const char *b)

{ return strcmp(a, b) < 0; }




Специализация полезна, когда существует более эффективная альтернатива общему алгоритму для конкретных аргументов шаблона. Кроме того, специализация отлично работает, когда нерегулярность типа аргумента приводит к тому, что общий алгоритм выдает неправильный результат. Этими самыми нерегулярными типами часто являются встроенные указатели и массивы.
Опубликовал Kest Сентябрь 01 2010 16:33:20 · 0 Комментариев · 10417 Прочтений · Для печати

• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •


Комментарии
Нет комментариев.
Добавить комментарий
Имя:



smiley smiley smiley smiley smiley smiley smiley smiley smiley
Запретить смайлики в комментариях

Введите проверочный код:* =
Рейтинги
Рейтинг доступен только для пользователей.

Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.

Нет данных для оценки.
Гость
Имя

Пароль



Вы не зарегистрированны?
Нажмите здесь для регистрации.

Забыли пароль?
Запросите новый здесь.
Поделиться ссылкой
Фолловь меня в Твиттере! • Смотрите канал о путешествияхКак приготовить мидии в тайланде?
Загрузки
Новые загрузки
iChat v.7.0 Final...
iComm v.6.1 - выв...
Visual Studio 200...
CodeGear RAD Stud...
Шаблон для новост...

Случайные загрузки
Microsoft Press -...
Андрей Боровский....
IconCut [Исходник...
Игра змейка
«Философия» прогр...
Assistant
Мод "register.php...
Просмотр файлов и...
Разработка клиент...
Delphi Быстрый Ст...
Просмотр коммент...
Меню проводника в...
Книга по Delphi (...
Encrypt Decrypt
Sztransppanel
Редактор текста (...
Delphi 2005. Разр...
Win-Prolog 3.618
IIIDTrans
Дешифратор содерж...

Топ загрузок
Приложение Клие... 100576
Delphi 7 Enterp... 93802
Converter AMR<-... 20126
GPSS World Stud... 16145
Borland C++Buil... 13486
Borland Delphi ... 9456
Turbo Pascal fo... 7151
Калькулятор [Ис... 5359
Visual Studio 2... 5056
FreeSMS v1.3.1 3579
Случайные статьи
Онлайн-игра на офи...
Ввод-вывод объекто...
Фильтрация таблиц ...
Принцип суперпозиции
Создатели Windows ...
Драйверы для много...
Оглавление. Java. ...
Принципы взаимодей...
Ввод и вывод данны...
Константы в классе
Коллекция Charts, ...
Файлы не подчиняю...
Аудит сайта
Функция binary_sea...
на отдельных учетн...
О серии ХР
Пассивные интерфей...
Это позволит приме...
Вскрытие корпуса
СПИСКИ В GPSS
Аргументы шаблонов...
Казино Вулкан онлайн
й - Алфавитный ука...
Класс TGraphicControl
Необходимые услови...
Статистика



Друзья сайта
Программы, игры


Полезно
В какую объединенную сеть входит классовая сеть? Суммирование маршрутов Занимают ли таблицы память маршрутизатора?