std:: transform_exclusive_scan
|
Definiert im Header
<numeric>
|
||
|
template
<
class
InputIt,
class
OutputIt,
class
T,
class
BinaryOp,
class
UnaryOp
>
|
(1) |
(seit C++17)
(constexpr seit C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2,
class
T,
|
(2) | (seit C++17) |
[
0
,
std::
distance
(
first, last
)
)
, führt in dieser Reihenfolge die folgenden Operationen aus:
-
Erzeugt eine Sequenz, die aus
init
gefolgt von den Werten besteht, die durch Transformation der Elemente von
[first,iter)in Reihenfolge durch unary_op gebildet werden, wobei iter der nächste i te Iterator von first ist. - Berechnet die generalisierte nichtkommutative Summe der Sequenz über binary_op .
- Weist das Ergebnis * dest zu, wobei dest der nächste i te Iterator von d_first ist.
|
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) |
Die verallgemeinerte nichtkommutative Summe einer Folge von Elementen über eine binäre Operation binary_op ist wie folgt definiert:
- Wenn die Sequenz nur ein Element hat, ist die Summe der Wert des Elements.
- Andernfalls werden die folgenden Operationen in dieser Reihenfolge ausgeführt:
- Wählt zwei beliebige benachbarte Elemente elem1 und elem2 aus der Sequenz aus.
- Berechnet binary_op ( elem1, elem2 ) und ersetzt die beiden Elemente in der Sequenz mit dem Ergebnis.
- Wiederholt Schritt 1 und 2, bis nur noch ein Element in der Sequenz vorhanden ist.
Das Ergebnis ist nicht-deterministisch, falls die
binary_op
nicht assoziativ ist (wie beispielsweise bei Fließkomma-Addition).
Wenn einer der folgenden Werte nicht in
T
konvertierbar ist, ist das Programm fehlerhaft:
- binary_op ( init, init )
- binary_op ( init, unary_op ( * first ) )
- binary_op ( unary_op ( * first ) , unary_op ( * first ) )
Wenn eine der folgenden Bedingungen erfüllt ist, ist das Verhalten undefiniert:
-
Tist nicht MoveConstructible . -
unary_op
oder
binary_op
modifiziert irgendein Element von
[first,last). -
unary_op
oder
binary_op
macht irgendeinen Iterator oder Teilbereich von
[first,last]ungültig.
Inhaltsverzeichnis |
Parameter
| first, last | - | das Paar von Iteratoren, das den Bereich der zu summierenden Elemente definiert |
| d_first | - | der Anfang des Zielbereichs; kann gleich first sein |
| policy | - | die zu verwendende Ausführungsrichtlinie |
| init | - | der Anfangswert |
| unary_op | - | unäres FunctionObject , das auf jedes Element des Eingabebereichs angewendet wird. Der Rückgabetyp muss als Eingabe für binary_op akzeptabel sein. |
| binary_op | - | binäres FunctionObject , das auf das Ergebnis von unary_op , die Ergebnisse anderer binary_op und init angewendet wird. |
| Typanforderungen | ||
-
InputIt
muss die Anforderungen von
LegacyInputIterator
erfüllen.
|
||
-
OutputIt
muss die Anforderungen von
LegacyOutputIterator
erfüllen.
|
||
-
ForwardIt1, ForwardIt2
muss die Anforderungen von
LegacyForwardIterator
erfüllen.
|
||
Rückgabewert
Iterator auf das Element nach dem letzten geschriebenen Element.
Komplexität
Gegeben N als std:: distance ( first, last ) :
Ausnahmen
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
unary_op wird niemals auf init angewendet.
Beispiel
#include <functional> #include <iostream> #include <iterator> #include <numeric> #include <vector> int main() { std::vector data{3, 1, 4, 1, 5, 9, 2, 6}; auto times_10 = [](int x) { return x * 10; }; std::cout << "10 times exclusive sum: "; std::transform_exclusive_scan(data.begin(), data.end(), std::ostream_iterator<int>(std::cout, " "), 0, std::plus<int>{}, times_10); std::cout << "\n10 times inclusive sum: "; std::transform_inclusive_scan(data.begin(), data.end(), std::ostream_iterator<int>(std::cout, " "), std::plus<int>{}, times_10); std::cout << '\n'; }
Ausgabe:
10 times exclusive sum: 0 30 40 80 90 140 230 250 10 times inclusive sum: 30 40 80 90 140 230 250 310
Siehe auch
|
berechnet die Teilsumme einer Reihe von Elementen
(Funktions-Template) |
|
|
(C++17)
|
ähnlich wie
std::partial_sum
, schließt das
i
te
Eingabeelement von der
i
ten
Summe aus
(Funktions-Template) |
|
(C++17)
|
wendet ein Aufrufbares an und berechnet dann inklusive Scan
(Funktions-Template) |