如何解决sfinae 检测容器:std:array 失败
我正在寻找一种使用 SFINAE 来实现某些功能的方法,该功能必须仅对某些容器可用: 向量、列表、数组(设置在下面只是作为测试)
以 this answer 为基础,我尝试了下面的代码,该代码使用了一个仅对所需容器返回 true 的特性类。
如您所见,online here 失败了 std::array
。
template <typename Container>
struct is_container : std::false_type { };
template <typename... Ts> struct is_container<std::array<Ts... >> : std::true_type { };
template <typename... Ts> struct is_container<std::vector<Ts...>> : std::true_type { };
template <typename... Ts> struct is_container<std::set<Ts... >> : std::true_type { };
template <typename... Ts> struct is_container<std::list<Ts... >> : std::true_type { };
template <typename... Ts> struct Dummy{};
int main()
{
std::cout << "Dummy: " << is_container<Dummy<int>>::value << '\n';
std::cout << "array: " << is_container<std::array<int,5>>::value << '\n';
std::cout << "vector:" << is_container<std::vector<int>>::value << '\n';
std::cout << "set: " << is_container<std::set<int>>::value << '\n';
std::cout << "list: " << is_container<std::list<int>>::value << '\n';
}
据我所知,这是因为 std::array
需要第二个模板参数。
我对可变参数模板的经验不足,所以我的问题是:
有没有办法使这种方法成功? 或者我应该使用链接问题中描述的另一种方法吗?
我更喜欢纯 C++11,但 C++14 也可以。
解决方法
这不是 SFINAE 而是常规模板专业化。您的 std::array 无法识别,因为 std::size_t 类型的值(这是 std::array 的第二个参数)is not 类型名。
您可以专门更改对数组的检查:
template <typename T,std::size_t N> struct is_container<std::array<T,N>> : std::true_type { };
template <typename... Ts> struct is_container<std::vector<Ts...>> : std::true_type { };
如果您真的想使用 SFINAE 来检查任何行为类似于容器的东西,您可以检查该类型是否存在 std::begin、std::end、std::size。
,问题是std::array
的第二个模板参数是一个非类型模板参数,与类型模板参数包typename... Ts
不匹配。
您可以将 std::array
的专业化更改为:
template <typename T,std::size_t S> struct is_container<std::array<T,S>> : std::true_type { };
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。