C++ - 如何从可变参数的基数引入过载集

C++ - How to introduce overload set from variadic number of bases.

本文关键字：参数 变参 C++      更新时间：2023-10-16

如果派生类定义了相同的名称，则派生类会从基类中隐藏重载集的名称，但我们总是可以使用 using-声明将该重载集引入：

template <class BASE>
class A : public BASE
{
public:
  using BASE::some_method;
  void some_method();
}

但是，如果我从可变参数基类引入所有重载集呢？我能写这样的东西吗？

template <class... BASES>
class A : public BASES...
{
public:
  using BASES::some_method...;
  void some_method();
}

我考虑过使用一个帮助程序类，例如：

template <class... BASES>
struct helper;
template <>
struct helper<> {};
template <class OnlyBase>
struct helper<OnlyBase> : OnlyBase
{
  using OnlyBase::some_method;
};
template <class Base1, class... OtherBases>
struct helper<Base1, OtherBases> : public Base1, public helper<OtherBases...>
{
  using Base1::some_method;
  using helper<OtherBases...>::some_method;
};

它确实有效。但是它需要大量的类型（当然我可以使用宏，但我尽可能使用c ++的编译时功能），当我想引入更多方法时，我必须对这段代码进行很多更改。

一个完美的答案是一个简单的语法，但如果没有，我将使用帮助程序类。

这里有一个减少手写的技巧：

// U<X,Y> is a binary operation on two classes
template<template<class,class>class U, class... Xs> struct foldr;
template<template<class,class>class U, class X> struct foldr<U,X> : X {};
template<template<class,class>class U, class X, class... Xs> struct foldr<U,X,Xs...> : U<X, foldr<U,Xs...>> {};
// our operation inherits from both classes and declares using the member f of them    
template<class X, class Y> struct using_f : X,Y { using X::f; using Y::f; };
struct A { void f(int) {} };
struct B { void f(char) {} };
struct C { void f(long) {} };
struct D : foldr<using_f, A, B, C> {};

int main() {
    D d;
    d.f(1);
    d.f('1');
    d.f(1L);
    return 0;
}

所以我们应该写一次折叠器，然后写简单的临时操作——using_f、using_g using_f_g

也许有一种方法可以进一步简化。让我考虑一下...

相关文章：