std:: uninitialized_move
|
Definiert im Header
<memory>
|
||
|
template
<
class
InputIt,
class
NoThrowForwardIt
>
NoThrowForwardIt uninitialized_move
(
InputIt first, InputIt last,
|
(1) |
(seit C++17)
(constexpr seit C++26) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt,
class
NoThrowForwardIt
>
|
(2) | (seit C++17) |
[
first
,
last
)
(unter Verwendung von Move-Semantik falls unterstützt) in einen nicht initialisierten Speicherbereich beginnend bei
d_first
wie folgt:
for
(
;
first
!
=
last
;
++
d_first,
(
void
)
++
first
)
::
new
(
voidify
(
*
d_first
)
)
typename
std::
iterator_traits
<
NoThrowForwardIt
>
::
value_type
(
/* value */
)
;
return
d_first
;
[
first
,
last
)
in einem gültigen aber unspezifizierten Zustand zurück, und die bereits konstruierten Objekte werden in einer unspezifizierten Reihenfolge zerstört.
|
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) |
|
Wenn
d_first
|
(seit C++20) |
Inhaltsverzeichnis |
Parameter
| first, last | - | das Paar von Iteratoren, das den Bereich der zu verschiebenden Elemente definiert |
| d_first | - | der Anfang des Zielbereichs |
| policy | - | die zu verwendende Ausführungsrichtlinie |
| Typanforderungen | ||
-
InputIt
muss die Anforderungen von
LegacyInputIterator
erfüllen.
|
||
-
ForwardIt
muss die Anforderungen von
LegacyForwardIterator
erfüllen.
|
||
-
NoThrowForwardIt
muss die Anforderungen von
LegacyForwardIterator
erfüllen.
|
||
-
NoThrowForwardIt
dürfen keine Inkrement-, Zuweisungs-, Vergleichs- oder Dereferenzierungsoperationen Ausnahmen werfen.
|
||
Rückgabewert
Wie oben beschrieben.
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
Wenn der Eingabeiterator auf einen R-Wert dereferenziert, ist das Verhalten von
std::uninitialized_move
identisch mit
std::uninitialized_copy
.
| 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 InputIt, class NoThrowForwardIt> constexpr NoThrowForwardIt uninitialized_move(InputIt first, InputIt last, NoThrowForwardIt d_first) { using ValueType = typename std::iterator_traits<NoThrowForwardIt>::value_type; auto current = d_first; try { for (; first != last; ++first, (void) ++current) { auto addr = static_cast<void*>(std::addressof(*current)); if constexpr (std::is_lvalue_reference_v<decltype(*first)>) ::new (addr) ValueType(std::move(*first)); else ::new (addr) ValueType(*first); } return current; } catch (...) { std::destroy(d_first, current); throw; } } |
Beispiel
#include <cstdlib> #include <iomanip> #include <iostream> #include <memory> #include <string> void print(auto rem, auto first, auto last) { for (std::cout << rem; first != last; ++first) std::cout << std::quoted(*first) << ' '; std::cout << '\n'; } int main() { std::string in[]{"Home", "Work!"}; print("initially, in: ", std::begin(in), std::end(in)); if ( constexpr auto sz = std::size(in); void* out = std::aligned_alloc(alignof(std::string), sizeof(std::string) * sz)) { try { auto first{static_cast<std::string*>(out)}; auto last{first + sz}; std::uninitialized_move(std::begin(in), std::end(in), first); print("after move, in: ", std::begin(in), std::end(in)); print("after move, out: ", first, last); std::destroy(first, last); } catch (...) { std::cout << "Exception!\n"; } std::free(out); } }
Mögliche Ausgabe:
initially, in: "Home" "Work!" after move, in: "" "" after move, out: "Home" "Work!"
Fehlerberichte
Die folgenden verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.
| DR | Angewendet auf | Verhalten wie veröffentlicht | Korrektes Verhalten |
|---|---|---|---|
| LWG 3870 | C++20 | dieser Algorithmus könnte Objekte auf einem const Speicher erstellen | weiterhin nicht erlaubt |
| LWG 3918 | C++17 |
zusätzliche temporäre Materialisierung war erforderlich
wenn der Eingabe-Iterator auf einen Prvalue dereferenziert |
kopiert das Element in diesem Fall |
Siehe auch
|
kopiert eine Reihe von Objekten in einen nicht initialisierten Speicherbereich
(Funktions-Template) |
|
|
(C++17)
|
verschiebt eine Anzahl von Objekten in einen nicht initialisierten Speicherbereich
(Funktions-Template) |
|
(C++20)
|
verschiebt eine Reihe von Objekten in einen nicht initialisierten Speicherbereich
(Algorithmus-Funktionsobjekt) |