std::transform_inclusive_scan

定義於標頭檔案 `<numeric>`
template< class InputIt, class OutputIt, class BinaryOp, class UnaryOp > OutputIt transform_inclusive_scan ( InputIt first, InputIt last, OutputIt d_first, BinaryOp binary_op, UnaryOp unary_op );	(1)	(C++17 起) (C++20 起為 constexpr)
template< class ExecutionPolicy, class ForwardIt1, class ForwardIt2, class BinaryOp, class UnaryOp > ForwardIt2 transform_inclusive_scan ( ExecutionPolicy&& policy, ForwardIt1 first, ForwardIt1 last, ForwardIt2 d_first, BinaryOp binary_op, UnaryOp unary_op );	(2)	(C++17 起)
template< class InputIt, class OutputIt, class BinaryOp, class UnaryOp, class T > OutputIt transform_inclusive_scan ( InputIt first, InputIt last, OutputIt d_first, BinaryOp binary_op, UnaryOp unary_op, T init );	(3)	(C++17 起) (C++20 起為 constexpr)
template< class ExecutionPolicy, class ForwardIt1, class ForwardIt2, class BinaryOp, class UnaryOp, class T > ForwardIt2 transform_inclusive_scan ( ExecutionPolicy&& policy, ForwardIt1 first, ForwardIt1 last, ForwardIt2 d_first, BinaryOp binary_op, UnaryOp unary_op, T init );	(4)	(C++17 起)

1) 使用 op 計算包含性字首和。

對於 [0, std::distance(first, last)) 中的每個整數 i，按順序執行以下操作：

建立一個序列，該序列由 [first, iter] 的元素經 unary_op 按順序轉換而成，其中 iter 是 first 的第 i 個迭代器。
計算序列在 binary_op 上的廣義非交換和。
將結果賦值給 *dest，其中 dest 是 d_first 的第 i 個迭代器。

3) 與 (1) 相同，但建立的每個序列都由 init 及其後按順序的 [first, iter] 元素組成。

2,4) 同 (1,3)，但按 policy 執行。

僅當滿足所有以下條件時，這些過載才參與過載決議

std::is_execution_policy_v<std::decay_t<ExecutionPolicy>> 為 true。	(C++20 前)
std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>> 為 true。	(C++20 起)

序列在二元操作 binary_op 上的廣義非交換和定義如下：

如果序列只有一個元素，則和就是該元素的值。
否則，按順序執行以下操作：

從序列中選擇任意兩個相鄰元素 elem1 和 elem2。
計算 binary_op(elem1, elem2) 並用結果替換序列中的這兩個元素。
重複步驟 1 和 2，直到序列中只剩下一個元素。

如果 binary_op 不滿足結合律（例如浮點加法），則結果是不確定的。

對於過載 (1,2)，如果 binary_op(unary_op(*first), unary_op(*first)) 不能轉換為 decltype(first) 的值型別，則程式格式錯誤。

對於過載 (3,4)，如果以下任何值不能轉換為 T，則程式格式錯誤：

binary_op(init, init)
binary_op(init, unary_op(*first))
binary_op(unary_op(*first), unary_op(*first))

如果滿足以下任何條件，則行為是未定義的：

對於過載 (1,2)，decltype(first) 的值型別不是可移動構造的 (MoveConstructible)。
對於過載 (3,4)，T 不是可移動構造的 (MoveConstructible)。
unary_op 或 binary_op 修改 [first, last) 的任何元素。
unary_op 或 binary_op 使 [first, last] 的任何迭代器或子範圍失效。

first, last	-	定義要求和元素的範圍的迭代器對
d_first	-	目標範圍的起始；可以等於 first
policy	-	要使用的執行策略
init	-	初始值
unary_op	-	將應用於輸入範圍的每個元素的單目函式物件。返回型別必須是 binary_op 可接受的輸入。
binary_op	-	將應用於 unary_op 的結果、其他 binary_op 的結果以及（如果提供）init 的二目函式物件。
型別要求
- `InputIt` 必須滿足 LegacyInputIterator 的要求。
- `OutputIt` 必須滿足 LegacyOutputIterator 的要求。
- `ForwardIt1, ForwardIt2` 必須滿足 LegacyForwardIterator 的要求。

[編輯] 返回值

指向最後一個寫入元素之後的元素的迭代器。

[編輯] 複雜度

給定 $\scriptsize N$ $N$ 為 std::distance(first, last)

1-4) 分別對 unary_op 和 binary_op 進行

O(N)

次應用。

[編輯] 異常

帶有模板引數 ExecutionPolicy 的過載按如下方式報告錯誤

如果作為演算法一部分呼叫的函式執行時丟擲異常，並且 ExecutionPolicy 是標準策略之一，則呼叫 std::terminate。對於任何其他 ExecutionPolicy，行為是實現定義的。
如果演算法未能分配記憶體，則丟擲 std::bad_alloc。

[編輯] 注意

unary_op 從未應用於 init。

引數 init 出現在最後，這與 std::transform_exclusive_scan 不同，因為對於此函式它是可選的。

[編輯] 示例

執行此程式碼

#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';
}

輸出

10 times exclusive sum: 0 30 40 80 90 140 230 250 
10 times inclusive sum: 30 40 80 90 140 230 250 310

[編輯] 參閱

partial_sum	計算一個範圍元素的部分和 (函式模板) [編輯]
transform	對一個範圍的元素應用函式，並將結果儲存在目標範圍中 (函式模板) [編輯]
inclusive_scan (C++17)	類似於 std::partial_sum，將第 $i$ 個輸入元素包含在第 $i$ 個和中。 (函式模板) [編輯]
transform_exclusive_scan (C++17)	應用一個可呼叫物件，然後計算排除掃描 (函式模板) [編輯]

編譯器支援
自由（freestanding）與宿主（hosted）
語言
標準庫
標準庫標頭檔案
具名要求
特性測試宏 (C++20)
語言支援庫
概念庫 (C++20)
診斷庫
記憶體管理庫
超程式設計庫 (C++11)
通用工具庫
容器庫
迭代器庫
範圍庫 (C++20)
演算法庫
字串庫
文字處理庫
數值庫
日期和時間庫
輸入/輸出庫
檔案系統庫 (C++17)
併發支援庫 (C++11)
執行控制庫 (C++26)
技術規範
符號索引
外部庫

cppreference.com

名稱空間

變體

檢視

操作