Szablon funkcji

Z Wikipedii

Masz nowe wiadomości (różnica z poprzednią wersją).

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

Spis treści

1 Ogólny przykład
2 Funkcja specjalizowana
3 Parametr formalny jako typ rezultatu
4 Właściwości

[edytuj] Ogólny przykład

template< class Typ > // deklaracja funkcji szablonowej
Typ dodaj( Typ par1 , Typ par2 ) {
  return par1 + par2;
} 

int main() {
  int a = 5;
  int b = 8;
  int c = dodaj<int>( a , b );
  float d = 3;
  float e = 4;
  float f = dodaj<float>( d , e );
  return 0;
}

Powyżej znajduje się deklaracja funkcji szablonowej. W funkcji int main() znajdują się deklaracje 2 zmiennych typu int. Następnie znajduje się wywołanie funkcji dodaj<int>. W tym momencie podczas kompilacji, kompilator generuje nową funkcję korzystając z szablonu funkcji. W nawiasach trójkątnych został podany typ (w naszym przypadku int) który jest jedynym parametrem w deklaracji szablonu (template < class Typ >...). Następuje zamiana w szablonie funkcji wszystkich miejsc gdzie występuje słowo Typ na parametr aktualny jakim jest int. Dzięki temu zostaje wygenerowana funkcja int dodaj( int par1 , int par2 ). Następnie widzimy podobną sytuację: zadeklarowane dwie zmienne typu float i wywołana funkcja odpowiednio dodaj<float>. Powoduje to wygenerowanie kolejnej przeciążonej funkcji dodaj<float> o deklaracji float dodaj( float par1 , float par2 ).

Nie jest konieczne określanie parametru aktualnego w wywołaniu funkcji szablonowej (zobacz: Właściwości).

[edytuj] Funkcja specjalizowana

[edytuj] Parametr formalny jako typ rezultatu

[edytuj] Właściwości

W miejscach wywoływania funkcji szablonowej nie 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 ) 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.

Źródło: "http://pl.wikipedia.org../../../s/z/a/Szablon_funkcji.html"

Kategoria: C++