Range

  整个Range-v3的实现文件夹(range/v3)里的东西特别多，要想较好地去理解整个实现，就必须找一个好的切入点。之前，我已阅读完了整个项目所使用的模板元编程的库的部分，那是整个项目所使用的基础工具。现在，我决定从整个库的最核心的概念range开始看，如果中途遇到其他的辅助的功能实现再加以解释，而不是专门地去看那些实现，这样主次分明，能大大地减少我们阅读整个项目所需的时间。

  range是整个库的基本概念，库的大部分功能都是围绕这个概念而展开的。在文件range/concepts.hpp中，定义了对于不同种类range的各种特征。下面，我将围绕着这些不同种类的range展开介绍。

• range : 只要求能适用于ranges::begin和ranges::end(即有成员函数::begin()和::end()或是一个普通的数组)，不要求返回类型相同或是可比较
• borrowed_range : 一种特殊的range，它所储存的内容的所有权不是由其自身来管理的，例如std::string_view就可以说是一个borrowed_range。是否是borrowed_range是由enable_borrowed_range这个模板变量决定的，当我们实现range时，我们需要设定这个模板变量，其默认值是false
• safe_range : borrowed_range的别名，因为不用自己管理资源，所以安全
• output_range : 一种特殊的range，对其使用ranges::begin返回的iterator是一个output_iterator，具体什么是output_iterator，我们下次再去深入地看iterator相关的内容
• input_range : 一种特殊的range，对其使用ranges::begin返回的iterator是一个input_iterator
• forward_range : 一种特殊的input_range，对其使用ranges::begin返回的iterator是一个forward_iterator
• bidirectional_range : 一种特殊的forward_range，对其使用ranges::begin返回的iterator是一个bidirectional_iterator
• random_access_range : 一种特殊的bidirectional_range，对其使用ranges::begin返回的iterator是一个random_access_iterator
• contiguous_range_ : 内存连续的random_access_range，对其使用ranges::data(如果是数组，返回地址，否则调用其::data())所求得的结果与其迭代器解引用后得到的类型的指针形式相同，且其迭代器是一个contiguous_iterator
• common_range : 一种特殊的range，其只要求其的iterator类型同sentinel类型是相同的(即begin()和end()的返回值的类型是相同的)
• bounded_range : 是common_range的别名，既然不需要特殊的sentinel，那么必然是有限的、可确定的、有界的range
• sized_range : 一种特殊的range，其要求disable_sized_range这个模板变量的值为false(同enable_borrowed_range一样，其默认值也为false，是根据不同的range实际类型去特化修改其值的)，且其能被range::size函数所调用(这个函数对于range是数组的情况，返回数组的大小，否则，调用其::size()函数)，得到的结果得是整数形式的。
• viewable_range : 一种特殊的range，其要求要么其enable_borrowed_range的值为true；要么其得是semiregular的(即可拷贝、可默认构造的)，同时其enable_view这个模板变量的值得是true(这个值同disable_sized_range一样，其默认值为判断类型T是否是view_base的子类，也可以自己特化来设定其值，比如std::string_view的enable_view就被设定为true)
• 各种range_tag : 用来判断range类型的用作标志用途的一些类型，有：
  • range_tag
  • input_range_tag : range_tag
  • forward_range_tag : input_range_tag
  • bidirectional_range_tag : forward_range_tag
  • random_access_range_tag : bidirectional_range_tag
  • contiguous_range_tag : random_access_range_tag
• range_tag_of : 根据各种range的concept，来判断所给类型是哪种range，返回不同的range_tag的类型
• common_range_tag : range_tag : 不归range_tag_of管的一种range_tag，用common_range_tag_of来判断
• sized_range_tag : range_tag : 不归range_tag_of管的一种range_tag，用sized_range_tag_of来判断

  各种range的concept基本就这些，我们不难发现，各种range都离不开各种iterator的concept，所以下次我就将阅览一下各种iterator的concept。