Proposed resolution:

This wording is relative to N5014.

1. Modify [simd.ctor] as indicated:

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

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

   -9- Constraints:

   1. (9.?) — constructible_from<value_type, G> is false.

   2. (9.?) — 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.

   […]

   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...> = {});
   

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

   -13- Constraints:

   1. (13.1) — `R` models `ranges::contiguous_range` and `ranges::sized_range`,

   2. (13.2) — `ranges::size(r)` is a constant expression, and

   3. (13.3) — `ranges::size(r)` is equal to `size()`.,

   4. (13.?) — constructible_from<value_type, R> is `false`, and

   5. (13.?) — r(integral_constant<simd-size-type, 0>()) is not a valid expression.

[ 2025-12-10 Status changed: Tentatively NAD → NAD. ]

[ 2025-10-17; Reflector poll. Status changed: New → Tentatively NAD. ]

Users of such types should do disambiguation explicitly, `basic_vec` should not guess what they mean.

The broadcasting, generator-based, and range constructors of `simd::basic_vec` all take a single argument, and their constraints are not mutually exclusive.

This means that when a type satisfies both characteristics, such as a range that can be converted to a `value_type`, this will lead to ambiguity:

#include <simd>

struct S {
  operator double() const;       // basic_vec(U&& value)
  
  double operator()(int) const;  // basic_vec(G&& gen)

  double* begin() const;         // basic_vec(R&& r, flags<Flags...> = {});
  double* end() const;
  constexpr static int size() { return 2; }
};

int main() {
  std::simd::vec<double> simd(S{}); // error: call of overloaded 'basic_simd(S)' is ambiguous
}

Do we need more constraints, similar to the one in string_view(R&& r) that requires `R` not to be convertible to `const char*`, to make the above work, i.e., only invoke the broadcasting constructor?