Узагальнене програмування

Узагальнене програмування (англ. generic programming) — парадигма програмування, що полягає в такому описі даних і алгоритмів, який можна застосовувати до різних типів даних, не змінюючи сам опис. У тому чи іншому вигляді підтримується різними мовами програмування.

Можливості узагальненого програмування вперше з'явилися в 1970-х роках у мовах CLU та Ada, а потім у багатьох об'єктно-орієнтованих мовах, таких як C++, Java, D і мовах для платформи .NET.

Термін "Узагальнене програмування" вперше було введене Девідом Массером і Олександром Степановим , які описували парадигму програмування, яка заснована на тому, що типи даних і структури даних є абстрактними і не впливають на конкретну реалізацію алгоритмів, а загальні функції реалізовані з використанням узагальнених формалізованих типів.

Приклад застосування в мові C

Препроцесор мови C підтримує окремі можливості узагальненого програмування. Так, наприклад, функція обміну значень двох об'єктів даних може бути визначена як макрос:

#define SWAP(_a, _b, type) { type _c; _c = _b; _b = _a; _a = _c; } 

і використана з програми, наприклад:

#include <stdio.h> #define SWAP(_a, _b, type) { type _c; _c = _b; _b = _a; _a = _c; } int main() {  int a=1, b=4;  double c=2.3, d=3.4;  SWAP(a, b, int);  printf("%i %i\n", a, b);  SWAP(c, d, double);  printf("%f %f\n", c, d);  return 0; } 

Див. також

• Метапрограмування
• Шаблони (C++)
• Узагальнення в Java

Посилання

• Джонатан Бартлетт, Мистецтво метапрограмування, Частина 1: Введення в метапрограмування

1. Musser та Stepanov, 1989.