Η C++ επιτρέπει την υπεφόρτωση των περισσότερων από τους διαθέσιμους τελεστές της γλώσσας. Με τον όρο υπεφόρτωση εννοούμε τον ορισμό μιας νέας συμπεριφοράς για τον τελεστή όταν αυτός εφαρμόζεται όχι σε βασικούς τύπους δεδομένων, αλλά σε σύνθετους τύπους δεδομένων που περιγράφονται από κλάσεις. Για παράδειγμα, στην παρακάτω κλάση Time τι θα γίνει εάν προσθέσουμε δύο αντικείμενα της κλάσης αυτής;

Time.cpp

class Time {
  int minutes;
  int hours;
public:
  Time(int hours, int minutes) {
    if(hours >= 0)
      this->hours = hours;
    else 
      this->hours = 0;
    if(minutes >= 0)
      this->minutes = minutes;
    else
      this->minutes = 0;
  }
  int getMinutes() { return minutes; }
  int getHours() { return hours; }
};
 
int main() {
  Time t1(10,30), t2(12, 50);
  Time t3 = t1 + t2;
}

Προς το παρόν αυτό που θα συμβεί είναι ότι ο παραπάνω κώδικας δεν μεταγλωττίζεται καθώς δεν ορίζεται κάποια συμπεριφορά για τον τελεστή + όταν αυτός εφαρμόζεται σε αντικείμενα τύπου Time. Αυτό μπορεί να αλλάξει εάν ορίσουμε μία συμπεριφορά για αυτό τον τελεστή επαναφορτώνοντας τον ως εξής.

Time.cpp

#include <iostream>
class Time {
  int minutes;
  int hours;
public:
  Time(int hours, int minutes) {
    if(hours >= 0)
      this->hours = hours;
    else 
      this->hours = 0;
    if(minutes >= 0)
      this->minutes = minutes;
    else
      this->minutes = 0;
  }
  Time operator+(const Time &t) {
    Time f(hours, minutes);
    f.minutes += t.minutes;
    if(f.minutes>=60)
      f.minutes -= 60;
    f.hours++;
    f.hours += t.hours;
    if(f.hours > 24)
      f.hours -= 24;
    return f;
  }
  int getMinutes() { return minutes; }
  int getHours() { return hours; }
};
 
int main() {
  Time t1(10,30), t2(12, 50);
  Time t3 = t1 + t2;
  std::cout << "t3: " << t3.getHours() <<"H, " << t3.getMinutes() << "m\n";
}

Time t3 = t1.operator+(t2);

Οι συναρτήσεις υπερφόρτωσης τελεστών είναι κανονικές συναρτήσεις που μπορεί να έχουν οποιαδήποτε συμπεριφορά. Για παράδειγμα, δεν υπάρχει κανένας περιορισμός ότι ο τελεστής + θα πρέπει να υλοποιεί την διαδικασία της πρόσθεσης για αντικείμενα τύπου Time αν και η διατήρηση της συγκεκριμένης συμπεριφοράς συμβάλει στην αναγνωσιμότητα του κώδικα. Γενικά, είναι καλή πρακτική η διατήρηση της παραδοσιακής συμπεριφοράς των τελεστών που υπερφορτώνονται.

Οι συναρτήσεις υπερφόρτωσης χωρίζονται σε δύο βασικές κατηγορίες α) μέλη της κλάσης και β) φιλικές συναρτήσεις. Για κάθε μία από τις παραπάνω δύο κατηγορίες ισχύουν τα εξής:

• μέλη της κλάσης: Για συναρτήσεις υπερφόρτωσης τελεστών που αποτελούν μέλη της κλάσης ισχύουν τα εξής:
  • Για μοναδιαίους τελεστές οι συναρτήσεις μέλη θεωρούν ο τελεστέος είναι το αντικείμενο στο οποίο ανήκει η συνάρτηση. Συνήθως οι συναρτήσεις υπερφόρτωσης των μοναδιαίων τελεστών δεν έχουν ορίσματα. Εξαίρεση αποτελούν οι τελεστές αύξησης ή μείωσης κατά ένα (++ ή --) όταν αυτοί εφαρμόζονται στα δεξιά του αντικειμένου (postfix increment/decrement operators), όπου λαμβάνουν ως μοναδικό όρισμα έναν ακέραιο.
  • Για δυαδικούς τελεστές οι συναρτήσεις υπερφόρτωσης θεωρούν ότι ο αριστερός τελεστέος είναι το αντικείμενο στο οποίο ανήκει η συνάρτηση και ο δεξιός τελεστέος δίνεται ως η μοναδική παράμετρος.
• φιλικές συναρτήσεις της κλάσης: Για φιλικές συναρτήσεις υπερφόρτωσης ισχύουν τα εξής:
  • Για μοναδιαίους τελεστές οι φιλικές συναρτήσεις θεωρούν ότι ο τελεστέος είναι το μοναδικό όρισμα της συνάρτησης. Εξαίρεση αποτελούν οι τελεστές αύξησης ή μείωσης κατά ένα (++ ή --) όταν αυτοί εφαρμόζονται στα δεξιά του αντικειμένου (postfix increment/decrement operators), όπου λαμβάνουν δύο ορίσματα με την παρακάτω σειρά α) το αντικείμενο στο οποίο εφαρμόζονται (τελεστέος) και β) έναν ακέραιο.
  • Για δυαδικούς τελεστές οι φιλικές συναρτήσεις υπερφόρτωσης λαμβάνουν δύο ορίσματα. Θεωρούν ότι ο αριστερός τελεστέος είναι το πρώτο όρισμα της συνάρτησης υπερφόρτωσης και ο δεξιός τελεστέος το δεύτερο όρισμα.

Ο παρακάτω πίνακας δίνει τη μορφή της συνάρτησης υπερφόρτωσης για τους τελεστές που είναι διαθέσιμοι προς υπεφόρτωση. Αντικαταστήστε τον χαρακτήρα @ με τον εκάστοτε τελεστή.

Οι τελεστές που δεν υπερφορτώνονται είναι οι εξής: