std::experimental::all_of, std::experimental::any_of, std::experimental::none_of, std::experimental::some_of

< cpp‎ | experimental‎ | simd

在标头 `<experimental/simd>` 定义
template< class T, class Abi > bool all_of( const simd_mask<T, Abi>& k );	(1)	(并行 TS v2)
template< class T, class Abi > bool any_of( const simd_mask<T, Abi>& k );	(2)	(并行 TS v2)
template< class T, class Abi > bool none_of( const simd_mask<T, Abi>& k );	(3)	(并行 TS v2)
template< class T, class Abi > bool some_of( const simd_mask<T, Abi>& k );	(4)	(并行 TS v2)

1) 如果 k 中的所有值均为 true 则返回 true。

2) 如果 k 中至少一个值为 true 则返回 true。

3) 如果 k 中的所有值均为 false 则返回 true。

4) 如果 k 中至少一个值为 true 但并非 k 中的所有值均为 true 则返回 true。

参数

k - 要运用归约的 simd_mask

返回值

横向归约的布尔结果。

示例

#include <cassert>
#include <experimental/simd>
 
namespace stq = std::experimental;
 
int main()
{
    using mask = stq::fixed_size_simd_mask<int, 4>;
 
    mask mask1{false}; // = {0, 0, 0, 0}
    assert
    (
        stq::none_of(mask1) == true &&
        stq::any_of(mask1) == false &&
        stq::some_of(mask1) == false &&
        stq::all_of(mask1) == false
    );
 
    mask mask2{true}; // = {1, 1, 1, 1}
    assert
    (
        stq::none_of(mask2) == false &&
        stq::any_of(mask2) == true &&
        stq::some_of(mask2) == false &&
        stq::all_of(mask2) == true
    );
 
    mask mask3{true};
    mask3[0] = mask3[1] = false; // mask3 = {0, 0, 1, 1}
    assert
    (
        stq::none_of(mask3) == false &&
        stq::any_of(mask3) == true &&
        stq::some_of(mask3) == true &&
        stq::all_of(mask3) == false
    );
}