如何将空模板类型用于编译时条件代码和static_assert？

template <typename T>
struct Empty {};

#include <type_traits>

template <typename T>
struct Empty {};

template <typename T, typename = void>
struct HasMemberFunction : std::false_type {};

template <typename T>
struct HasMemberFunction<T, std::void_t<decltype(std::declval<T>().memberFunction())>> : std::true_type {};

template <typename T>
void foo() {
    if constexpr (HasMemberFunction<T>::value) {
        // 调用 T 的 memberFunction
    } else {
        // 其他处理
    }
}

template <typename T>
struct Empty {};

template <typename T>
void bar() {
    static_assert(!std::is_same_v<T, Empty<T>>, "T should not be an empty type");
}

template <typename T>
void baz() {
    if constexpr (std::is_same_v<T, int>) {
        // 处理 int 类型
    } else {
        // 处理其他类型
    }
}

template <typename T>
void qux() {
    static_assert(std::is_integral_v<T>, "T should be an integral type");
}