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技術來檢查類型的特定特征，這是模板元編程中非常有用的一種技服。