op_deduction_guide.md

推論補助

• mdspan[meta header]
• std[meta namespace]
• extents[meta class]
• cpp23[meta cpp]

namespace std {
  template<class... Integrals>
  explicit extents(Integrals...) -> see below;
}

• see below[italic]

概要

std::extentsクラステンプレートの型推論補助。多次元配列の動的要素数リストからstd::dextents<size_t, sizeof...(Integrals)>型を推論する。

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

is_convertible_v<Integrals, size_t> && ...)がtrueであること。

例

#include <concepts>
#include <mdspan>

int main()
{
  // 動的要素数 3x3 の2次元配列サイズ
  std::extents ext3x3{3, 3};
  static_assert(std::same_as<decltype(ext3x3), std::dextents<size_t, 2>>);
}

出力

バージョン

言語

• C++23

処理系

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

参照

• P0009R18 MDSPAN