std::tuple_element<std::ranges::subrange>

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

超程式設計庫 (C++11)

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

範圍庫 (Ranges library)

範圍訪問 開始 cbegin   結束 cend rbegin crbegin   rend crend 大小 ssize   資料 cdata reserve_hint (C++26)   是否為空

範圍轉換 (Range conversions) std::from_range_t std::from_range (C++23)(C++23)     to (C++23)

懸空迭代器處理 (Dangling iterator handling) 懸垂 借用迭代器型別 借用子範圍型別

範圍原語 (Range primitives)
範圍大小型別範圍差異型別範圍值型別 elements_of (C++23)	迭代器型別const_iterator_t哨位型別const_sentinel_t (C++23)(C++23)	範圍引用型別範圍const引用型別範圍右值引用型別範圍公共引用型別 (C++23)

範圍概念 (Range concepts)
範圍 借用範圍    共同範圍	有大小範圍 可檢視範圍    檢視	輸入範圍 輸出範圍 前向範圍	雙向範圍    隨機訪問範圍 連續範圍	近似大小範圍 (C++26) 常量範圍 (C++23)

檢視
檢視介面	子範圍

範圍工廠 (Range factories)
空檢視views::empty	單元素檢視views::single	基本輸入流檢視views::istream	iota_viewviews::iota	repeat_viewviews::repeat (C++23)(C++23)

範圍介面卡 (Range adaptors)
views::all_tviews::all 右值檢視views::as_rvalue (C++23)(C++23)   過濾檢視views::filter 變換檢視views::transform 取前N個檢視views::take 滿足條件時取前N個檢視views::take_while 共同檢視views::common views::counted to_input_viewviews::to_input (C++26)(C++26)	引用檢視 丟棄前N個檢視views::drop 滿足條件時丟棄前N個檢視views::drop_while 惰性分割檢視views::lazy_split 分割檢視views::split 連線檢視views::join 帶分隔符連線檢視views::join_with (C++23)(C++23)   串接檢視views::concat (C++26)(C++26) 快取最新值檢視views::cache_latest (C++26)(C++26)	所有權檢視 反轉檢視views::reverse 常量檢視views::as_const (C++23)(C++23) 元素檢視views::elements 鍵檢視views::keys 值檢視views::values 列舉檢視views::enumerate (C++23)(C++23) zip_viewviews::zip (C++23)(C++23) zip_transform_viewviews::zip_transform (C++23)(C++23)	相鄰元素檢視views::adjacent (C++23)(C++23) views::pairwise (C++23) 相鄰元素變換檢視views::adjacent_transform (C++23)(C++23) views::pairwise_transform (C++23) 分塊檢視views::chunk (C++23)(C++23) 滑動視窗檢視views::slide (C++23)(C++23) 按條件分塊檢視views::chunk_by (C++23)(C++23) 步進檢視views::stride (C++23)(C++23) 笛卡爾積檢視views::cartesian_product (C++23)(C++23)

範圍生成器 (Range generators) std::generator (C++23)

範圍介面卡閉包物件 (Range adaptor closure objects) 範圍介面卡閉包 (C++23)

範圍介面卡物件 (Range adaptor objects)

輔助項 (Helper items)
可複製包裝 可移動包裝 (直到 C++23)  (C++23)	簡單檢視 不傳播快取

 

std::ranges::subrange

成員函式

subrange::subrange

subrange::operator PairLike

觀察器

subrange::begin

subrange::end

subrange::empty

subrange::size

迭代器操作

subrange::advance

subrange::next

subrange::prev

推導指引

非成員函式

get(std::ranges::subrange)

輔助型別

subrange_kind

tuple_size<std::ranges::subrange>

tuple_element<std::ranges::subrange>

 

定義於標頭檔案 <ranges>
template< class I, class S, ranges::subrange_kind K > struct tuple_element<0, ranges::subrange<I, S, K>>;	(1)	(C++20 起)
template< class I, class S, ranges::subrange_kind K > struct tuple_element<0, const ranges::subrange<I, S, K>>;	(2)	(C++20 起)
template< class I, class S, ranges::subrange_kind K > struct tuple_element<1, ranges::subrange<I, S, K>>;	(3)	(C++20 起)
template< class I, class S, ranges::subrange_kind K > struct tuple_element<1, const ranges::subrange<I, S, K>>;	(4)	(C++20 起)

std::tuple_element 對於 std::ranges::subrange 的部分特化提供了使用類元組語法對 subrange 的迭代器或哨位型別的編譯時訪問。它們被提供以支援結構化繫結。

1,2) 獲得迭代器型別，即 I。

3,4) 獲得哨位型別，即 S。

成員型別

成員型別	定義
型別	(1,2) I (3,4) S

注意

因為 subrange 的 get 函式以值返回迭代器和哨位，所以當 subrange 是 const 限定（但非 volatile 限定）時，不會給結果型別新增 const 限定符。

如果 subrange 是 volatile 限定的，結果型別也會是 volatile 限定的，因為會使用 volatile 或 const volatile 型別的部分特化。這種用法已被棄用。

示例

執行此程式碼

#include <iterator>
#include <list>
#include <ranges>
#include <type_traits>
 
int main()
{
    std::list<int> list{3, 1, 4, 1, 5, 9, 2, 6};
 
    std::ranges::subrange subrange
    {
        std::counted_iterator{std::begin(list), 4},
        std::default_sentinel
    };
 
    static_assert(
        std::is_same_v<
            std::tuple_element_t<0, decltype(subrange)>,
            // implementation-defined type:
            std::counted_iterator<std::_List_iterator<int>>
            >);
 
    static_assert(
        std::is_same_v<
            std::tuple_element_t<1, decltype(subrange)>,
            std::default_sentinel_t
            >);
}

參閱

結構化繫結 (C++17)	將指定的名字繫結到初始化器的子物件或元組元素
tuple_element (C++11)	獲取類元組型別的元素型別 (類模板)
std::tuple_size<std::ranges::subrange> (C++20)	獲取 std::ranges::subrange 的大小 (類模板特化)