std::ranges::uninitialized_fill_n
| Definiert in Header <memory> |
||
| Aufruf-Signatur |
||
template< no-throw-forward-range I, class T > requires std::constructible_from<std::iter_value_t<I>, const T&> |
(seit C++20) (constexpr seit C++26) |
|
Kopiert value in einen uninitialisierten Speicherbereich first + [0, count), als ob durch return ranges::uninitialized_fill(std::counted_iterator(first, count),
std::default_sentinel, value).base();
Wenn während der Initialisierung eine Ausnahme ausgelöst wird, werden die bereits konstruierten Objekte in nicht spezifizierter Reihenfolge zerstört.
Die auf dieser Seite beschriebenen funktionsähnlichen Entitäten sind Algorithmus-Funktionsobjekte (informell als niebloids bekannt), d.h.
- Können explizite Template-Argumentlisten bei keinem von ihnen angegeben werden.
- Keiner von ihnen ist für Argument-abhängige Suche sichtbar.
- Wenn einer von ihnen durch normale unqualifizierte Suche als Name links vom Funktionsaufrufoperator gefunden wird, wird die Argument-abhängige Suche unterdrückt.
Inhalt |
[bearbeiten] Parameter
| first | - | Der Anfang des Bereichs der zu initialisierenden Elemente |
| zählt | - | Anzahl der zu konstruierenden Elemente |
| value | - | Der Wert, mit dem die Elemente konstruiert werden sollen |
[bearbeiten] Rückgabewert
Wie oben beschrieben.
[bearbeiten] Komplexität
Linear in count.
[bearbeiten] Ausnahmen
Jegliche Ausnahme, die bei der Konstruktion der Elemente im Zielbereich ausgelöst wird.
[bearbeiten] Hinweise
Eine Implementierung kann die Effizienz von ranges::uninitialized_fill_n verbessern, z. B. durch die Verwendung von ranges::fill_n, wenn der Werttyp des Ausgabebereichs ein TrivialType ist.
| Feature-Test-Makro | Wert | Std | Feature |
|---|---|---|---|
__cpp_lib_raw_memory_algorithms |
202411L |
(C++26) | Constexpr für spezialisierte Speicher-Algorithmen |
[bearbeiten] Mögliche Implementierung
struct uninitialized_fill_n_fn { template<no-throw-forward-range I, class T> requires std::constructible_from<std::iter_value_t<I>, const T&> I operator()(I first, std::iter_difference_t<I> n, const T& x) const { I rollback{first}; try { for (; n-- > 0; ++first) ranges::construct_at(std::addressof(*first), x); return first; } catch (...) // rollback: destroy constructed elements { for (; rollback != first; ++rollback) ranges::destroy_at(std::addressof(*rollback)); throw; } } }; inline constexpr uninitialized_fill_n_fn uninitialized_fill_n{}; |
[bearbeiten] Beispiel
#include <iostream> #include <memory> #include <string> int main() { constexpr int n{3}; alignas(alignof(std::string)) char out[n * sizeof(std::string)]; try { auto first{reinterpret_cast<std::string*>(out)}; auto last = std::ranges::uninitialized_fill_n(first, n, "cppreference"); for (auto it{first}; it != last; ++it) std::cout << *it << '\n'; std::ranges::destroy(first, last); } catch (...) { std::cout << "Exception!\n"; } }
Ausgabe
cppreference cppreference cppreference
[bearbeiten] 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 3870 | C++20 | dieser Algorithmus kann Objekte auf einem const Speicher erstellen | nicht erlaubt |
[bearbeiten] Siehe auch
| (C++20) |
kopiert ein Objekt in einen uninitialisierten Speicherbereich, definiert durch einen Bereich (Algorithmus-Funktionsobjekt) |
| kopiert ein Objekt in einen uninitialisierten Speicherbereich, definiert durch einen Start und eine Anzahl (Funktions-Template) |