C++/標準ライブラリ/mdspan

24.7.3 Multidimensional access (views.multidim)

このセクションは、多次元アクセスに関する概念を定義しています。

24.7.3.1 Overview (mdspan.overview)

多次元インデックス空間

カルテジアン積（デカルト積）として表される整数区間です。各区間は、半開範囲 [Li, Ui) として表され、Li は下限、Ui は上限です。

多次元インデックス空間のランクは、その空間が持つ区間の数を表します。

サイズは、各次元 i の (Ui − Li) の積として計算されます。ランクが 0 の場合、サイズは 1 となります。

ランクインデックス

整数 r は、インデックス空間 S のランクインデックスです。範囲は [0, S のランク) です。

多次元インデックス

整数の集まり idx は、インデックス空間 S の多次元インデックスです。

次の条件を満たす必要があります：

• idx の要素数が S のランクと等しいこと。
• S の各ランクインデックス i に対して、idx の i 番目の値が S の [Li, Ui) の範囲内であること。

24.7.3.2 Header <mdspan> synopsis (mdspan.syn)

このセクションでは、<mdspan> ヘッダーの概要が記述されています。

名前空間 std

クラステンプレート extents

template<class IndexType, size_t... Extents> class extents;

エイリアステンプレート dextents

template<class IndexType, size_t Rank> using dextents = see below ;

レイアウトマッピング

struct layout_left;

struct layout_right;

struct layout_stride;

クラステンプレート default_accessor

template<class ElementType> class default_accessor;

クラステンプレート mdspan

template<class ElementType, class Extents, class LayoutPolicy = layout_right, class AccessorPolicy = default_accessor<ElementType>> class mdspan;

24.7.3.3 Class template extents (mdspan.extents)

24.7.3.3.1 Overview (mdspan.extents.overview)

このセクションでは、クラステンプレート extents の概要が説明されています。

役割

extents クラスは、ランクが sizeof...(Extents) に等しい多次元インデックス空間を表します。

サブクローズ (24.7) では、extents は多次元インデックス空間の同義語として使用されます。

名前空間 std 内での定義

template<class IndexType, size_t... Extents>
class extents {
public:
    using index_type = IndexType;
    using size_type = make_unsigned_t<index_type>;
    using rank_type = size_t;

    // 観察関数
    static constexpr rank_type rank() noexcept { return sizeof...(Extents); }
    static constexpr rank_type rank_dynamic() noexcept { return dynamic-index (rank()); }
    static constexpr size_t static_extent(rank_type) noexcept;
    constexpr index_type extent(rank_type) const noexcept;

    // コンストラクタ
    constexpr extents() noexcept = default;
    template<class OtherIndexType, size_t... OtherExtents>
    constexpr explicit(see below ) extents(const extents<OtherIndexType, OtherExtents...>&) noexcept;
    template<class... OtherIndexTypes>
    constexpr explicit extents(OtherIndexTypes...) noexcept;
    template<class OtherIndexType, size_t N>
    constexpr explicit(N != rank_dynamic()) extents(span<OtherIndexType, N>) noexcept;
    template<class OtherIndexType, size_t N>
    constexpr explicit(N != rank_dynamic()) extents(const array<OtherIndexType, N>&) noexcept;

    // 比較演算子
    template<class OtherIndexType, size_t... OtherExtents>
    friend constexpr bool operator==(const extents&, const extents<OtherIndexType, OtherExtents...>&) noexcept;

private:
    static constexpr rank_type dynamic-index (rank_type) noexcept;
    static constexpr rank_type dynamic-index-inv (rank_type) noexcept;
    array<index_type, rank_dynamic()> dynamic-extents {};
};
template<class... Integrals>
explicit extents(Integrals...) -> see below ;

要件

IndexType は符号付きまたは符号なしの整数型でなければなりません。

各 Extents の要素は dynamic_extent と等しいか、IndexType で表現可能でなければなりません。

その他の詳細

extents の各特殊化は正則モデルであり、トリビアルにコピー可能です。

各 Er は static_extent または dynamic_extent です。