比如判断一个class A是否有一个member function F(),
传统的SFINAE需要enable_if或者partial specialization
hana则很简单
// Check if a type has a F method.
auto hasF = hana::is_valid([](auto&& x) -> decltype(x.F()) { });

这时候x可以传入A type的object

【 在 ilovecpp 的大作中提到: 】
: 举个例子？
--
修改:mvtec FROM 67.163.48.*
FROM 67.163.48.*