C++/ranges

<ranges>是C++20引入的標準庫。<ranges>中定義了std::ranges和std::views命名空間。

「範圍」（range）是一個可以迭代的對象的集合，支持begin()和end()迭代器的結構都是範圍。這包括大多數STL容器。

「視圖」（view）從底層的範圍返回數據，但不擁有任何數據，並通過某種算法或操作轉換底層的範圍。視圖是惰性的，只在範圍迭代（即請求元素）時才會惰性求值，而不是在創建視圖時執行。view是容器的視圖，具有一定的數據操作能力，而且還重載了"|",能夠實現多個view的串聯操作。

視圖適配器是一個對象，可接受一個範圍，並返回一個視圖對象。視圖適配器可以使用|操作符連接到其他視圖適配器。視圖適配器從|操作符的左側獲得範圍操作數。|操作符會從左到右求值。視圖適配器位於std::views命名空間中。

一個簡單例子：

#include <iostream>
#include <vector>
#include <ranges>

int main() {
    std::vector<int>vi{0,1,2,3,4,5,6,7,8,9};
    auto tview =vi|std::views::reverse|std::views::take(5);    //视图适配器
    for(int i:tview)
        std::cout<<i<<" ";
    //输出为：9 8 7 6 5 

    // 不会产生数据
    auto view = std::views::iota(0, 10); 
    // 开始产生数据
    for (auto i : view)
    {
       std::cout << i << std::endl;
    }
    return 0;
}

ranges庫在std::views命名空間中包括一些變換函數：

take(int)選出view里的前N個元素。如果改編後的視圖包含的元素少於N，則返回所有元素。
take_while()給定一個一元謂詞 pred 和一個視圖 r，它生成一個範圍 [begin(r)， ranges::find_if_not(r, pred)) 的視圖。
reverse()逆序雙向視圖裡的所有元素
filter(invokable)視圖使用一個謂詞函數篩選出view里的特定元素，例如auto result = nums|std::views::filter([](int i){return 0==i%2;});
transform(invokable)視圖使用了一個轉換函數，對每個元素應用轉換函數後，返回底層序列的視圖。例如auto result =nums|std::views::transform([](int i){return i*i;});
drop()排除view里的前N個元素，如果改編後的視圖包含少於 N 個元素，則返回一個空範圍。例如：rnums = std::views::drop(rnums,5);
drop_while()給定一個一元謂詞 pred 和一個視圖 r，它生成一個範圍 [ranges::find_if_not(r, pred)， ranges::end(r)) 的視圖。
keys()選出pair里的first成員。是elements_view<views::all_t<R>, 0> 的別名。
values()選出pair里的second成員。是elements_view<views::all_t<R>, 1>的別名。
all() 返回一個包含傳入的 range 參數的所有元素的視圖
join()將一個範圍視圖平展為一個視圖
split(forward_range & view)接受一個視圖和一個分隔符，並將視圖劃分為分隔符上的子範圍。分隔符可以是單個元素，也可以是元素的視圖。
common()或common_range()獲取一個迭代器和哨兵具有不同類型的視圖，並將其轉換為具有相同類型迭代器和哨兵的相同元素的視圖。對於調用期望範圍的迭代器和哨點類型相同的遺留算法很有用。
counted()計數視圖顯示了迭代器i和非負整數 n 的計數範圍([iterator.requirements.general]) i+[0, n) 的元素的視圖。
elements()接受一個類元組值和 size_t 的視圖，並生成一個值類型為已改編視圖值類型的第 n 個元素的視圖。
zip(C++23) 由對已改編視圖的相應元素的引用的元組組成的視圖
zip_transform(C++23) 由轉換函數應用到所適應視圖的相應元素的結果元組組成的視圖
adjacent(C++23) 由對已改編視圖的相鄰元素的引用元組組成的視圖
adjacent_transform(C++23) 由轉換函數應用於所適應視圖的相鄰元素的結果元組組成
join_with(C++23) 一種視圖，由將範圍視圖平展得到的序列組成，元素之間有分隔符
slide(C++23) 第 M 個元素是另一個視圖的第 M 個到 (M + N - 1) 個元素的視圖
chunk(C++23) 一個由另一個視圖的元素組成的n個大小的不重疊連續塊的視圖範圍
chunk_by(C++23) 將視圖拆分為給定謂詞返回false的每對相鄰元素之間的子範圍
as_const(C++23) 將視圖轉換為常量範圍
as_rvalue(C++23) 將每個元素強制轉換為右值的序列視圖
stride(C++23) 由另一個視圖的元素組成的視圖，一次向前移動N個元素

ranges庫還包括一些factory函數：

對象std::views::empty, void -> view, 使用std::views::empty<T>即可直接獲得對象
對象std::views::single, any -> view, 單對象的std::ranges::view
對象std::views::iota, iterator | (iterator, sentinel) -> view, 一般哨位邊界的有限或無限遞增序列例如，itoa將生成一系列遞增的值，如auto rnums =std::views::iota(1,10);
對象std::views::counted, (iterator, count) -> view, 計數哨位邊界的有限遞增序列
對象std::views::istream<T>, istream<T> -> view, 輸入流轉std::ranges::view
類型std::ranges::subrange, (iterator, sentinel, [size]) | (borrowed_range, [size]) -> subvrange, 迭代器-哨位對
類型std::ranges::ref_view, range -> viewable_range 借用
類型std::ranges::owning_view, range -> viewable_range 占用
對象std::views::repeat(C++23), 由重複產生相同值的生成序列組成的視圖
對象std::views::cartesian_product(C++23), 由n元笛卡爾積計算出的結果元組組成的視圖

range是容器上的一個抽象概念，可以理解成指明首末位置的迭代器，即pair<begin,end>,這樣range自身就包含能用於算法的足夠信息，大多數算法只要用一個range參數就可以工作。基於range的概念，C++在名字空間std::ranges提供了與標準算法同名、但卻使用range參數的算法，寫法很簡潔。從C++20開始，<algorithm>頭文件中的大多數算法都會基於「範圍」。這些版本在<algorithm>頭文件中，但是在std::ranges命名空間中，這使它們與傳統算法分離開。所以無需再調用兩個迭代器的算法。例如std::sort(v.begin(),v.end());可以用範圍來調用std::ranges::sort(v);使用試圖適配器更為直觀、易讀：std::ranges::sort(v|std::ranges::view::reverse|std::ranges::views::drop(5));

range的分類

標題文本
Concept	Description
std::ranges::input_range	can be iterated from beginning to end at least once
std::ranges::forward_range	can be iterated from beginning to end multiple times
std::ranges::bidirectional_range	iterator can also move backwards with `--`
std::ranges::random_access_range	can jump to elements in constant-time `[]`
std::ranges::contiguous_range	elements are always stored consecutively in memory
std::ranges::sized_range	範圍的大小可由std::ranges::size()獲得，提供size函數，能常數時間獲取範圍的長度；如果未提供size函數, 那麼還要求 std::forward_iterator且iterator與sentinel(及iterator)可作差；如果size或者iterator的作差不能用常數時間實現, 那麼可以用特化：std::ranges::disable_sized_range<T> = true且std::disable_sized_sentinel_for<iterator, iterator> = true，強制關閉std::ranges::sized_range和std::ranges::sized_sentinel_for的特徵
std::ranges::common_range	如果iterator == sentinel
std::ranges::viewable_range	如果std::ranges::view 或std::ranges::borrowed_range
std::ranges::borrowed_range	如果類型std::ranges::range T的值T t的t.begin()和t.end()獲得的迭代器的生命周期與t無關, 那麼可以認為是std::ranges::borrowed_range。由於語言層面無法自動識別生命周期的關係, 因此要特徵能被識別, 還要手動特化std::ranges::enable_borrowed_range<T>為true