Namespaces
Variants

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

From cppreference.net
Определено в заголовочном файле <experimental/simd>
template < class T >
struct is_simd ;
(1) (parallelism TS v2)
template < class T >
struct is_simd_mask ;
(2) (parallelism 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 ;
(parallelism TS v2)
template < class T >
constexpr bool is_simd_mask_v = is_simd_mask < T > :: value ;
(parallelism TS v2)
**Примечание:** Весь код C++ внутри тегов ` ` сохранен без изменений, как и требовалось. HTML-теги и атрибуты также остались нетронутыми.

Наследуется от std:: integral_constant

Константы-члены

value
[static]
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 > , которое возвращает false для simd < bool > .

Пример

#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