完美的转发

Perfect forwarding

本文关键字：转发 完美      更新时间：2023-10-16

如果我们有以下内容：

template <class T>
struct B{
  T data;
}
struct A{
  int data_array[100];
}
int main()
{
  A x;
  const A x_const;
  auto y1 = f(A());
  auto y2 = f(x);
  auto y3 = f(x_const);
  auto y4 = f(std::move(x));
}

我想知道一个f（最好是函数，但宏也可以），这样：

decltype(y1) == B<A>
decltype(y2) == B<A&>
decltype(y3) == B<const A&>
decltype(y4) == B<A&&>

也就是说，f将x完美地转发到B的对象中。

这是不可能的。对于y1和y4，它们都采用类型A的右值，但您希望它们返回不同的类型。f应该如何知道返回什么？

template <typename T>
auto f(T&& t) -> B<decltype(std::forward<T>(t))>
{
    return B<decltype(std::forward<T>(t))>{std::forward<T>(t)};
}

这几乎实现了您想要的。唯一的区别是第一个类型是B<A&&>而不是B<A>。

auto y1 = f(A());
auto y4 = f(std::move(x));

将不可区分，因为A()产生将与A&&结合的临时。

相关文章：