explicitly-convertible-to.md

explicitly-convertible-to

• [meta exposition-only]
• simd[meta header]
• concept[meta id-type]
• std::simd[meta namespace]
• cpp26[meta cpp]

namespace std::simd {
  template<class From, class To>
  concept explicitly-convertible-to =
    requires {
      static_cast<To>(declval<From>());
    };
}

• declval[link /reference/utility/declval.md]

概要

explicitly-convertible-toは、型Fromの値が型Toへ明示的に変換可能（static_cast<To>が適格）であることを表す説明専用のコンセプトである。

basic_vecの変換コンストラクタなど、要素型どうしの明示的な変換を要求する箇所のテンプレートパラメータ制約として使用される。

バージョン

言語

• C++26

関連項目

• std::simd::basic_vec

参照

• P1928R15 std::simd — merge data-parallel types from the Parallelism TS 2
  • C++26でstd::simdライブラリが追加された
• LWG Issue 4420. §[simd] conversions (constructor, load, stores, gather, and scatter) are incorrectly constrained for <stdfloat> types
  • C++26で、<stdfloat>型（float16_t等）を含む明示的変換をsimdのコンストラクタやload/store/gather/scatterで正しく扱うために、このコンセプトが導入された