namespace std {
template<dereferenceable I>
requires requires(I& i) {
{ ranges::iter_move(i) } -> can-reference;
}
using iter_rvalue_reference_t = decltype(ranges::iter_move(declval<I&>()));
}
概要
任意のイテレータ型I
から、そのイテレータの要素への右辺値参照型を取得する。
例
#include <iostream>
#include <iterator>
#include <vector>
int main() {
using vec_iterator = std::vector<int>::iterator;
using pointer = double*;
static_assert(std::same_as<std::iter_rvalue_reference_t<vec_iterator>, int&&>);
static_assert(std::same_as<std::iter_rvalue_reference_t<pointer> , double&&>);
}
12
#include <iostream>
#include <iterator>
#include <vector>
int main() {
using vec_iterator = std::vector<int>::iterator;
using pointer = double*;
static_assert(std::same_as<std::iter_rvalue_reference_t<vec_iterator>, int&&>);
static_assert(std::same_as<std::iter_rvalue_reference_t<pointer> , double&&>);
}
出力
バージョン
言語
- C++20
処理系
- Clang: ??
- GCC: 10.1 ✅
- Visual C++: 2019 Update 6 ✅