std:: strided_slice

每个 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 。

此类模板没有基类或除下述内容外的任何声明成员。

模板参数

如果类型要求未得到满足，则程序是非良构的。

成员类型

数据成员

所有这些成员都使用 [[ 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]

另请参阅