6

我在完美转发方面遇到了一些困难。

这是我目前的理解水平：胶水模板 + 右值引用 + std::forward 和一个特殊的神奇模式被激活，其中模板推导规则的含义与往常不同，但经过精心设计以允许完美转发。例子 ：

template <typename T>
void outer(T&& t)
{
   inner(std::forward<T>(t)); // perfect forwarding activated
}

但是如果 T 实际上是一个模板类会发生什么呢？例如，如何完善转发 std::tuple ？如果使用 T&& 作为 aboce，我将丢失元组中包含的对象的所有类型信息。
但是以下代码不起作用：

template <typename... Args>
void outer(std::tuple<Args...>&& t) 
{
   inner(std::forward<std::tuple<Args...>>(t));
   use_args_types_for_something_else<Args...>(); // I need to have Args available
}

int main()
{
   std::tuple<int, double, float> t(4, 5.0, 4.0f);
   outer(t);
}

最后的 gcc 快照说：

error: cannot bind 'std::tuple<int, double, float> lvalue to
std::tuple<int, double, float>&&

很明显，我们仍然处于一般的、非模板的情况下，左值不能绑定到右值引用。“完美转发模式”未激活

所以我试图偷偷摸摸地将我的元组作为模板模板传递：

template <
  typename... Args
  template <typename...> class T
>
void outer(T<Args...>&& t) 
{
   inner(std::forward<T<Args...>>(t));
   use_args_type_for_something_else<Args...>(); 
}

但我仍然得到同样的错误。

4

1 回答 1

3

仅当参数的类型是函数的模板类型时，完美转发才有效，因此实现完美转发的唯一方法就像在您的第一个示例中一样：

template <typename T>
void outer(T&& t)
{
   inner(std::forward<T>(t)); // perfect forwarding activated
}

上面的方法是有效的，因为它是一种特殊情况，T被推断为SomeType&or SomeType&&。

然而，这并不意味着元组元素的类型信息会永远丢失。它仍然是可检索的（尽管我认为您不能 typedef 可变参数模板包）。例如，您仍然可以use_args_types_for_something_else这样调用：

template <class T>
struct call_uses_args;

template <class ...Args>
struct call_uses_args<std::tuple<Args...>>
{
    void call() const { use_args_types_for_something_else<Args...>(); }
};

template <typename TupleT>
void outer(TupleT&& t)
{
   inner(std::forward<TupleT>(t));
   call_uses_args<typename std::remove_reference<TupleT>::type>().call();
}

不过，可能没有好的通用解决方案，但希望这种情况很少见。（例如，在这个特定的例子中，重载可能更简单outer。）

于 2011-11-26T11:07:40.550 回答