Question

我们说我有一个元组和一个函数：

typedef std::tuple< std::unqiue_ptr<int>, std::unqiue_ptr<char> > SomeTuple;          
void someFunction( std::unqiue_ptr<int>, std::unqiue_ptr<char> );

所以在辅助函数中我将元组展开为参数：

void unroll( SomeTuple &t )
{
    someFunction( std::get<0>( std::move( t ) ), std::get<1>( std::move( t ) ) );
}

它有效，但我想避免多次重复std::move次。天真的解决方案如：

void unroll( SomeTuple &t )
{
    auto &&rt = std::move( t );
    someFunction( std::get<0>( rt ), std::get<1>( rt ) );
}

显然不起作用，因为rt是lvalue。那么有没有办法避免每个std::move()多次重复std::get？

Answer 1

您可能想要使用std::integer_sequence

可以从C ++ 14获得，但可以使用C ++ 11实现：https://github.com/serge-sans-paille/pythran/blob/master/pythran/pythonic/include/utils/seq.hpp

多亏了这个，你需要一个额外的功能，但你可以避免这种重复：

void unroll( SomeTuple &t )
{
    someFunction( std::get<0>( std::move( t ) ), std::get<1>( std::move( t ) ) );
}

变为

template<size_t ...I>
void unroll_impl( SomeTuple &t , std::integer_sequence<I...>)
{
    someFunction( std::get<I>( std::move( t ) )...);
}

void unroll( SomeTuple &t )
{
    unroll_impl( t, std::make_index_sequence<2>{});
}

但是你必须为此创建一个辅助函数。

Answer 2

从语义上讲，你无法避免std::move。要获得右值，您需要没有某个名称（因此您不能引用它两次）或使用std::move删除名称。并且t有一个名称，但要将unique_ptr传递给函数调用，您需要它没有名称。

您可以通过更改展开（更常用？）

来查看此内容

void unroll( SomeTuple &t )
{
  someFunction( std::move( std::get<0>( t ) ), std::move( std::get<1>( t ) ) );
}

任何解决方案都会涉及每个std::move()函数参数的unique_ptr，或者调用另一个返回右值或右值参考的函数。

void unroll( SomeTuple &t )
{
    auto get0 = [&]()->std::unique_ptr<int>&& { return std::move(std::get<0>(t)); };
    auto get1 = [&]()->std::unique_ptr<char> { return std::move(std::get<1>(t)); };

    someFunction( get0(), get1() );
}

是否有可能避免在元组上重复std :: move（）？

2 个答案: