Учитывая вектор как:

  template<int... elements>
  struct vec;

Как можно создать метафункцию, которая может поэлементно умножать все предоставленные векторы. Например

   template<typename ...AllVecs>
    struct multiVecs
   {
     using type = .... 
   }

Где тип будет выполнять все продукты поэлементно. Например, даны три вектора:

   multiVecs< vec<0,1,2>, vec<1,2,3>, vec<2,3,4> >

Я должен получить vec<0*1*2, 1*2*3, 2*3*4>

1
ATK 11 Окт 2021 в 09:11

2 ответа

Лучший ответ

Начнем с двух векторных произведений и продолжим.

template <typename lhs, typename rhs>
struct multiplies;

template <int... lhs, int... rhs>
struct multiplies<vec<lhs...>, vec<rhs...>> {
    static_assert(sizeof...(lhs) == sizeof...(rhs), "Vector arity mismatch");
    using type = vec<(lhs * rhs)...>
};

template <typename lhs, typename rhs>
using multiplies_t = typename multiplies<lhs, rhs>::type;

Это работает нормально, поэтому теперь мы просто складываем его поверх упаковки.

К сожалению, в C ++ 14 нет складных выражений, поэтому нам приходится делать это вручную.

template <typename...>
struct multiVecs;

template <typename... Ts>
using multiVecs_t = typename multiVecs<Ts...>::type;

template <typename result>
struct multiVecs<result> {
    using type = result;
};

template <typename first, typename second, typename... rest>
struct multiVecs<first, second, rest...> {
    using type = multiVecs_t<multiplies<first, second>, rest...>;
};

Это тоже нормально

2
Caleth 11 Окт 2021 в 08:58

C ++ 17 решение:

template<int... Elements>
struct vec;

template<int Element, class... Vec>
struct vec_impl { };

template<class Vec>
struct to_vec_impl;

template<int First, int... Rest>
struct to_vec_impl<vec<First, Rest...>> {
  using type = vec_impl<First, vec<Rest...>>;
};

template<>
struct to_vec_impl<vec<>> {
  using type = vec_impl<-1>;
};

template<class Result_vec, class... Vecs>
struct gen_vec_impl;

template<int... Products, template<int, class...> class... VecImpls, 
         int... First, class... Vecs>
struct gen_vec_impl<vec<Products...>, VecImpls<First, Vecs>...>
     : gen_vec_impl<vec<Products..., (First * ... * 1)>, 
                    typename to_vec_impl<Vecs>::type...> 
{ };

template<int... Products, template<int, class...> class... VecImpls>
struct gen_vec_impl<vec<Products...>, VecImpls<-1>...> {
  using type = vec<Products...>;
};

template<class... AllVecs>
struct multiVecs {
  using type = typename gen_vec_impl<
    vec<>, typename to_vec_impl<AllVecs>::type...>::type;
};

Demo .

1
康桓瑋 11 Окт 2021 в 08:58