使用 decltype 编写复制和移动函数

Question

我的代码有几个实例，其中函数在遇到 T&& 或 const T& 时的反应略有不同，但是函数本身很长（注意 T 只是一些对象类型）。例如：

void push_back(const T& newt){
    /* code block X */
    new (ptr) T(newt);
    /* code block Y */
}

void push_back(T&& newt){
    /* code block X */
    new (ptr) T(std::move(newt));
    /* code block Y */
}

是否可以按照这个伪代码的行写一些东西：

template<typename S>
void push_back(S newt){
    /* code block X */
#if decltype(newt)==T&&
    new (ptr) T(std::move(newt));
#else
    new (ptr) T(newt);
#endif
    /* code block Y */
}

或者有没有更好的方法来编写几乎相同的移动和复制函数？

Answer 1

在T&&函数中使用std::forward()并丢弃const T&函数：

template <typename T>
void push_back(T&& newt){
    /* code block X */
    new (ptr) typename std::remove_reference<T>::type(std::forward<T>(newt));
    /* code block Y */
}

std::forward() 将传递给newt，就像传递给push_back() 一样。结果：

• T 的复制构造函数在 push_back() 传递左值时使用，或者
• T 的移动构造函数在 push_back() 被传递一个右值时被使用。

在http://ideone.com/HjOrap 上查看在线演示。

请注意，如果push_back() 是独立函数或非模板类的成员函数，则这是正确的。如果它是模板类成员函数，则函数本身必须接受除了类模板类型之外的模板类型，因为此行为取决于 T 是推导类型。

请参阅 Scott Meyers 的 Universal References。