fork download

copy

#include <iostream>
#include <type_traits> // <-------
using namespace std;
 
template<typename T>
enable_if_t<is_fundamental<T>::value, T>
sum(const T& a, const T& b) { return a + b;}
 
template<typename T>
enable_if_t<!is_fundamental<T>::value, T>
sum(const T&, const T&) { static_assert(false, "Not fundamental type");}
 
int main()
{
    struct A {};
    cout << sum(5.1f, 9.4f) << endl;
    sum(A(), A());
    return 0;
}
 

prog.cpp: In function 'std::enable_if_t<(! std::is_fundamental<_Tp>::value), T> sum(const T&, const T&)':
prog.cpp:11:27: error: static assertion failed: Not fundamental type
 sum(const T&, const T&) { static_assert(false, "Not fundamental type");}
                           ^

Standard output is empty