template<class... Indices>
constexpr index_type operator()(Indices... i) const noexcept;
概要
多次元インデクス値i...
に対応する要素位置を求める。
テンプレートパラメータ制約
sizeof...(Indices) == extents_type::rank()
がtrue
、かつ(is_convertible_v<Indices, index_type> && ...)
がtrue
、かつ(is_nothrow_constructible_v<index_type, Indices> && ...)
がtrue
であること。
事前条件
多次元インデクス値extents_type::index-cast(i)
は、多次元配列サイズextents_
における有効なインデクスであること。
戻り値
説明用のパラメータパックP
において、is_same_v<index_sequence_for<Indices...>, index_sequence<P...>>
がtrue
となるとき、以下と等価。
return ((static_cast<index_type>(Indices...) * stride(P)) + ... + 0);
例外
投げない
例
#include <cassert>
#include <mdspan>
int main()
{
using Ext3x4 = std::extents<size_t, 3, 4>;
using Mapping3x4 = std::layout_right::mapping<Ext3x4>;
Mapping3x4 map;
assert(map(0,0) == 0);
assert(map(0,1) == 1);
assert(map(1,0) == 4);
assert(map(2,3) == 11);
}
出力
バージョン
言語
- C++23
処理系
- Clang: ??
- GCC: ??
- ICC: ??
- Visual C++: ??