std::common_iterator<I,S>:operator*, ->
| constexpr decltype(auto) operator*(); |
(1) | (seit C++20) |
| constexpr decltype(auto) operator*() const requires /*dereferenceable*/<const I>; |
(2) | (seit C++20) |
| constexpr auto operator->() const requires /* siehe Beschreibung */; |
(3) | (seit C++20) |
| Hilfstypen |
||
| class /*proxy*/ { std::iter_value_t<I> keep_; |
(4) | (nur Exposition*) |
Gibt Zeiger oder Referenz auf das aktuelle Element zurück, oder einen Proxy, der es enthält.
Das Verhalten ist undefiniert, wenn das zugrundeliegende std::variant-Mitgliedsobjekt var kein Objekt vom Typ I enthält, d. h. std::holds_alternative<I>(var) gleich false ist.
Sei it der Iterator vom Typ I, der von var gehalten wird, d. h. std::get<I>(var).
it zurück.- Äquivalent zu return it;, wenn
Iein Zeigertyp ist oder der Ausdruck it.operator->() wohlgeformt ist. - Andernfalls äquivalent zu auto&& tmp = *it; return std::addressof(tmp);, wenn std::iter_reference_t<I> ein Referenztyp ist.
- Andernfalls äquivalent zu return proxy(*it);, wobei
proxyeine expositions-nur-Klasse ist (4).
requires-Klausel ist äquivalent zustd::indirectly_readable<const I> && (
requires(const I& i) { i.operator->(); } ||
std::is_reference_v<std::iter_reference_t<I>> ||
std::constructible_from<std::iter_value_t<I>, std::iter_reference_t<I>>
Inhalt |
[edit] Parameter
(keine)
[edit] Rückgabewert
[edit] Beispiel
#include <complex> #include <initializer_list> #include <iostream> #include <iterator> using std::complex_literals::operator""i; int main() { const auto il = {1i, 3.14 + 2i, 3i, 4i, 5i}; using CI = std::common_iterator< std::counted_iterator<decltype(il)::iterator>, std::default_sentinel_t>; CI ci{std::counted_iterator{std::next(begin(il), 1), std::ssize(il) - 1}}; std::cout << *ci << ' ' << ci->real() << '\n'; }
Ausgabe
(3.14,2) 3.14
[edit] Fehlerberichte
Die folgenden Verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.
| DR | angewendet auf | Verhalten wie veröffentlicht | Korrigiertes Verhalten |
|---|---|---|---|
| LWG 3574 | C++20 | variant war vollständig constexpr (P2231R1), aber common_iterator nicht |
wurde ebenfalls constexpr gemacht |
| LWG 3595 | C++20 | funktionsaufrufe des Proxy-Typs fehlten constexpr und noexcept | hinzugefügt |
| LWG 3672 | C++20 | operator-> könnte in üblichen Fällen per Referenz zurückgeben |
gibt immer per Wert zurück |
[edit] Siehe auch
konstruiert einen neuen common_iterator(öffentliche Memberfunktion) |