Szablon funkcji

Ten artykuł należy dopracować: od 2013-07 → zweryfikować treść i dodać przypisy, → poprawić styl – powinien być encyklopedyczny. Dokładniejsze informacje o tym, co należy poprawić, być może znajdują się w dyskusji tego artykułu. Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.

Szablon funkcji lub funkcja szablonowa – jeden z dwóch rodzajów szablonów w języku programowania C++, dzięki któremu możliwe jest automatyczne generowanie nowych funkcji.

Ogólny przykład

 template <class T> // deklaracja funkcji szablonowej
 T add (T par1, T par2)
 {
    return par1 + par2;
 } 
 
 int main() 
 {
    int a = 5;
    int b = 8;
    int c = add<int> (a, b);
    float d = 3;
    float e = 4;
    float f = add<float> (d, e);
    return 0;
 }

Powyżej znajduje się deklaracja funkcji szablonowej. Funkcja int main() zawiera dwa wywołania funkcji add<int>. Podczas kompilacji generowane są dwie funkcje o tej nazwie, ale z różnymi sygnaturami. Parametry szablonu podawane są w nawiasach trójkątnych.

Funkcja specjalizowana

Można jawnie podać specjalizację szablonu dla konkretnych typów. Deklaracja funkcji specjalizowanej musi znajdować się przed jej wywołaniem, gdyż w przeciwnym wypadku zostanie wykorzystana funkcja szablonowa.

 template <class T>
 T function (T a, T b)
 {
   return a + b;
 }
 
 void function (char c, char d)
 {
   cout << "\npodaj znak dla c: ";
   cin >> c;
   cout << "\npodaj znak dla d: ";
   cin >> d;
   cout << "\npodałeś znaki " << c << " i " << d << endl;
 }
 
 main() 
 {
   int a2 = 4, b2 = 5;
   cout << function (a2, b2);
   char c2, d2;
   function (c2, d2);          
 }

Właściwości

• W miejscach wywoływania funkcji szablonowej nie zawsze jest konieczne określanie parametrów szablonu, ponieważ zostanie podjęta próba ich określenia korzystając z typów parametrów aktualnych wywołania. W związku z tym zamiast pisać dodaj<int>(a, b), zwykle wystarczy samo dodaj(a, b) ponieważ kompilator zna typy zmiennych a i b i na tej podstawie spróbuje dopasować wywołanie odpowiedniej funkcji (niekoniecznie szablonowej).
• Podmiana parametrów formalnych podczas generowania funkcji szablonowej nie jest naiwna tzn. słowo określające parametr formalny zostanie podmienione na parametr aktualny tylko tam, gdzie jest ono użyte w kontekście typu. W szczególności nie zostaną podmienione wystąpienia słowa Typ w nazwach zmiennych, łańcuchach itp.