想象这样的代码:
struct Foo
{
int foo{0};
};
Foo operator+(const Foo& lhs, const Foo& rhs)
{
Foo ret;
ret.foo = lhs.foo + rhs.foo;
return ret;
}
struct Bar
{
int bar{0};
};
Bar operator+(const Bar& lhs, const Bar& rhs)
{
Bar ret;
ret.bar = lhs.bar + rhs.bar;
return ret;
}
template<typename... Ts>
struct Fooz : public Ts...
{
};
template<typename... Ts>
Fooz<Ts...> operator+(const Fooz<Ts...>& lhs, const Fooz<Ts...>& rhs)
{
// how can you call base class's operator+ here?
}
int main(int argc, char **argv)
{
Fooz<Foo,Bar> fooz1{1,1}; // fooz1.foo == 1; fooz1.bar == 1;
Fooz<Foo,Bar> fooz2{2,2}; // fooz2.foo == 2; fooz2.bar == 2;
// auto fooz3 = fooz1 + fooz2 // fooz3.foo == 3; fooz3.bar == 3;
return 0;
}
这里需要可变参量的继承,因为我希望将所有从基本结构中获得的成员变量都继承给可变参类(请参阅
main
)。问题是:是否可以在
operator+
的FooBar
函数中调用基本结构的operator+
?任何帮助表示赞赏!
最佳答案
在c++17中,如果Fooz
是问题中的聚合类型,则可以复制列表初始化Fooz
来(列表)初始化具有单独结果的每个直接基类:
template <typename... Ts>
Fooz<Ts...> operator+(const Fooz<Ts...>& lhs, const Fooz<Ts...>& rhs)
{
return { {static_cast<const Ts&>(lhs) + static_cast<const Ts&>(rhs)}... };
}
DEMO
在c++14中,您还需要提供一个构造函数:
Fooz(const Ts&... ts) : Ts{ts}... {}