std:: uninitialized_fill
|
Definiert im Header
<memory>
|
||
|
template
<
class
NoThrowForwardIt,
class
T
>
void
uninitialized_fill
(
NoThrowForwardIt first,
|
(1) | (constexpr seit C++26) |
|
template
<
class
ExecutionPolicy,
class
NoThrowForwardIt,
class
T
>
void
uninitialized_fill
(
ExecutionPolicy
&&
policy,
|
(2) | (seit C++17) |
[
first
,
last
)
wie folgt:
for
(
;
first
!
=
last
;
++
first
)
::
new
(
voidify
(
*
first
)
)
typename
std::
iterator_traits
<
NoThrowForwardIt
>
::
value_type
(
value
)
;
|
std:: is_execution_policy_v < std:: decay_t < ExecutionPolicy >> ist true . |
(bis C++20) |
|
std:: is_execution_policy_v < std:: remove_cvref_t < ExecutionPolicy >> ist true . |
(seit C++20) |
Inhaltsverzeichnis |
Parameter
| first, last | - | das Paar von Iteratoren, das den Bereich der zu initialisierenden Elemente definiert |
| value | - | der Wert, mit dem die Elemente konstruiert werden sollen |
| policy | - | die zu verwendende Ausführungsrichtlinie |
| Typanforderungen | ||
-
NoThrowForwardIt
muss die Anforderungen von
LegacyForwardIterator
erfüllen.
|
||
-
NoThrowForwardIt
dürfen Ausnahmen werfen.
Die Anwendung von
&
*
auf einen
NoThrowForwardIt
-Wert muss einen Zeiger auf seinen Werttyp ergeben.
(bis C++11)
|
||
Komplexität
Linear in der Entfernung zwischen first und last .
Exceptions
Die Überladung mit einem Template-Parameter namens
ExecutionPolicy
meldet Fehler wie folgt:
-
Wenn die Ausführung einer als Teil des Algorithmus aufgerufenen Funktion eine Exception wirft und
ExecutionPolicyeiner der Standard-Policies ist, wird std::terminate aufgerufen. Für jede andereExecutionPolicyist das Verhalten implementierungsdefiniert. - Wenn der Algorithmus keinen Speicher allozieren kann, wird std::bad_alloc geworfen.
Hinweise
| Feature-Test Makro | Wert | Std | Feature |
|---|---|---|---|
__cpp_lib_raw_memory_algorithms
|
202411L
|
(C++26) | constexpr für spezialisierte Speicheralgorithmen , ( 1 ) |
Mögliche Implementierung
template<class NoThrowForwardIt, class T> constexpr void uninitialized_fill(NoThrowForwardIt first, NoThrowForwardIt last, const T& value) { using V = typename std::iterator_traits<NoThrowForwardIt>::value_type; NoThrowForwardIt current = first; try { for (; current != last; ++current) ::new (static_cast<void*>(std::addressof(*current))) V(value); } catch (...) { for (; first != current; ++first) first->~V(); throw; } } |
Beispiel
#include <algorithm> #include <iostream> #include <memory> #include <string> int main() { const std::size_t sz = 4; std::allocator<std::string> alloc; std::string* p = alloc.allocate(sz); std::uninitialized_fill(p, p + sz, "Example"); for (std::string* i = p; i != p + sz; ++i) { std::cout << *i << '\n'; i->~basic_string<char>(); } alloc.deallocate(p, sz); }
Ausgabe:
Example Example Example Example
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 866 | C++98 |
gegeben
T
als Werttyp von
NoThrowForwardIt
, falls
T :: operator new existiert, könnte das Programm fehlerhaft sein |
verwendet globales Platzierungs- new stattdessen |
| LWG 2433 | C++11 | dieser Algorithmus könnte durch überladenen operator & entführt werden | verwendet std::addressof |
| LWG 3870 | C++20 | dieser Algorithmus könnte Objekte auf einem const Speicher erstellen | weiterhin nicht erlaubt |
Siehe auch
|
kopiert ein Objekt in einen nicht initialisierten Speicherbereich, definiert durch einen Startpunkt und eine Anzahl
(Funktions-Template) |
|
|
(C++20)
|
kopiert ein Objekt in einen nicht initialisierten Speicherbereich, definiert durch einen Bereich
(Algorithmus-Funktionsobjekt) |