Каким образом можно задать ограничения на типы в шаблонных параметрах в 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 должен быть целочисленным типом");
    // ...
}

Таким образом, ограничения помогают сделать шаблоны более безопасными и понятными.