29 Numerics library [numerics]

29.10 Data-parallel types [simd]

29.10.7 Class template basic_vec [simd.class]

29.10.7.2 Constructors [simd.ctor]

template<class U> constexpr explicit(see below) basic_vec(U&& value) noexcept;

Let From denote the type remove_cvref_t<U>.

Constraints: U satisfies explicitly-convertible-to<value_type>.

Effects: Initializes each element to the value of the argument after conversion to value_type.

Remarks: The expression inside explicit evaluates to false if and only if U satisfies convertible_to<value_type>, and either

(4.1)
From is not an arithmetic type and does not satisfy constexpr-wrapper-like,
(4.2)
From is an arithmetic type and the conversion from From to value_type is value-preserving ([simd.general]), or
(4.3)
From satisfies constexpr-wrapper-like, remove_cvref_t<decltype(From::value)> is an arithmetic type, and From::value is representable by value_type.

🔗

template<class U, class UAbi>
  constexpr explicit(see below) basic_vec(const basic_vec<U, UAbi>& x) noexcept;

Constraints:

(5.1)
simd-size-v<U, UAbi> == size() is true, and
(5.2)
U satisfies explicitly-convertible-to<T>.

Effects: Initializes the

i^{th}

element with static_cast<T>(x[i]) for all i in the range of [0, size()).

Remarks: The expression inside explicit evaluates to true if either

(7.1)
the conversion from U to value_type is not value-preserving, or
(7.2)
both U and value_type are integral types and the integer conversion rank ([conv.rank]) of U is greater than the integer conversion rank of value_type, or
(7.3)
both U and value_type are floating-point types and the floating-point conversion rank ([conv.rank]) of U is greater than the floating-point conversion rank of value_type.

🔗

template<class G> constexpr explicit basic_vec(G&& gen);

Let From

_{i}

denote the type decltype(gen(integral_constant<simd-size-type, i>())).

Constraints: From

_{i}

satisfies convertible_to<value_type> for all i in the range of [0, size()).

In addition, for all i in the range of [0, size()), if From

_{i}

is an arithmetic type, conversion from From

_{i}

to value_type is value-preserving.

Effects: Initializes the

i^{th}

element with static_cast<value_type>(gen(integral_constant<simd-size-type, i>())) for all i in the range of [0, size()).

Remarks: gen is invoked exactly once for each i, in increasing order of i.

🔗

template<class R, class... Flags>
  constexpr basic_vec(R&& r, flags<Flags...> = {});
template<class R, class... Flags>
  constexpr basic_vec(R&& r, const mask_type& mask, flags<Flags...> = {});

Let mask be mask_type(true) for the overload with no mask parameter.

Constraints:

(13.1)
R models ranges::contiguous_range and ranges::sized_range,
(13.2)
ranges::size(r) is a constant expression,
(13.3)
ranges::size(r) is equal to size(), and
(13.4)
ranges::range_value_t<R> is a vectorizable type and satisfies explicitly-convertible-to<T>.

Mandates: If the template parameter pack Flags does not contain convert-flag, then the conversion from ranges::range_value_t<R> to value_type is value-preserving.

Preconditions:

(15.1)
If the template parameter pack Flags contains aligned-flag, ranges::data(r) points to storage aligned by alignment_v<basic_vec, ranges::range_value_t<R>>.
(15.2)
If the template parameter pack Flags contains overaligned-flag<N>, ranges::data(r) points to storage aligned by N.

Effects: Initializes the

i^{th}

element with mask[i] ? static_cast<T>(ranges::data(r)[i]) : T() for all i in the range of [0, size()).

🔗

template<class R, class... Ts>
  basic_vec(R&& r, Ts...) -> see below;

Constraints:

(17.1)
R models ranges::contiguous_range and ranges::sized_range, and
(17.2)
ranges::size(r) is a constant expression.

Remarks: The deduced type is equivalent to vec<ranges::range_value_t<R>, static_cast<simd-size-type>(ranges::size(r))>

🔗

template<size_t Bytes, class Abi>
  basic_vec(basic_mask<Bytes, Abi> k) -> see below;

Constraints: basic_mask<Bytes, Abi> is an enabled specialization of basic_mask and decltype(+k) is a valid type.

Remarks: The deduced type is equivalent to decltype(+k).

🔗

constexpr basic_vec(const real-type& reals, const real-type& imags = {}) noexcept;

Constraints: simd-complex<basic_vec> is modeled.

Effects: Initializes the

i^{th}

element with value_type(reals[i], imags[i]) for all i in the range [0, size()).