User Tools

Site Tools


cpp:function_templates

This is an old revision of the document!


Templates Συναρτήσεων

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

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<int>(a,b) << endl;
  cout << "max(5.5,3.3): " << maximum<double>(d,f) << endl;
}

Μία templated συνάρτηση είναι μία συνάρτηση η οποία για να πάρει την “οριστική” μορφή της θα πρέπει να προσδιοριστεί και ο τύπος των παραμέτρων που θα λάβει κατά την κλήση της. Στο παραπάνω παράδειγμα, ο compiler έχει κατασκευάσει δύο συναρτήσεις α) τη συνάρτηση με ακέραια ορίσματα και β) τη συνάρτηση με ορίσματα κινητής υποδιαστολής.

Templates Συναρτήσεων με παραμέτρους κλάσεις

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

Student.hpp
class Student {
  char *name;
  int aem;
 
public:
  Student(const char *name, int aem);
  Student();
  ~Student();
  char *getName() const;
  int getAEM() const;
  friend std::ostream& operator<<(std::ostream& out, const Student & st);
};
 
Student::Student(const char *name, int aem) {
  this->name = new char [strlen(name) + 1];
  strcpy(this->name, name);
  this->aem = aem;
}
 
Student::Student() {
  this->name = nullptr;
  this->aem = 0;
}
 
Student::~Student() {
  if(name != nullptr)
    delete []name;
}
 
char* Student::getName() const {
  return name;
}
 
int Student::getAEM() const {
  return aem;
}
 
std::ostream& operator<<(std::ostream& out, const Student& st) {
  out << st.name << " " << st.aem;
  return out;
}

O κώδικας που κάνει χρήση της παραπάνω κλάσης είναι ο εξής:

maximum2.cpp
template <typename T>
T& maximum(T& a, T& b) { return (a>b?a:b); }
 
#include <iostream>
using namespace std;
 
#include "Student.hpp"
 
int main() {
  Student george("George", 1234), kate("Kate", 12345); 
  cout << "max('George','Kate'): " << maximum(george, kate) << endl;
}
cpp/function_templates.1556805348.txt.gz · Last modified: 2019/05/02 12:55 (external edit)