テンプレートの達人がこれについて助けてくれたことに感謝します。ミックスインクラスにCRTPを使用していて、派生クラスの関数に引数を渡して、すべてのミックスインの継承された関数を呼び出し、適切な数の引数を転送できるようにしたいと考えています。例えば:
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;
)で空のテンプレートをインスタンス化し、それらすべてを含む変数を引数と一緒に関数に渡す方法を試すことでしたが、私はできます引数を正しく分割する方法を理解していないようです。
それぞれに適切な数の引数を渡すことは可能ですか?
私が理解できる限り、単純な方法ではありません。
確かに、すべてのメソッドの引数を数え、再帰(再帰的な可変個引数ラムダも)と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
。
この記事はインターネットから収集されたものであり、転載の際にはソースを示してください。
侵害の場合は、連絡してください[email protected]
コメントを追加