首页 > 编程语言 >New Type Functions/Utilities for Dealing with Ranges in C++20

New Type Functions/Utilities for Dealing with Ranges in C++20

时间:2023-12-02 20:55:56浏览次数:38  
标签:std Functions 20 int Dealing same assert static include

Generic Types of Ranges

  类型萃取从字面意思上来说其实就是帮助我们挑选某个对象的类型,筛选特定的对象来做特定的事。可以先来回顾一下以前的写法。

#include <vector>
#include <iterator>

int main() {
    std::vector v{1, 2, 3};
    using iterator_type = std::vector<int>::iterator;

    using difference_type = std::iterator_traits<iterator_type>::difference_type;
    using iterator_catogory = std::iterator_traits<iterator_type>::iterator_category;
    using pointer = std::iterator_traits<iterator_type>::pointer;
    using reference = std::iterator_traits<iterator_type>::reference;
    using value_type = std::iterator_traits<iterator_type>::value_type;
}

  到了C++20,我们有了ranges,我们有了更多强大的工具,可以说它们是处理ranges的强大工具,我们来看看具体的内容。

  通过上图,很多内容都直观明了,为了避免晦涩难懂的抽象话术,我们通过代码来看看具体用法。

#include <vector>
#include <ranges>
#include <algorithm>
#include <iterator>
#include <type_traits>


int main() {
    std::vector v{10, 20, 30};

    static_assert(std::is_same_v<std::ranges::iterator_t<decltype(v)>::difference_type,
                  std::iterator_traits<decltype(v)::iterator>::difference_type>); // OK
    static_assert(std::is_same_v<std::ranges::iterator_t<decltype(v)>::pointer,
                  std::iterator_traits<decltype(v)::iterator>::pointer>); // OK
    static_assert(std::is_same_v<std::ranges::iterator_t<decltype(v)>::reference,
                  std::iterator_traits<decltype(v)::iterator>::reference>); // OK
    static_assert(std::is_same_v<std::ranges::iterator_t<decltype(v)>::value_type,
                  std::iterator_traits<decltype(v)::iterator>::value_type>); // OK
    static_assert(std::is_same_v<std::ranges::iterator_t<decltype(v)>::iterator_category,
                  std::iterator_traits<decltype(v)::iterator>::iterator_category>); // OK
    // 可以明显看到,比起传统的迭代器萃取,C++20的处理方式更加简洁,只用传入ranges类型,而不用传入迭代器类型,或许这就是ranges的魅力所在。
    
    static_assert(std::is_same_v<std::ranges::sentinel_t<decltype(v)>, 
                  decltype(end(v))>); // OK
    // 获取哨兵类型。

    static_assert(std::is_same_v<std::ranges::range_reference_t<decltype(v)>,
                  decltype(v[0])>); // OK, both are int&
    static_assert(std::is_same_v<std::ranges::range_reference_t<decltype(v)>,
                  std::remove_reference_t<decltype(v[0])>>); // Error, int& and int

    static_assert(std::is_same_v<std::ranges::range_value_t<decltype(v)>,
                  std::remove_reference_t<decltype(v[0])>>); // OK, both are int
    static_assert(std::is_same_v<std::ranges::range_value_t<decltype(v)>,
                  decltype(v[0])>); // Error, int and int&

    static_assert(std::is_same_v<std::ranges::range_size_t<decltype(v)>,
                  std::size_t>); // OK

    static_assert(std::is_same_v<std::ranges::range_difference_t<decltype(v)>,
                  std::ptrdiff_t>); // OK

    static_assert(std::is_same_v<std::ranges::range_rvalue_reference_t<decltype(v)>,
                  decltype(std::move(v[0]))>); // OK

    static_assert(std::is_same_v<std::ranges::borrowed_iterator_t<decltype(v)>,
                  std::ranges::dangling>); // OK
    static_assert(std::is_same_v<std::ranges::borrowed_subrange_t<decltype(v)>,
                  std::ranges::dangling>); // OK
}

 

Generic Types of Iterators

  回到迭代器这一话题,为了更好的支持新的迭代器类型特征,你应该用如下的方式来代替传统的类型萃取。

#include <vector>
#include <ranges>
#include <type_traits>
#include <iterator>

int main() {
    std::vector v{1, 2, 3};
    using iterator_type = std::vector<int>::iterator;

    static_assert(std::is_same_v<std::iter_value_t<std::ranges::iterator_t<decltype(v)>>, int>);
    static_assert(std::is_same_v<std::iter_reference_t<std::ranges::iterator_t<decltype(v)>>, int&>);
    static_assert(std::is_same_v<std::iter_rvalue_reference_t<std::ranges::iterator_t<decltype(v)>>, int&&>);
    static_assert(std::is_same_v<std::iter_difference_t<std::ranges::iterator_t<decltype(v)>>, std::ptrdiff_t>);

    using type1 = std::common_reference_t<int, int>; // int
    using type2 = std::common_reference_t<int&, int>; // int
    using type3 = std::common_reference_t<int&, int&>; // int&
    using type4 = std::common_reference_t<int&, int&&>; // const int&
    using type5 = std::common_reference_t<int&&, int&&>; // int&&
}

  common_reference_t过于复杂,暂且先跳过。可以看到,这也是萃取类型的一种方式,只不过写法不同罢了。话说回来,std::ranges::range_value_t<Rg>其实就是std::iter_value_t<std::ranges::iterator_t<Rg>>的简化。

 

New Functional Types

  std::identity是一个函数对象,返回对象本身,可以搭配ranges的算法一起使用。

#include <iostream>
#include <functional>
#include <vector>
#include <ranges>
#include <algorithm>

int main() {
    std::vector v{1, 2, 3};
    auto pos = std::ranges::find(v, 9, [](auto x) { return x * x; });
    if (pos != end(v))
        std::cout << "Exist\n";

    auto pos2 = std::ranges::find(v, 3, std::identity{});
    if (pos2 != end(v))  
        std::cout << "Exist\n";
    
    auto pos3 = std::ranges::find(v, 3);
    if (pos3 != end(v))
        std::cout << "Exist\n";
}

  pos处传入一个lambda表达式,对容器当中的每一个元素进行平方,然后返回对应的迭代器。pos2处传入的正是std::identity,即对象自身,相当于不对原容器进行任何的具体操作,它跟pos3本质上是相同的。

  std::compare_three_way也是一个函数对象,它与<=>这个运算符有关联。这个运算符有个有意思的名字,叫宇宙飞船运算符,因为它的形状长得像宇宙飞船。这是C++20比较有意思的一个特性。

#include <iostream>
#include <type_traits>
#include <functional>


int main() {
    int a{3}, b{4};
    auto result = (a <=> b);

    if (result < 0)
        std::cout << "a < b\n";
    else if (result == 0)
        std::cout << "a == b\n";
    else 
        std::cout << "a > b\n";
}

Other New Types for Dealing with Iterators

  C++20,还有更多的值得探索......

标签:std,Functions,20,int,Dealing,same,assert,static,include
From: https://www.cnblogs.com/ChebyshevTST/p/17872207.html

相关文章

  • The 2023 ICPC Asia Hefei Regional Contest Test I. Linguistics Puzzle
    Preface这题yysy真不难,但比赛的时候想出做法后没时间写了,只能遗憾地看着倒计时结束Solution直接上爆搜复杂度肯定会爆,考虑有哪些数是可以不用搜直接推出来的首先样例启发我们\(0,1\)这两个数很好确定,因为\(0\)对应的字母单独出现的次数肯定最多,而\(1\)作为两位的开头出现的次......
  • 表达式-C语言-2023/12/2
    首先介绍表达式:......
  • 语句-C1-2023/12/2
    ......
  • P8111 [Cnoi2021] 区间
    [Cnoi2021]区间LuoguP8111题目背景Cirno有一个区间\([a,b](1\lea\leb\len)\),而你的任务是在规定的次数内帮Rumia猜出这个区间。每次,你可向Cirno询问一个数字\(k\),而Cirno会告诉你这个数字与区间\([a,b]\)的关系。题目描述为了猜到这个区间,你需要实现一个函......
  • 2023.12.2——每日总结
    学习所花时间(包括上课):9h代码量(行):0行博客量(篇):1篇今天,上午学习,下午学习;我了解到的知识点:1.jfinal明日计划:学习......
  • 2023-12-02:用go语言,如何求模立方根? x^3=a mod p, p是大于等于3的大质数, a是1到p-1范围
    2023-12-02:用go语言,如何求模立方根?x^3=amodp,p是大于等于3的大质数,a是1到p-1范围的整数常数,x也是1到p-1范围的整数,求x。p过大,x不能从1到p-1遍历。答案2023-12-02:灵捷3.5大体步骤如下:1.判断是否存在模立方根。有0,1,3个根这三种情况。1.1.求p-1和3的最大公约数gcd(p-1,3)......
  • 88th 2023/12/2 模拟赛总结57
    本次排名稍微考前,但依然丢脸,赛时先冷静地把题目翻了一遍,T1手推了一下,没有任何思路,却也不觉得这题难赛后事实说明是赛时考虑的太少了,光可行路径就至少可以卡到\(21^{20}\)条正解是预处理出两两之间路径最少需要的点数,然后DP,用优先队列优化然后就翻到T2,觉得这题非常有意思,就画......
  • 2023/12/2软件工程日报
    使用deepspeech做音频特征提取时报错AttributeError:module'numpy'hasnoattribute'float'.`np.float`wasadeprecatedaliasforthebuiltin`float`.Toavoidthiserrorinexistingcode,use`float`byitself.Doingthiswillnotmodifyanybehav......
  • 2023-2024-1 20232310 《网络空间安全导论》第4周学习
    教材内容学习总结教材学习中的问题和解决过程问题1:不理解sql注入的原理解决方案:利用B站学习sqlmap的使用方法,了解深层逻辑问题2:对于入侵检测的具体概念理解解决方案:询问Chatgpt,查询有关具体例子。基于AI的学习感悟系统安全是一项很复杂的工程,需要我不断努力学习......
  • 2023-2024-1 20231321王曦轶 《计算机基础与程序设计》第十周学习总结
    2023-2024-120231321王曦轶《计算机基础与程序设计》第十周学习总结作业信息这个作业属于哪个课程<班级的链接>(如2023-2024-1-计算机基础与程序设计)这个作业要求在哪里<作业要求的链接>(如2023-2024-1计算机基础与程序设计第一周作业)这个作业的目标<计算机科学......