namespace std::ranges {
template<class From, class To>
concept uses-nonqualification-pointer-conversion = // 説明専用コンセプト
is_pointer_v<From> && is_pointer_v<To> &&
!convertible_to<remove_pointer_t<From>(*)[], remove_pointer_t<To>(*)[]>;
}
概要
uses-nonqualification-pointer-conversion
は、直接変換できない型同士のポインタの変換が必要かどうかを表す。ranges::subrange
の定義において、ranges::subrange<const T* const*>
をT*[]
から構築するなどの時に必要になるポインタの変換を許容するために使用される。
バージョン
言語
- C++20
処理系
- Clang: ??
- GCC: ??
- ICC: ??
- Visual C++: ??