Навигация
Главная
Поиск
Форум
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
Подключение Mic... 65535
Создание потоко... 65535
Приложение «Про... 65535
Оператор выбора... 65535
Создание отчето... 64164
Модуль Forms 63869
Пример работы с... 60761
ТЕХНОЛОГИИ ДОСТ... 60756
Имитационное мо... 56274
Реклама
Сейчас на сайте
Гостей: 10
На сайте нет зарегистрированных пользователей

Пользователей: 13,080
новичок: setan
Новости
Реклама
Выполняем курсовые и лабораторные по разным языкам программирования
Подробнее - курсовые и лабораторные на заказ
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 September 01 2010 16:33:20 · 0 Комментариев · 9514 Прочтений · Для печати

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


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



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

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

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

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

Пароль



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

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

Случайные загрузки
mp3tag
MicroGPSS Studen ...
Таймер и секундомер
ЯЗЫК ПРОГРАММИРОВ...
Просмотр файлов и...
Delphi 6 программ...
Разработка Web-пр...
С. Г. Горнаков - ...
Java 2. Наиболее ...
Иллюстрированный ...
DemoEdit [Исходни...
Pass [Исходник на...
Borland Delphi 8 ...
SUIPack
RbControls
БД сеть компьютер...
MxProtector
PHP 5 в подлинник...
начисление процен...
Tenis [Исходник н...

Топ загрузок
Приложение Клие... 100455
Delphi 7 Enterp... 86134
Converter AMR<-... 20071
GPSS World Stud... 12522
Borland C++Buil... 11608
Borland Delphi ... 8522
Turbo Pascal fo... 7035
Visual Studio 2... 4992
Калькулятор [Ис... 4744
FreeSMS v1.3.1 3539
Случайные статьи
INCREMENT (УВЕЛИЧИТЬ)
Глава 2. Интерфейсы
Клавиатура и мышь
Программирование: ...
Целочисленные опер...
Компиляторы MIPS
Читателям первого ...
Сортировка обменами
Error in real cons...
5.1. Автоматизация...
Класс TFont
Унификация доступа...
Если вы не работае...
Где проводить прео...
МНОГОКАНАЛЬНЫЕ УСТ...
Обеды рабочим
Распространение по...
Вскрытие корпуса
Отображение номера...
Минимизация открыт...
Совместимость язык...
Дизайн сайта
Акселерометры и си...
Двумерный объект к...
Интеграция журнала...
Статистика



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


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