如何正确应用 decltype 和 SFINAE？

Question

我编写了一个模板包装器，它应该找出类是否拥有该函数。

template<typename...>
using void_t = void;

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

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

但我不知道如何正确应用它。我一开始是这样尝试的：

template<typename T, bool = has_member<T>::value>
void foo(T& container) {
    std::cout << "i here";
}

但一切都在那里，即即使没有 push_back 功能：

std::set<int> st;
foo(st); // okey

尝试更改为：

template<typename T,typename std::enable_if_t< has_member<T>::value ,int>* = nullptr >
void foo(T& container) {
    std::cout << "i here";
}

但是加上这样的函数调用

std::vector<int> vc(10);
foo(vc);

我收到一些错误：

Error (active)  E0304   no instance of function template "foo" matches the argument list    
Error   C2672   'foo': no matching overloaded function found    
Error   C2783   'void foo(T &)': could not deduce template argument for '__formal'  

我很乐意帮助找出我做错了什么。

还有。 所有结构都可以替换吗？

template<typename T>
using has_type = decltype(std::declval<T>().push_back());

我也没有在函数中插入（与上面相同的错误）

Answer 1

我在那里使用了一个向量，并希望它会通过

问题出在std::declval<T>().push_back()，没有push_back 为std::vector 采取任何措施。

您需要将参数传递给push_back，例如

template<typename T>
struct has_member<T, void_t<decltype(std::declval<T>().push_back(std::declval<typename T::value_type>()))>>:std::true_type{};

LIVE

关于为什么第一个解决方案不起作用，因为当has_member<T>::value 是true 时，实例化foo<T, true> 被调用，否则foo<T, false> 被调用，两者都是有效的。