std::layout_stride::mapping<Extents>::mapping-traits
From cppreference.com
< cpp | container | mdspan | layout stride | mapping
| static constexpr bool is_unique() noexcept; |
(1) | (C++23から) |
| constexpr bool is_exhaustive() const noexcept; |
(2) | (C++23から) |
| static constexpr bool is_strided() noexcept; |
(3) | (C++23から) |
| static constexpr bool is_always_unique() noexcept; |
(4) | (C++23から) |
| static constexpr bool is_always_exhaustive() noexcept; |
(5) | (C++23から) |
| static constexpr bool is_always_strided() noexcept; |
(6) | (C++23から) |
mapping のすべての特殊化のすべてのインスタンスは、一意であり、ストライドを持ちます。
マッピングが網羅的であるのは、次のいずれかの条件が true の場合です。
- rank_ が 0 である、または
- 範囲
[0,rank_)の整数に対する置換 p が存在し、
- stride(p[0]) が 1 に等しく、
- stride(p[i]) が stride(p[i - 1]) * extents().extent(p[i - 1]) に等しい
- ただし、
[1,rank_)のすべての i に対して、p[i] は p の i 番目の要素です。
(rank_ は、std::layout_stride::mapping で定義された、実装専用の静的メンバ定数です。)
LayoutMapping を参照して、これらの述語マッピング特性の意味を確認してください。
目次 |
[編集] パラメータ
(なし)
[編集] 戻り値
1,3-4,6) true
2) マッピングが網羅的である場合(上記参照)は true
5) false
[編集] 例
| このセクションは未完成です 理由: 例がありません |
[編集] 関連項目
| このセクションは未完成です |