Question

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

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 ++的编译时功能），当我想引入更多方法时，我必须改变很多那条代码。

一个完美的答案是一个简单的语法，但如果没有，我会选择帮助类。

Answer 1

这是一个如何减少手写的技巧：

// 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;
}

所以我们应该写一次foldr，然后编写简单的临时操作 - using_f，using_g，using_f_g

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

C ++ - 如何从可变数量的基数引入重载集。

1 个答案: