Как я могу вызвать функцию всех наследуемых классов? - PullRequest
Новая
       83

Как я могу вызвать функцию всех наследуемых классов?

1 голос
/ 21 июня 2019

Я был бы благодарен всем гуру шаблонов за помощь в этом.Я использую CRTP для класса mixin и хотел бы иметь возможность передавать аргументы в функцию производного класса, чтобы он вызывал унаследованные функции всех mixin и передавал соответствующее количество аргументов.Например: 

template<Host> struct Mixin1 { void Initialize(int, double); };
template<Host> struct Mixin2 { void Initialize(); };
template<Host> struct Mixin3 { void Initialize(double); };

template <template<class> class... Components>
struct Entity : public Components<Entity<Components...>>...
{
    template<template<class> class ...Types, template<template<typename>typename...> class T, class... Args>
    void Initialize(const T<Types...>&, Args&&... args) {
      (Types<Entity<Types>>::Initialize(forward<Types>(args)),...);
    }
}

И использовать как: 

entity.Initialize(42,42.0,42.0);

Можно ли передать соответствующее количество аргументов для каждого?Приведенный выше код, конечно, не работает, но моя идея состояла в том, чтобы попробовать метод создания пустого шаблона с типами каждого из аргументов (т.е. Variad<int, double> v1; Variad<> v2; Variad<double> v3;) и передать в функцию переменную, содержащую все эти аргументы, вместе с аргументами.но я не могу понять, как правильно разделить аргументы.

1 Ответ

1 голос
/ 21 июня 2019

Можно ли передать соответствующее количество аргументов каждому?

Не так просто, насколько я понимаю.

Конечно, это возможно, считая аргументы каждого метода и используя рекурсию (также рекурсивные вариационные лямбды) и SFINAE.

Я разработал следующий пример только потому, что мне нравится метапрограммирование шаблонов; но я первый, кто сказал, что это безумный кошмар. 

#include <utility>
#include <iostream>
#include <type_traits>

template <typename R, typename T, typename ... As>
constexpr std::size_t numArgs (R(T::*)(As...))
 { return sizeof...(As); }

template <typename>
struct Mixin1
 {
   void Initialize (int i, double d)
    { std::cout << "I1: " << i << ", " << d << std::endl; }
 };

template <typename>
struct Mixin2
 {
   void Initialize ()
    { std::cout << "I2:" << std::endl; }
 };

template <typename>
struct Mixin3
 {
   void Initialize (double d)
    { std::cout << "I3: " << d << std::endl; }
 };

template <template <typename> class ... Cs>
struct Entity : public Cs<Entity<Cs...>>...
 {
   template <std::size_t Pos, typename ... Ts,
             typename F, std::size_t I0, std::size_t ... Is,
             typename ... As>
   std::enable_if_t<(Pos == I0)>
      Ih2 (F const & f, std::index_sequence<I0, Is...> const &,
           As && ... as)
    { 
      f(); // exec an Initialize();

      Ih1<Ts...>(std::index_sequence<Is...>{}, std::forward<As>(as)...);
    }

   template <std::size_t Pos, typename ... Ts,
             typename F, std::size_t I0, std::size_t ... Is,
             typename A0, typename ... As>
   std::enable_if_t<(Pos < I0)>
      Ih2 (F const & f, std::index_sequence<I0, Is...> const & is,
           A0 && a0, As && ... as)
    { Ih2<Pos+1u, Ts...>
       ([&a0, &f](auto && ... as2) { f(std::forward<A0>(a0),
                                     std::forward<decltype(as2)>(as2)...); },
        is, std::forward<As>(as)...); }

   template <int = 0>
   void Ih1 (std::index_sequence<> const &)
    { }

   template <typename T0, typename ... Ts,
             std::size_t ... Is, typename ... As>
   void Ih1 (std::index_sequence<Is...> const & is, As && ... as)
    { Ih2<0u, Ts...>
       ([this](auto && ... as2)
           { T0::Initialize(std::forward<decltype(as2)>(as2)...); },
        is, std::forward<As>(as)...); }

   template <typename ... As>
   void Initialize (As && ... args)
    { Ih1<Cs<Entity<Cs...>>...>
       (std::index_sequence<numArgs(&Cs<Entity<Cs...>>::Initialize)...>{},
        std::forward<As>(args)...); }
 };

int main ()
 {
   Entity<Mixin1, Mixin2, Mixin3> entity;

   entity.Initialize(1, 2.0, 3.0);
 }

Как сказано в комментарии, это решение не работает в случае перегрузки или шаблона для Initialize() в одиночном Components.

...