如何解决如何正确地将 decltype 与 SFINAE 一起应用？
我写了一个模板包装器，它应该找出类是否拥有该函数。
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());
我也没有在函数中插入（与上面相同的错误）
解决方法
我在那里使用了一个向量，预计它会通过
问题出在 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{};
关于为什么第一个解决方案不起作用，因为当 has_member<T>::value 为 true 时，实例化 foo<T,true> 被调用，否则 foo<T,false> 被调用，两者都是有效的.
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。