0

假设我有一个元组和一个函数：

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？

4

2 回答 2

5

您可能想使用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>{});
}

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

于 2016-01-28T19:51:13.830 回答
1

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

例如，您可以通过将展开更改为（更惯用的？）

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

任何解决方案都将涉及std::move()每个unique_ptr函数参数上的 a 或对返回右值或右值引用的另一个函数的调用。

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() );
}
于 2016-01-28T20:54:20.187 回答