c++ - 将传递引用和传递值混合到可变参数模板函数有效吗？

Question

我有一个方法，它为一个对象分配内存，然后调用它的构造函数——一个内存分配器。

template <class T, typename... Arguments>
inline T* AllocateObject(Arguments... args) { return new (InternalAllocate(sizeof(T))) T(args...); }

使用此函数混合按值传递和按引用传递是否有效？例如，使用带有一些按值和一些按引用的构造函数分配一个类。它可以编译，但我不确定它是否有任何令人讨厌的副作用。

Answer 1

您正在寻找的是完美的转发，即。AllocateObject就复制副作用而言，您的功能应该是完全透明的。

这涉及std::forward（正如 nijansen 已经提到的）和在参数列表中使用通用引用：

template <class T, typename... Arguments>
inline T* AllocateObject(Arguments&&... args)
//                                ^^ universal references
{
    return new (InternalAllocate(sizeof(T))) T(std::forward<Arguments>(args)...);
    //                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ forwarding
}