std::experimental::is_simd, std::experimental::is_simd_mask

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

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

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

模板形参

T

-

要检查的类型

辅助变量模板

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

继承自 std::integral_constant

成员常量

value

[静态]

如果 T 为 simd/simd_mask 类型那么是 true，否则是 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

编译器支持
自立实现与有宿主实现
语言
标准库
标准库标头
具名要求
功能特性测试宏 (C++20)
语言支持库
概念库 (C++20)
元编程库 (C++11)
诊断库
通用工具库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
并发支持库 (C++11)
技术规范
符号索引
外部库

技术规范
文件系统库 (文件系统 TS)
库基础 (库基础 TS)
库基础 2 (库基础 TS v2)
库基础 3 (库基础 TS v3)
并行扩展 (并行 TS)
并行扩展 2 (并行 TS v2)
并发扩展 (并发 TS)
并发扩展 2 (并发 TS v2)
概念 (概念 TS)
范围 (范围 TS)
反射 (反射 TS)
数学特殊函数 (特殊函数 TR)
实验性非 TS 功能特性
模式匹配
线性代数
std::execution
契约
2D 图形