Question

我想使用SFINAE根据模板参数是否声明类型T来重载函数模板。到目前为止，这是我能够获得的地方：

struct C1 {
    using T = int;
};

struct C2 {
    using T = void; // but I would really like 
                    // to not require T at all
};

// For classes that declare T
template <class C>
void f(C &c, typename std::enable_if<!std::is_same<typename C::T, void>::value,
                                     int>::type = 0) {
    (void)c;
    std::cout << "With T" << std::endl;
}

// For classes that do not declare T (for now, T must be declared void)
template <class C>
void f(C &c, typename std::enable_if<std::is_same<typename C::T, void>::value,
                                     int>::type = 0) {
    (void)c;
    std::cout << "Without T" << std::endl;
}

int main() {
    C2 c;
    f(c);
    return 0;
}

如何（如果有的话）可以以C2根本不需要声明T的方式更改此解决方案？即我想有两个重载：一个用于声明T的类，另一个用于不用的类。

Answer 1

#include <type_traits>

template <typename...>
struct voider { using type = void; };

template <typename... Ts>
using void_t = typename voider<Ts...>::type;

template <typename C, typename = void_t<>>
struct has_t : std::false_type {};

template <typename C>
struct has_t<C, void_t<typename C::T>> : std::true_type {};

template <typename C>
auto f(C& c)
    -> typename std::enable_if<has_t<C>::value>::type
{
}

template <typename C>
auto f(C& c)
    -> typename std::enable_if<!has_t<C>::value>::type
{
}

DEMO

Answer 2

您可以根据自己的需要制作类型特征：

template<typename Type, typename Enable=void>
struct has_t : std::false_type {};

template<typename Type>
struct has_t<Type, void_t<Type::T>> : std::true_type {};

void_t的实施方式如下：

template<typename...>
struct voider {
    using type = void;
};

template<class... Ts> using void_t = typename voider<Ts...>::type;

这个void_t实现保证可以在C ++ 11中使用。

现在您可以使用此类型特征：

template<typename C, typename std::enable_if<has_t<typename std::decay<C>::type>::value, int>::type = 0>
void f(C&& c) {
    // ... C::T exists
}

template<typename C, typename std::enable_if<!has_t<typename std::decay<C>::type>::value, int>::type = 0>
void f(C&& c) {
    // ... C::T doesn't exists
}

您需要衰减类型，因为它将作为参考。由于C内的typedef不在里面，让我们说C&，你必须先删除引用。

检查SFINAE是否存在类型声明

2 个答案: