c++ sfinae在模板元编程中的高级应用案例

1. 判断类型是否有指定成员函数

#include <iostream>  template <typename T> struct has_member_function_foo { private:     template <typename U>     static auto test(int) -> decltype(std::declval<U>().foo(), std::true_type{});          template <typename>     static std::false_type test(...);      public:     static constexpr bool value = std::is_same_v<decltype(test<T>(0)), std::true_type>; };  struct A {     void foo() {} };  struct B {     // No foo() };  int main() {     std::cout << has_member_function_foo<A>::value << std::endl; // 1     std::cout << has_member_function_foo<B>::value << std::endl; // 0     return 0; } 

2. 判断类型是否为可调用对象

#include <iostream>  template <typename T> struct is_callable { private:     // SFINAE test     template <typename U>     static auto test(int) -> decltype(std::declval<U>()(), std::true_type{});      template <typename>     static std::false_type test(...);  public:     static constexpr bool value = std::is_same_v<decltype(test<T>(0)), std::true_type>; };  struct F {     void operator()() {} };  int main() {     std::cout << is_callable<F>::value << std::endl; // 1     std::cout << is_callable<int>::value << std::endl; // 0     return 0; } 

这些案例展示了如何使用SFINAE技术来检查类型的特定特征，这是模板元编程中非常有用的一种技服。