我想确定某件事是否是一个容器.现在我正在对格式化为具有类型和分配器的容器进行测试.我的最终目标是学习如何编写容器模板,当包含自身层时,可以允许直接迭代其最内层元素.例如.如果有一个容器包含3个容器,每个容器包含3个容器,每个容器包含3个元素,我希望能够基于循环迭代一个范围内的所有27个元素.区分某个东西是直接包含元素的容器还是包含元素容器(或容器的容器容器……元素的容器),使用SFINAE检查元素是否具有迭代器似乎是确定是否开始的逻辑第一步( )函数应该将迭代器返回到元素或所述元素的begin()函数的结果.如果我可以迈出第一步,我想将这个逻辑包含在编写我的容器中,但我无法编译它:
#include <vector>
#include <iostream>
template <typename T,
template <typename E, typename Allocator = std::allocator<E>> class Container
>
void is_cont(typename Container<T>::iterator it)
{
std::cout << "is iterator\n";
}
template <typename T,
template <typename E, typename Allocator = std::allocator<E>> class Container
>
void is_cont(Container<T>& cont)
{
std::cout << "is container\n";
}
int main()
{
std::vector<int> vec{ 2, 4, 6 };
is_cont(vec); // Output: "is container"
//is_cont(vec.begin()); // COMPILER ERROR
}
我怎样才能解决这个问题?
解决方法:
您对某个容器是否是容器的定义似乎完全取决于它是否具有迭代器内部类.
我想,这与任何启发式一样好,但让我们继续这样做.
在大多数情况下,如果使用类完成SFINAE要简单得多,而不是尝试使用函数实现SFINAE,就像你的is_container()一样.将is_container()放入类中会产生以下教科书SFINAE解决方案:
#include <vector>
#include <string>
#include <iostream>
#include <type_traits>
template<typename ...>
using void_t=void;
template<typename T, class=void> struct is_container : std::false_type {};
template<typename T>
struct is_container<T, void_t<typename T::iterator>> : std::true_type {};
int main()
{
std::cout << is_container<int>::value << std::endl;
std::cout << is_container<std::vector<int>>::value << std::endl;
return 0;
}
现在,一个相关的问题是,是否有更好的方法来检查某件事是否是一个容器.无论您选择哪种启发式方法,调整基于类的测试都是微不足道的,而不是基于函数的测试.例如,如果要考虑某个东西是否是容器,如果它同时具有迭代器和const_iterator内部类,则只需要更改一行:
template<typename T>
struct is_container<T, void_t<typename T::iterator,
typename T::const_iterator>> : std::true_type {};