Код IT
← Каталог

Объектно-ориентированное программирование в C++ — SFINAE — "Substitution Failure Is Not An Error"

Фрагмент из «Объектно-ориентированное программирование в C++»: SFINAE — "Substitution Failure Is Not An Error".

cpp cppencyclopedia14 embed URL статья в энциклопедии
C++ main.cpp 
#include <type_traits>

// Вызывается, только если T — целочисленный тип
template<typename T>
typename std::enable_if<std::is_integral_v<T>, T>::type
abs(T x) {
    return x < 0 ? -x : x;
}

// Вызывается для остальных типов (например, float, double)
template<typename T>
typename std::enable_if<!std::is_integral_v<T>, T>::type
abs(T x) {
    return x < 0 ? -x : x;
}
#include <type_traits>

// Вызывается, только если T — целочисленный тип
template<typename T>
typename std::enable_if<std::is_integral_v<T>, T>::type
abs(T x) {
    return x < 0 ? -x : x;
}

// Вызывается для остальных типов (например, float, double)
template<typename T>
typename std::enable_if<!std::is_integral_v<T>, T>::type
abs(T x) {
    return x < 0 ? -x : x;
}