std::layout_stride::mapping::コンストラクタ(C++23)

constexpr mapping() noexcept;  // (1)

constexpr mapping(const mapping&) noexcept = default;  // (2)

template<class OtherIndexType>
  constexpr mapping(const extents_type& e, span<OtherIndexType, rank_> s) noexcept;  // (3)

template<class OtherIndexType>
  constexpr mapping(const extents_type& e, const array<OtherIndexType, rank_>& s) noexcept;  // (4)

template<class StridedLayoutMapping>
  constexpr explicit(see below) mapping(const StridedLayoutMapping& other) noexcept;  // (5)

概要

• (1) : デフォルトコンストラクタ
• (2) : コピーコンストラクタ
• (3), (4) : extentsとストライド幅から構築（定数rank_は次元数）
• (5) : レイアウトマッピングからの変換コンストラクタ

テンプレートパラメータ制約

• (3), (4) :
  • is_convertible_v<const OtherIndexType&, index_type>がtrue、かつ
  • is_nothrow_constructible_v<index_type, const OtherIndexType&>がtrueであること。
• (5) :
  • layout-mapping-alike<StridedLayoutMapping>を満たす
  • is_constructible_v<extents_type, typename StridedLayoutMapping::extents_type> == true
  • StridedLayoutMapping::is_always_unique() == true
  • StridedLayoutMapping::is_always_strided() == true

事前条件

• (1) : layout_right::mapping<extents_type>().required_span_size()を、index_type型で表現できること。
• (3), (4) :
  • 半開区間[0, rank_)の全てのiに対して、s[i]をindex_typeへ変換した結果が0より大きいこと。
  • REQUIRED-SPAN-SIZE(e, s)をindex_type型で表現できること。
  • rank_ > 0のとき、半開区間[1, rank_)の全てのiに対してj = i-1としてs[Pi] >= s[Pj] * e.extents(Pj)を満たすの整数値の組合せPが存在すること。
• (5) :
  • StridedLayoutMappingがレイアウトマッピングポリシーを満たす
  • extents()の全ての次元rに対してother.stride(r) > 0
  • other.required_span_size()をindex_type型で表現できること
  • OFFSET(other) == 0

効果

• (1) : extents_type()でextents_を直接非リスト初期化し、全ての次元dに対してlayout_right::mapping<extents_type>().stride(d)でstrides_[d]を直接非リスト初期化する。
• (3), (4) : eでextents_を直接非リスト初期化し、全ての次元dに対してas_const(s[d])でstrides_[d]を直接非リスト初期化する。
• (5) : other.extents()でextents_を直接非リスト初期化し、全ての次元dに対してother.stride(d)でstrides_[d]を直接非リスト初期化する。

例外

投げない

explicitになる条件

• (5) : explicit指定子の式は以下と等価

// C++23
!(is_convertible_v<typename StridedLayoutMapping::extents_type, extents_type> &&
  (is-mapping-of<layout_left, StridedLayoutMapping> ||
   is-mapping-of<layout_right, StridedLayoutMapping> ||
   is-mapping-of<layout_stride, StridedLayoutMapping>))

// C++26
!(is_convertible_v<typename StridedLayoutMapping::extents_type, extents_type> &&
  (is-mapping-of<layout_left, StridedLayoutMapping> ||
   is-mapping-of<layout_right, StridedLayoutMapping> ||
   is-layout-left-padded-mapping-of<StridedLayoutMapping> ||
   is-layout-right-padded-mapping-of<StridedLayoutMapping> ||
   is-mapping-of<layout_stride, StridedLayoutMapping>))

例

#include <cassert>
#include <array>
#include <span>
#include <mdspan>

using Ext3x4 = std::extents<size_t, 3, 4>;

int main()
{
  // (1) : デフォルトコンストラクタ
  {
    std::layout_stride::mapping<Ext3x4> map1;
    std::layout_right::mapping<Ext3x4>  map1R;
    assert(map1 == map1R);
  }
  // (2) : コピーコンストラクタ
  {
    std::layout_stride::mapping<Ext3x4> map2_a;
    std::layout_stride::mapping<Ext3x4> map2_b = map2_a;
    assert(map2_a == map2_b);
  }
  // (3) : extentsとストライド幅(span)による構築
  {
    int strides[] = {4, 1};
    std::layout_stride::mapping<Ext3x4> map3{Ext3x4{}, std::span(strides)};
    assert(map3.stride(0) == 4);
    assert(map3.stride(1) == 1);
  }
  // (4) : extentsとストライド幅(array)による構築
  {
    std::array strides{4, 1};
    std::layout_stride::mapping<Ext3x4> map4{Ext3x4{}, strides};
    assert(map4.stride(0) == 4);
    assert(map4.stride(1) == 1);
  }
  // (5) : レイアウトマッピングからの変換コンストラクタ
  {
    std::layout_left::mapping<Ext3x4>   map5L;
    std::layout_stride::mapping<Ext3x4> map5 = map5L;
    assert(map5 == map5L);
  }
}

出力

バージョン

言語

• C++23

処理系

• Clang: ??
• GCC: ??
• ICC: ??
• Visual C++: ??

関連項目

• layout_left::mapping
• layout_right::mapping

参照

• P0009R18 MDSPAN
• P2763R1 layout_stride static extents default constructor fix
• P2642R6 Padded mdspan layouts
  • C++26でオーバーロード(5)のexplicit条件にlayout_left_padded, layout_right_padded対応が追加された。