лекции программирование / polevoy_cpp_2012_spring_lecture_04

Преимущества шаблонов

•автоматическая генерация кода

•оптимизация программ

•использование типа при определении функции или класса

•зависит только от тех параметров типа, которые использует

Инстанциирование шаблона

•генерация объявления функции (класса) по шаблону функции (класса) и аргументам шаблона

•осуществляется компилятором на этапе компиляции

•сгенерированный код подчиняется стандартным правилам

Шаблонная функция

•определяется шаблоном и набором параметров

Шаблонный класс (тип)

•определяется шаблоном и набором параметров

•при использовании одного набора

параметров генерируется один и тот же тип (эквивалентные типы)

Шаблонный класс (пример)

template<class T> class CStack

{

public:

CStack();

…

T getTop(); private:

T* m_pData;

…

};

Параметры шаблонов

•тип (типизированный параметр)

•константа времени компиляции (нетипизированный параметр)

•другие шаблоны

•м.б. несколько

Шаблоны членов и методов класса

•шаблон класса может иметь шаблонные члены и шаблонные методы

•нешаблонный класс может иметь шаблонные методы

Нетипизированный параметр

•известное на стадии компиляции целочисленное значение (литерал или выражение)

•адрес объекта

•функция с внешней компоновкой

•неперегружаемый указатель на член

Нетипизированный параметр (пример)

template<class T, size_t N> class CArr

{

…

private:

T m_data[N];

};

CArr<int, 128> members;

Типизированный параметр

•фундаментальный тип

•пользовательский тип

•шаблонный тип