c – 如何判断某物是否是容器？

2019-08-29 05:15:02 阅读：327 来源： 互联网

标签：c templates containers iterator sfinae

我想确定某件事是否是一个容器.现在我正在对格式化为具有类型和分配器的容器进行测试.我的最终目标是学习如何编写容器模板,当包含自身层时,可以允许直接迭代其最内层元素.例如.如果有一个容器包含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 {};

标签：c,templates,containers,iterator,sfinae
来源： https://codeday.me/bug/20190829/1757858.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。

ICode9

c – 如何判断某物是否是容器？