Tags: #check #types #modernescpp
"Template Metaprogramming is programming at compile time. But what has template metaprogramming in common with the type-traits library?"
http://www.modernescpp.com/index.php/check-types

Tags: #check #validity
When writing generic code, it is sometimes useful to check whether or not a particular SFINAE-friendly expression is valid
https://vittorioromeo.info/index/blog/checking_expression_validity_in_place.html