talybin · August 20, 2021 19:30 · talybin · Sep 20, 2021
diff --git a/concept_lite.cpp b/concept_lite.cpp
 #include <type_traits>

 template <class T, class = std::enable_if_t<std::is_integral<T>::value>>
 using integral_t = T;

 // the usage
 template <class T>
 void f(integral_t<T> a) {}

 int main()
 {
    f (  123); // ok
 //  f (3.14f); // ill-formed
 }
	#include <type_traits>

	template <class T, class = std::enable_if_t<std::is_integral<T>::value>>
	using integral_t = T;

	// the usage
	template <class T>
	void f(integral_t<T> a) {}

	int main()
	{
	f ( 123); // ok
	// f (3.14f); // ill-formed
	}