std::strided_slice

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

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

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

容器庫

序列

array (C++11)

vector

vector<bool>

inplace_vector (C++26)

hive (C++26)

deque

forward_list (C++11)

list

關聯

set

multiset

map

multimap

無序關聯

unordered_set (C++11)

unordered_multiset (C++11)

unordered_map (C++11)

unordered_multimap (C++11)

介面卡

stack

queue

priority_queue

flat_set (C++23)

flat_multiset (C++23)

flat_map (C++23)

flat_multimap (C++23)

檢視

span (C++20)

mdspan (C++23)

表格

迭代器失效

成員函式表格

非成員函式表格

 

std::mdspan

成員函式 mdspan::mdspan mdspan::operator= 元素訪問 mdspan::operator[] 觀察器 mdspan::rank mdspan::rank_dynamic mdspan::static_extent mdspan::extent mdspan::size mdspan::empty mdspan::stride mdspan::extents mdspan::data_handle mdspan::mapping mdspan::accessor mdspan::is_uniquemdspan::is_exhaustivemdspan::is_stridedmdspan::is_always_uniquemdspan::is_always_exhaustivemdspan::is_always_strided

非成員函式 swap(std::mdspan) 子檢視 submdspan (C++26) submdspan_extents (C++26) 輔助型別和模板 extentsdextents dims (C++26) default_accessor aligned_accessor (C++26) 佈局對映策略 layout_left layout_right layout_stride layout_left_padded (C++26) layout_right_padded (C++26) 子檢視輔助項 full_extent (C++26) strided_slice (C++26) submdspan_mapping_result (C++26) 推導指引

 

定義於標頭檔案 <mdspan>
template< class OffsetType, class ExtentType, class StrideType > struct strided_slice;		(C++26 起)

strided_slice 的每個特化例項都是一個切片說明符，用於 std::submdspan，透過在 std::mdspan 的指定維度上使用一組等間距的索引來選擇元素的子集。

每個 strided_slice 物件 s 由三個資料成員定義：偏移索引 s.offset，範圍 s.extent 和步長 s.stride。

給定 s.stride 大於零，如果 s.extent 非零，則由 N 表示的選定索引數由 1 + (s.extent - 1) / s.stride 確定，否則為 ​0​。將選擇索引的半開區間由 [s.offset, s.offset + s.extent) 給出。選定索引的序列如下生成： s.offset, ..., s.offset + (N - 1) * s.stride。

除了下面所示的成員外，此類模板沒有基類或宣告的成員。

模板引數

OffsetType	-	偏移的型別
ExtentType	-	範圍的型別
StrideType	-	步長的型別
型別要求
- 所有模板引數必須是無符號或有符號整數型別，或者必須滿足 integral-constant-like。

如果型別要求未滿足，則程式格式錯誤。

成員型別

成員型別	定義
offset_type	OffsetType
extent_type	ExtentType
stride_type	StrideType

資料成員

成員名稱 (Member name)	定義
offset	型別為 offset_type 的起始索引 (公有成員物件)
extent	型別為 extent_type 的值，新增到偏移量以定義索引的上限 (公有成員物件)
stride	型別為 stride_type 的增量值，等同於兩個索引之間的距離 (公有成員物件)

所有這些成員都使用 [[no_unique_address]] 屬性宣告，並具有預設成員初始化器，其中每個資料成員都進行值初始化。

注意

strided_slice 的每個特化都是一個聚合類，它允許對資料成員進行聚合初始化（包括指定初始化）（例如，std::strided_slice{.offset = 2, .extent = 10, .stride = 3}）。

strided_slice 的切片規範利用了資料成員 extent，而不是使用 end 來指示上限值的其他切片規範。這是因為如果 extent 和 stride 的型別都滿足 integral-constant-like，它可以直接為 std::mdspan 的子檢視生成靜態範圍。這使得透過將編譯時值與 offset 的執行時值混合來高效提取具有靜態範圍的子檢視成為可能。

示例

執行此程式碼

#include <mdspan>
#include <print>
 
template <typename View, typename O = int, typename E = int, typename S = int>
    requires (View::extents_type::rank() == 1)
void print_sliced_view(View v, std::strided_slice<O, E, S> s)
{
    using index_type = View::index_type;
    auto subview = std::submdspan(v, s);
    const auto& submap = subview.mapping();
 
    std::print("[");
    bool uses_comma = false;
    for (index_type i = 0; i != subview.extent(0); ++i)
    {
        if (uses_comma)
            std::print(", ");
        std::print("{}", subview[i]);
        uses_comma = true;
    }
    uses_comma = false;
    std::print("] extracted from indices [");
    for (index_type i = 0; i != subview.extent(0); ++i)
    {
        if (uses_comma)
            std::print(", ");
        std::print("{}", submap(i) + s.offset);
        uses_comma = true;
    }
    std::println("]");
}
 
int main()
{
    static constexpr char letters[]
    {
        'A', 'B', 'C', 'D', 'E', 'F', 'G', 'H', 'I', 'J',
        'K', 'L', 'M', 'N', 'O', 'P', 'Q', 'R', 'S', 'T',
        'U', 'V', 'W', 'X', 'Y', 'Z'
    };
    constexpr std::mdspan md(letters, 26);
    print_sliced_view(md, {.offset = 0, .extent = 10, .stride = 1});
    print_sliced_view(md, {.offset = 2, .extent = 10, .stride = 1});
    print_sliced_view(md, {.offset = 0, .extent = 5,  .stride = 1});
    print_sliced_view(md, {.offset = 2, .extent = 5,  .stride = 1});
    print_sliced_view(md, {.offset = 0, .extent = 10, .stride = 2});
    print_sliced_view(md, {.offset = 2, .extent = 10, .stride = 3});
    print_sliced_view(md, {.offset = 0, .extent = 15, .stride = 5});
    print_sliced_view(md, {.offset = 6, .extent = 15, .stride = 5});
}

輸出

[A, B, C, D, E, F, G, H, I, J] extracted from indices [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
[C, D, E, F, G, H, I, J, K, L] extracted from indices [2, 3, 4, 5, 6, 7, 8, 9, 10, 11]
[A, B, C, D, E] extracted from indices [0, 1, 2, 3, 4]
[C, D, E, F, G] extracted from indices [2, 3, 4, 5, 6]
[A, C, E, G, I] extracted from indices [0, 2, 4, 6, 8]
[C, F, I, L] extracted from indices [2, 5, 8, 11]
[A, F, K] extracted from indices [0, 5, 10]
[G, L, Q] extracted from indices [6, 11, 16]

參閱

slice	valarray 的類 BLAS 切片：起始索引、長度、步長 (類)
submdspan (C++26)	返回一個現有 mdspan 的子集檢視 (函式模板)