Приклад шаблонної функції

Тіло функції

Узагальнені (шаблонні) функції і типи в С++.

Віртуальні функції в С++. Чисто віртуальні функції.

Віртуальна функція (virtual function) — це функція-член, оголошена в базовому класі і перевизначена в похідному. Щоб створити віртуальну функцію, слід вказати ключове слово virtual перед її оголошенням в базовому класі. Похідний клас перевизначає цю функцію, пристосовувавши її для своїх потреб. По суті, віртуальна функція реалізує принцип "один інтерфейс, декілька методів", лежачий в основі поліморфізму. Віртуальна функція в базовому класі визначає вид інтерфейсу, тобто спосіб виклику цієї функції. Кожне перевизначення віртуальної функції в похідному класі реалізує операції, властиві лише даному класу. Інакше кажучи, перевизначення віртуальної функції створює конкретний метод (specific method).

Чисто віртуальна функція (pure virtual function) – це функція, що не має визначення в базовому класі. Для оголошення чисто віртуальної функції використовується наступна синтаксична конструкція.

virtual тип імя_функції (список_параметрів) = 0;

Чисто віртуальні функції повинні перевизначатися в кожному похідному класі, інакше виникне помилка компіляції.

Узагальнена функція визначає універсальну сукупність операцій, застосовних до різних типів даних. Тип даних, з якими працює функція, передається як параметр. Узагальнена функція оголошується за допомогою ключового слова template. Визначення шаблонної функції виглядає в такий спосіб.

template <typename T> тип_значення_що_повертається ім’я_функції(список_параметрів)

{

}

Тут параметр T задає тип даних, з яким працює функція. Цей параметр можна використовувати й усередині функції, однак при створенні конкретної версії узагальненої функції компілятор автоматично підставить замість нього фактичний тип. За правилами узагальнений тип задається за допомогою ключового слова typename, хоча замість нього можна застосовувати традиційне ключове слово class.

У наступному прикладі демонструється узагальнена функція, що знаходить найбільший серед двох об’єктів.

template <class T>

inline T const& max(T const& a, T const& b)

{

return a< b? b: a;

}

Із шаблонами зв'язано декілька понять. По-перше, узагальнена функція (тобто функція, оголошена за допомогою ключового слова template) називається також шаблоном функції, або шаблонною функцією (template function). Ці терміни є синонімами. Конкретна версія узагальненої функції, створювана компілятором, називається спеціалізацією (specialization) чи згенерованою функцією (generated function). Процес генерації конкретної функції називається конкретизацією (instantiation). Іншими словами, згенерована функція є конкретним екземпляром узагальненої функції. Тип T, що указується в кутових дужках, називається параметром шаблону (або шаблонним параметром), а тип, що указується в списку параметрів (наприклад, int) — параметром виклику.

Дата добавления: 2015-05-23