使用宏替换工厂模式样式API中的“ create（）”函数

Question

我正在编写一个C ++库，其中所有类都利用了工厂模式 ，即具有一个私有的空构造函数和一个私有的void init()函数，该函数执行实例的实际初始化。 可以由库用户实例化的类具有公共静态create()函数，该函数执行以下操作：

static Class* create(int arg1, int arg2) {
    Class* ret = new Class();
    ret->init(arg1, arg2);
    return ret;
}

还有一些类不应从库外部实例化 ，因此它们不提供公共create() 。

这些“内部类”之间确实存在一些friend关系，因此它们可以彼此实例化。 假设我想编写尽可能少的代码，所以我想避免为所有内部类声明和定义私有的create()函数，但是我也想避免编写

InternalClass* foo = new InternalClass(); 
foo->init();

始终实例化内部类。 相反，最好有一个（模板）函数或宏可以仅用一行代码创建任何内部类，例如

template<class T, typename ...Args> inline T* create(Args... args) {
    T* ret = new T();
    ret->init(args...);
    return ret;
}

上面的函数（在全局共享头中被定义为独立函数，因此称为inline关键字）存在的问题是，它绕过了类之间的friend声明，因此无法编译。

另一方面，宏的问题在于，只要宏中ret->init()语句，它就不能“返回”指向实例的指针，因此像下面这样使用宏不会有可能：

InternalClass* foo = CREATE(InternalClass, arg1, arg2);

最后，我的问题是：

是否有可能创建一个可以通过上述方式调用的宏（并且无需将所有init()函数的返回类型更改为类类型指针，这实际上将允许以下操作）：# #define CREATE(T, ...) (new T())->init(__VA_ARGS__) ）？

（请注意，这是一个学术问题，而不是实际问题，因为我已经使用私有create()函数实现了该解决方案，该函数运行良好，并且似乎是“最干净的”解决方案。我只是想知道是否可以也是宏的解决方案...）

Answer 1

您可以混合使用模板和宏：

template <typename T, typename InitF, typename... Args>
T* CreateImpl(T* t, InitF init, Args&&...args)
{
    (t->*init)(std::forward<Args>(args)...);
    return t;
}

和MACRO（用于转发私人物品）

// I assume no overloads of T::init
#define CREATE(T, ...) CreateImpl(new T(), &T::init, __VA_ARGS__)