如何调用所有可变继承类的函数
How can I call a function of all variadically inherited classes?
我将不胜感激任何模板大师在这方面提供一些帮助。我正在将 CRTP 用于 mixin 类,并希望能够将参数传递给派生类的函数,并让它调用所有 mixins 的继承函数并转发适当数量的参数。例如:
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;
( 并将包含所有这些变量的变体与参数一起传递到函数中,但我似乎无法弄清楚如何正确拆分参数。
是否可以将适当数量的参数传递给每个人?
据我所知,这不是一个简单的方式。
当然,计算每个方法的参数并使用递归(也是递归可变参数 lambdas(和 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);
}
如评论中所述,此解决方案在重载或模板的情况下不起作用,用于单个Components
中的Initialize()
。
相关文章:
- 继承函数的重载解析
- 如何使用 C++ 中的继承函数访问派生类中的局部变量
- 派生类调用使用非继承成员的继承函数
- 继承函数是否适用于 C++ 中的基类元素或派生类元素?
- 在链表中的某个点插入时出现问题,C++中的继承函数
- std :: is_same-来自integral_constant的继承函数的用例
- 如何将同名的继承函数视为重载函数
- 使用子函数的继承函数
- 执行覆盖的继承函数
- 相对于更专业的继承函数,模板更喜欢子类函数
- C++:继承函数并重新定义它们
- C++ 继承函数指针,可与派生方法一起使用
- 不同对象的向量,对象具有非继承函数
- C++多级继承函数调用
- 基类指向派生类继承函数调用的指针
- C++继承函数覆盖
- 派生类是否C++必须在头文件中包含继承函数/成员的定义
- 继承函数中的参数消失
- C++通过继承函数实现继承的抽象函数
- 构造函数和继承函数 c++