Πώς μπορούν να οριστούν περιορισμοί στους τύπους στους παραμέτρους προτύπου σε C++;

Στην C++, οι περιορισμοί στους τύπους στις παραμέτρους προτύπων μπορούν να οριστούν με διάφορους τρόπους:

1. SFINAE (Substitution Failure Is Not An Error) — χρησιμοποιώντας το std::enable_if και άλλες μετα-συναρτήσεις από το <type_traits>, μπορείτε να συμπεριλάβετε ή να αποκλείσετε συναρτήσεις ή κλάσεις προτύπων ανάλογα με τις ιδιότητες των τύπων.

#include <type_traits>

template<typename T, typename = std::enable_if_t<std::is_integral_v<T>>>
void foo(T value) {
    // Υλοποίηση για ακέραιους τύπους
}

int main() {
    foo(10);    // OK, int είναι ακέραιος
    // foo(3.14); // Σφάλμα μεταγλώττισης, το double δεν ταιριάζει
}

2. Concepts — από το C++20 και μετά, μπορείτε να χρησιμοποιήσετε τις έννοιες για πιο αναγνώσιμους και δηλωτικούς περιορισμούς τύπων.

#include <concepts>

template<std::integral T>
void foo(T value) {
    // Υλοποίηση για ακέραιους τύπους
}

3. Στατικές διαβεβαιώσεις (static_assert) — μέσα σε ένα πρότυπο, μπορείτε να ελέγξετε τις ιδιότητες του τύπου και να παράγετε σφάλμα μεταγλώττισης με μήνυμα.

#include <type_traits>

template<typename T>
void foo(T value) {
    static_assert(std::is_integral_v<T>, "T πρέπει να είναι ακέραιος τύπος");
    // ...
}

Έτσι, οι περιορισμοί βοηθούν στο να κάνουν τα πρότυπα πιο ασφαλή και κατανοητά.