std::experimental::reduce, std::experimental::hmin, std::experimental::hmax

 

C++

コンパイラサポート

フリースタンディングとホスト

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

汎用ユーティリティライブラリ

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

実験的

Technical Specification

ファイルシステムライブラリ (filesystem TS)

ライブラリ基本 (library fundamentals TS)

ライブラリ基本TS v2 (library fundamentals TS v2)

ライブラリ基本 3 (library fundamentals TS v3)

並列化拡張 (parallelism TS)

並列化拡張 2 (parallelism TS v2)

並行処理拡張 (concurrency TS)

並行処理拡張 2 (concurrency TS v2)

コンセプト (concepts TS)

Ranges (ranges TS)

リフレクション (reflection TS)

数学特殊関数 (special functions TR)

実験的 (非TS)

パターンマッチ

線形代数

std::execution

契約プログラミング

2Dグラフィックス

 

並列化拡張 v2

並列例外
exception_list
追加の実行ポリシー
execution::vector_policy	execution::unsequenced_policy
アルゴリズム
induction reductionreduction_plusreduction_minusreduction_multiplies	reduction_bit_andreduction_bit_orreduction_bit_xorreduction_minreduction_max	for_loopfor_loop_stridedfor_loop_nfor_loop_n_strided
execution::no_vec
execution::ordered_update_t
タスクブロック
task_block
task_cancelled_exception
define_task_blockdefine_task_block_restore_thread
データ並列ベクトル

 

SIMDライブラリ

主要なクラス
simd	simd_mask
ABIタグ
simd_abi::scalar simd_abi::fixed_size	simd_abi::native simd_abi::compatible	simd_abi::max_fixed_size simd_abi::deduce
アライメントタグ
element_aligned_tagelement_aligned	vector_aligned_tagvector_aligned	overaligned_tagoveraligned
Where式
ここで、	where_expression	const_where_expression
キャスト
simd_caststatic_simd_cast	to_fixed_sizeto_compatibleto_native	splitsplit_by concat
アルゴリズム
min max	minmax clamp
リダクション
reducehminhmax
マスクリダクション
all_ofany_ofnone_ofsome_of	popcount find_first_setfind_last_set
Traits
is_simdis_simd_mask is_abi_tag is_simd_flag_type	simd_size memory_alignment rebind_simdresize_simd
数学関数

 

ヘッダー <experimental/simd> で定義
template< class T, class Abi, class BinaryOperation = std::plus<> > T reduce( const simd<T, Abi>& v, BinaryOperation binary_op = {} );	(1)	(parallelism TS v2)
template< class M, class V, class BinaryOperation > typename V::value_type reduce( const const_where_expression<M, V>& x,         typename V::value_type identity_element, BinaryOperation binary_op = {} );	(2)	(parallelism TS v2)
template< class M, class V > typename V::value_type reduce( const const_where_expression<M, V>& x, std::plus<> binary_op ) noexcept;	(3)	(parallelism TS v2)
template< class M, class V > typename V::value_type reduce( const const_where_expression<M, V>& x, std::multiplies<> binary_op ) noexcept;	(4)	(parallelism TS v2)
template< class M, class V > typename V::value_type reduce( const const_where_expression<M, V>& x, std::bit_and<> binary_op ) noexcept;	(5)	(parallelism TS v2)
template< class M, class V > typename V::value_type reduce( const const_where_expression<M, V>& x, std::bit_or<> binary_op ) noexcept;	(6)	(parallelism TS v2)
template< class M, class V > typename V::value_type reduce( const const_where_expression<M, V>& x, std::bit_xor<> binary_op ) noexcept;	(7)	(parallelism TS v2)
template< class T, class Abi > T hmin( const simd<T, Abi>& v ) noexcept;	(8)	(parallelism TS v2)
template< class M, class V > typename V::value_type hmin( const const_where_expression<M, V>& x ) noexcept;	(9)	(parallelism TS v2)
template< class T, class Abi > T hmax( const simd<T, Abi>& v ) noexcept;	(10)	(parallelism TS v2)
template< class M, class V > typename V::value_type hmax( const const_where_expression<M, V>& x ) noexcept;	(11)	(parallelism TS v2)

1) v のすべての値を binary_op で還元します。

2) 対応するマスク要素が true である x の値を binary_op で還元します。

3) 対応するマスク要素が true である x のすべての値の合計を返します。

4) 対応するマスク要素が true である x のすべての値の積を返します。

5) 対応するマスク要素が true である x のすべての値のビット単位 AND による集計を返します。

6) 対応するマスク要素が true である x のすべての値のビット単位 OR による集計を返します。

7) 対応するマスク要素が true である x のすべての値のビット単位 XOR による集計を返します。

8) v のすべての値を std::min で還元します。

9) 対応するマスク要素が true である x のすべての値を std::min で還元します。

10) v のすべての値を std::max で還元します。

11) 対応するマスク要素が true である x のすべての値を std::max で還元します。

binary_op が結合的でも可換でもない場合、動作は非決定論的です。

パラメータ

v	-	還元を適用する simd ベクトル
x	-	還元を適用する where 式の戻り値
identity_element	-	binary_op の単位元として機能する値。有限な a (V::value_type 型) に対して、binary_op(identity_element, a) = a が成り立つ必要があります。
binary_op	-	V::value_type または simd<V::value_type, A> (ABI タグ A は未指定) 型の引数に、未指定の順序で適用される二項 FunctionObject。binary_op(v, v) は V に変換可能である必要があります。

戻り値

操作の結果。型は以下の通りです。

1,8,10) T

2-7,9,11) V::value_type

例

このコードを実行

#include <array>
#include <cassert>
#include <cstddef>
#include <experimental/simd>
#include <functional>
#include <iostream>
#include <numeric>
namespace stdx = std::experimental;
 
int main()
{
    using V = stdx::native_simd<double>;
 
    alignas(stdx::memory_alignment_v<V>) std::array<V::value_type, 1024> data;
    std::iota(data.begin(), data.end(), 0);
 
    V::value_type acc{};
    for (std::size_t i = 0; i < data.size(); i += V::size())
        acc += stdx::reduce(V(&data[i], stdx::vector_aligned), std::plus{});
    std::cout << "sum of data = " << acc << '\n';
 
    using W = stdx::fixed_size_simd<int, 4>;
    alignas(stdx::memory_alignment_v<W>) std::array<int, 4> arr{2, 5, 4, 1};
    auto w = W(&arr[0], stdx::vector_aligned);
    assert(stdx::hmin(w) == 1 and stdx::hmax(w) == 5);
}

出力

sum of data = 523776

関連項目

reduce (C++17)

std::accumulate に似ているが、順序不同 (関数テンプレート)