让N
个不同的类没有公共数据字段,只有方法(不重叠),如何通过boost预处理器创建所有代理类的unifiing?
例如,我们有类:A有方法do();
,B类有方法data();
。我想知道是否有一种方法(例如使用Boost预处理器)来创建一个代理类,该代理类将具有A和B中的所有方法(此处为do()
data()
),并且构造函数接收指向该指针的指针类实例 - 一个用于A,一个用于B?
所以我们会得到像这样的伪代码的api:
JOIN(A, B, C);// or if needed JOIN("path_to_A.h", "path_to_B.h", C)
//...
A * a = new A();
B * b = new B();
C * c = new C(a, b);
c->data();
c->do();
是否可以使用boost :: preprovcessor在C ++ 11中创建这样的东西,或者可能是这样的东西已经在提升?
如果使用外部发生器可以做到这一点,那对我来说也没关系。
答案 0 :(得分:1)
如果您不介意列出A和B中的所有方法,我们可以使用SFINAE。这里的本质是我们定义两个方法C::data()
,它们转发到A::data()
和B::data()
中的每一个。编译器将过滤掉无法编译的编译器,因此我们可以将其转发给正确的成员。
#include <type_traits>
#include <boost/preprocessor/seq/for_each.hpp>
#define CALLER_NAME(method_name) BOOST_PP_CAT(BOOST_PP_CAT(_, method_name), _caller__)
#define GEN_CALLER(r, ignored, method_name) \
template <typename K, typename... T> \
static auto CALLER_NAME(method_name)(K* k, T&&... args) -> decltype(k->method_name(std::forward<T>(args)...)) { \
return k->method_name(std::forward<T>(args)...); \
} \
template <typename... T> \
auto method_name(T&&... args) -> decltype(CALLER_NAME(method_name)(_first__, std::forward<T>(args)...)) { \
return CALLER_NAME(method_name)(_first__, std::forward<T>(args)...); \
} \
template <typename... T> \
auto method_name(T&&... args) -> decltype(CALLER_NAME(method_name)(_second__, std::forward<T>(args)...)) { \
return CALLER_NAME(method_name)(_second__, std::forward<T>(args)...); \
}
#define JOIN(FIRST, SECOND, NAME, METHODS) \
struct C { \
FIRST* _first__; \
SECOND* _second__; \
NAME(FIRST* _first__, SECOND* _second__) : _first__(_first__), _second__(_second__) {} \
BOOST_PP_SEQ_FOR_EACH(GEN_CALLER, , METHODS) \
}
例如:
struct A {
int x;
void a() {
std::cout << "an a! " << x << "\n";
}
};
struct B {
double x;
double b(double k) {
std::cout << "b! " << x << ", " << k << "\n";
return x - k;
}
void b() {
std::cout << "b! " << x << ", ?\n";
}
};
JOIN(A, B, C, (a)(b));
int main() {
A a {12};
B b {24};
C c (&a, &b);
c.a();
c.b();
std::cout << c.b(2445) << std::endl;
}
这个想法可以概括为两个以上的类:
#include <type_traits>
#include <boost/preprocessor/seq/for_each.hpp>
#include <boost/preprocessor/seq/for_each_i.hpp>
#include <boost/preprocessor/punctuation/comma_if.hpp>
#define CALLER_NAME(method_name) \
BOOST_PP_CAT(BOOST_PP_CAT(_caller_, method_name), __)
#define FIELD_NAME(ClassName) \
BOOST_PP_CAT(BOOST_PP_CAT(_field_, ClassName), __)
#define INVOKER_IMPL(method_name, ClassName) \
CALLER_NAME(method_name)(FIELD_NAME(ClassName), std::forward<T>(args)...)
#define CALLER_IMPL(method_name) \
k->method_name(std::forward<T>(args)...)
#define FORWARD(IMPL) -> decltype(IMPL) { return IMPL; }
#define GEN_INVOKER(r, method_name, i, ClassName) \
template <typename... T> \
auto method_name(T&&... args) \
FORWARD(INVOKER_IMPL(method_name, ClassName))
#define GEN_CALLER(r, ALL_CLASSES, method_name) \
private: \
template <typename K, typename... T> \
static auto CALLER_NAME(method_name)(K* k, T&&... args) \
FORWARD(CALLER_IMPL(method_name)) \
public: \
BOOST_PP_SEQ_FOR_EACH_I_R(r, GEN_INVOKER, method_name, ALL_CLASSES)
#define GEN_FIELD(r, IGNORED, ClassName) \
ClassName* FIELD_NAME(ClassName);
#define GEN_ARG(r, IGNORED, i, ClassName) \
BOOST_PP_COMMA_IF(i) ClassName* FIELD_NAME(ClassName)
#define GEN_CTOR(r, IGNORED, i, ClassName) \
BOOST_PP_COMMA_IF(i) FIELD_NAME(ClassName)(FIELD_NAME(ClassName))
#define JOIN(ALL_CLASSES, ClassName, METHODS) \
struct ClassName { \
private: \
BOOST_PP_SEQ_FOR_EACH(GEN_FIELD, , ALL_CLASSES) \
public: \
ClassName(BOOST_PP_SEQ_FOR_EACH_I(GEN_ARG, , ALL_CLASSES)) \
: BOOST_PP_SEQ_FOR_EACH_I(GEN_CTOR, , ALL_CLASSES) {} \
BOOST_PP_SEQ_FOR_EACH(GEN_CALLER, ALL_CLASSES, METHODS) \
}
用法:
struct A {
int x;
void a() {
std::cout << "an a! " << x << "\n";
}
};
struct B {
double x;
double b(double k) {
std::cout << "b! " << x << ", " << k << "\n";
return x - k;
}
void c() {
std::cout << "b! " << x << ", ?\n";
}
};
struct C {
double x;
double c(double k) {
std::cout << "c! " << x << ", " << k << "\n";
return x + k;
}
void b() {
std::cout << "c! " << x << ", ?\n";
}
};
JOIN((A)(B)(C), D, (a)(b)(c));
int main() {
A a {12};
B b {24};
C c {36};
D d {&a, &b, &c};
d.a();
d.b();
d.c();
std::cout << d.b(48) << std::endl;
std::cout << d.c(64) << std::endl;
}