- simd[meta header]
- std::simd[meta namespace]
- function template[meta id-type]
- cpp26[meta cpp]
namespace std::simd {
template<math-floating-point V>
constexpr typename deduced-vec-t<V>::mask_type
isnormal(const V& x); // C++26
}- deduced-vec-t[link /reference/simd/deduced-vec-t.md]
- math-floating-point[link /reference/simd/math-floating-point.md]
浮動小数点要素型のbasic_vecについて、各要素が正規化数（ゼロ・非正規化数・無限大・NaNのいずれでもない）であるかを判定する。各要素にstd::isnormalを適用する。
制約math-floating-pointは、Vが浮動小数点要素型のbasic_vec、またはそれと組み合わせてbasic_vecを導出できる型であることを表す説明専用のコンセプトである。deduced-vec-t<V>は、引数から導出されるbasic_vec型である。戻り値の型deduced-vec-t<V>::mask_typeは、要素ごとの判定結果を保持するbasic_maskである。
各要素i（0以上deduced-vec-t<V>::size()未満）について、x[i]が正規化数であればtrue、そうでなければfalseとなるbasic_maskオブジェクトを返す。
#include <simd>
#include <print>
#include <limits>
#include <array>
namespace simd = std::simd;
int main()
{
constexpr float inf = std::numeric_limits<float>::infinity();
constexpr float denorm = std::numeric_limits<float>::denorm_min();
simd::vec<float, 4> v{
[&](int i) { return std::array{1.0f, 0.0f, inf, denorm}[i]; }
}; // {1, 0, inf, 非正規化数}
simd::vec<float, 4>::mask_type m = simd::isnormal(v);
for (std::size_t i = 0; i < m.size(); ++i)
std::print("{} ", m[i]);
std::println("");
}- simd::isnormal[color ff0000]
- simd::vec[link basic_vec.md]
- m.size()[link basic_mask/size.md]
- denorm_min[link /reference/limits/numeric_limits/denorm_min.md]
true false false false
- C++26
- Clang: 22 [mark noimpl]
- GCC: 16.1 [mark noimpl]
- Visual C++: 2026 Update 2 [mark noimpl]