Question

从模板基类派生一个类时，必须使用语法this->member或using Base::member来访问基类的成员。如果基类是一个通用的模板参数，并且可以确定某些成员存在，则会发生同样的情况。

是否可以编写一个宏来“导入”我知道（或假定存在）的所有基类成员？

简单的例子：

struct A {
   int x = 0;
};

struct B {
  int x = 0;
  int y = 1;
};

template <class T>
struct C {
   int x = 0;
   T z = 0;
};

template <class BaseClass>
struct Derived : BaseClass {
  using BaseClass::x;
  void setx1() { x = 1; }
};

template <class T>
struct Derived_from_C : C<T> {
  using C<T>::x;
  void setx1() { x = 1; }
};

int main()
{
    Derived<A> a;
    a.setx1();

    Derived<B> b;
    b.setx1();

    Derived_from_C<double> c;
    c.setx1();

    return 0;
}

在定义struct Derived时，我假设模板参数BaseClass包含一个成员x，但是要在成员setx1中使用它，我必须手动声明一个{{ 1}}。对于using也会发生相同的情况，其中基类是模板类。但是，如果基类包含许多我想使用的成员，则为每个成员添加Derived_from _C会变得很繁琐且容易出错。

是否可以编写一个半自动执行的宏？像

using

如此

#define USING(class, __VA_ARGS__)

扩展到

USING(BaseClass, x, y, z)

Answer 1

基于问题Marvin's solution的Is it possible to iterate over arguments in variadic macros，这是一个解决方案

#define FE_1(CLASS, X) using CLASS::X
#define FE_2(CLASS, X, ...) using CLASS::X;FE_1(CLASS, __VA_ARGS__)
#define FE_3(CLASS, X, ...) using CLASS::X;FE_2(CLASS, __VA_ARGS__)
#define FE_4(CLASS, X, ...) using CLASS::X;FE_3(CLASS, __VA_ARGS__)
#define FE_5(CLASS, X, ...) using CLASS::X;FE_4(CLASS, __VA_ARGS__)
#define FE_6(CLASS, X, ...) using CLASS::X;FE_5(CLASS, __VA_ARGS__)
#define FE_7(CLASS, X, ...) using CLASS::X;FE_6(CLASS, __VA_ARGS__)
#define FE_8(CLASS, X, ...) using CLASS::X;FE_7(CLASS, __VA_ARGS__)
#define FE_9(CLASS, X, ...) using CLASS::X;FE_8(CLASS, __VA_ARGS__)
#define FE_10(CLASS, X, ...) using CLASS::X;FE_9(CLASS, __VA_ARGS__)
#define FE_11(CLASS, X, ...) using CLASS::X;FE_10(CLASS, __VA_ARGS__)
#define FE_12(CLASS, X, ...) using CLASS::X;FE_11(CLASS, __VA_ARGS__)
//... repeat as needed

#define GET_MACRO(_1,_2,_3,_4,_5,_6,_7,_8,_9,_10,_11,_12,NAME,...) NAME 
#define FOR_EACH_USING(class,...) \
  GET_MACRO(__VA_ARGS__,FE_12,FE_11,FE_10,FE_9,FE_8,FE_7,FE_6,FE_5,FE_4,FE_3,FE_2,FE_1,)(class,__VA_ARGS__)

c ++宏导入基本模板类的所有名称

1 个答案: