std::experimental::is_simd，std::experimental::is_simd_mask

 

C++

编译器支持

独立和宿主

语言

标准库

标准库头文件

命名要求

功能测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

实验性

技术规范

文件系统库 (文件系统 TS)

库基础 (库基础 TS)

库基础 2 (库基础 TS v2)

库基础 3 (库基础 TS v3)

并行扩展 (并行 TS)

并行扩展 2 (并行 TS v2)

并发扩展 (并发 TS)

并发扩展 2 (并发 TS v2)

概念 (概念 TS)

范围 (范围 TS)

反射 (反射 TS)

数学特殊函数 (特殊函数 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	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
特性
is_simdis_simd_mask is_abi_tag is_simd_flag_type	simd_size memory_alignment rebind_simdresize_simd
数学函数

 

定义在头文件 <experimental/simd> 中
template< class T > struct is_simd;	(1)	(并行 TS v2)
template< class T > struct is_simd_mask;	(2)	(并行 TS v2)

1) 如果 T 是 simd 类模板的专门化，则提供成员常量 value 等于 true。对于任何其他类型，value 为 false。

2) 如果 T 是 simd_mask 类模板的专门化，则提供成员常量 value 等于 true。对于任何其他类型，value 为 false。

模板参数

T

-

要检查的类型

辅助变量模板

template< class T > constexpr bool is_simd_v = is_simd<T>::value;		(并行 TS v2)
template< class T > constexpr bool is_simd_mask_v = is_simd_mask<T>::value;		(并行 TS v2)

继承自 std::integral_constant

成员常量

value [静态]

true 如果 T 是 simd/simd_mask 类型，否则为 false (公共静态成员常量)

成员函数

operator bool	将对象转换为 bool，返回 value (公共成员函数)
operator() (C++14)	返回 value (公共成员函数)

成员类型

类型	定义
value_type	bool
type	std::integral_constant<bool, value>

注释

is_simd_v<T> 是测试 T 是否可以作为 SIMD 类型使用的必要条件，但不是充分条件。例如，is_simd_v<simd<bool>> 为 true，即使 bool 不包含在允许的矢量化类型中。缺少的条件是 std::is_constructible_v<T>，对于 simd<bool>，它为 false。

示例

运行此代码

#include <experimental/simd>
#include <iostream>
#include <string_view>
 
namespace stdx = std::experimental;
 
template<typename T>
void test_simd(std::string_view type_name)
{
    std::cout << std::boolalpha
              << "Type: " << type_name << '\n'
              << "  is_simd: " << stdx::is_simd_v<T> << '\n'
              << "  is_constructible: " << std::is_constructible_v<T> << '\n';
}
 
template<typename T>
void test_simd_mask(std::string_view type_name)
{
    std::cout << std::boolalpha
              << "Type: " << type_name << '\n'
              << "  is_simd_mask: " << stdx::is_simd_mask_v<T> << '\n'
              << "  is_constructible: " << std::is_constructible_v<T> << "\n\n";
}
 
int main() 
{
    test_simd<int>("int");
    test_simd_mask<int>("int");
 
    test_simd<stdx::simd<float>>("simd<float>");
    test_simd_mask<stdx::simd_mask<float>>("simd_mask<float>");
 
    test_simd<stdx::simd<bool>>("simd<bool>");
    test_simd_mask<stdx::simd_mask<bool>>("simd_mask<bool>");
}

输出

Type: int
  is_simd: false
  is_constructible: true
Type: int
  is_simd_mask: false
  is_constructible: true
 
Type: simd<float>
  is_simd: true
  is_constructible: true
Type: simd_mask<float>
  is_simd_mask: true
  is_constructible: true
 
Type: simd<bool>
  is_simd: true
  is_constructible: false
Type: simd_mask<bool>
  is_simd_mask: true
  is_constructible: false