eve::common_compatible< Ts > Struct Template Reference

Computes the type compatible with a list of values. More...

#include <eve/traits/common_compatible.hpp>

Detailed Description

template<typename... Ts>
struct eve::common_compatible< Ts >

Required header: #include <eve/traits/common_compatible.hpp>

If all Ts... are all identical to a given T and model eve::value, provides the member typedef type which is defined as T.

If Ts... contains a set of types modeling eve::scalar_value and a set of types modeling eve::simd_value all identical to a given T, provides the member typedef type which is defined as T.

Otherwise, the program is ill-formed.

Template Parameters

Ts	Variadic list of types to process

Member types

Name	Definition
type	The type defined as compatible with all Ts...

Helper types

template<typename Ts...>
using common_compatible_t = typename common_compatible<Ts...>::type;

Example

See it live on Compiler Explorer

#include <iostream>
#include <eve/traits/common_compatible.hpp>
#include <eve/wide.hpp>
 
int main()
{
  using float_type      = eve::common_compatible<float,float,float>::type;
  using wide_float_type = eve::common_compatible<eve::wide<float>,eve::wide<float>>::type;
  using mixed_type      = eve::common_compatible<int, eve::wide<float>, double>::type;
 
  std::cout << std::boolalpha
            << std::is_same<float_type, float>::value                 << "\n"
            << std::is_same<wide_float_type, eve::wide<float>>::value << "\n"
            << std::is_same<mixed_type, eve::wide<float>>::value      << "\n";
}