Ας υποθέσουμε ότι θέλουμε να φτιάξουμε μία συνάρτηση η οποία να βρίσκει το μέγιστο μεταξύ δύο τιμών. Η συνάρτηση θα μπορούσε να είναι η εξής:

int maximum(int a, int b) { return (a>b?a:b); }

Αντίστοιχα εάν θέλουμε να βρούμε το μέγιστο μεταξύ δύο αριθμών κινητής υποδιαστολής θα καλούμαστε να γράψουμε

double maximum(double a, double b) { return (a>b?a:b); }

Το ερώτημα είναι εάν θα μπορούσαμε να αποφύγουμε τις παραπάνω δηλώσεις και αντ' αυτού να φτιάξουμε μία συνάρτηση που να είναι αρκετά γενική ώστε να “καλύπτει” όλες τις περιπτώσεις. Προκειμένου να ικανοποιηθεί η παραπάνω ανάγκη, η C++ παρέχει τα templates συναρτήσεων.

Η παραπάνω συνάρτηση θα μπορούσε να γραφεί με τη βοήθεια template ως εξής:

template <typename T>
T maximum(T a, T b) { return (a>b?a:b); }

Το Τ μπορεί να είναι οποιοσδήποτε τύπος, επομένως και κάποιος τύπος που περιγράφεται από κλάση. Προκειμένου να μην γίνονται σημαντικές αντιγραφές κατά την κλήση των παραμέτρων με τιμή, προτιμούμε την παρακάτω ισοδύναμη, αλλά υπολογιστικά πιο “φθηνή” εκδοχή

template <typename T>
T& maximum(T& a, T& b) { return (a>b?a:b); }

Ας προσπαθήσουμε να χρησιμοποιήσουμε την παραπάνω συνάρτηση.

maximum1.cpp

template <typename T>
T& maximum(T& a, T& b) { return (a>b?a:b); }
 
#include <iostream>
using namespace std;
 
int main() {
  int a = 5, b = 10;
  double d = 5.5, f=3.3;
  cout << "max(5,10): " << maximum(a,b) << endl;
  cout << "max(5.5,3.3): " << maximum(d,f) << endl;
}