将一个 2 元组完美地转换为一对

Question

我想要一个实用程序将std::tuple<T,U> 转换为std::pair<T,U>，同时保持std::tuple<T, U, V, W...> 不变。

此外，我希望这个实用程序

• 做一个函数对象，而不是一个函数，这样我就可以随心所欲地传递它；
• 强制它的输入必须是std::tuple；
• 尽可能利用移动语义，这样做是有意义的。

对我来说，最后一点是困难的部分，也是我提出这个问题的原因。

---

我知道元组可以存储值和引用（左值引用和右值引用），所以想象一下，如果使用右值 2 元组输入所寻找的函数，它可以从非引用组件中窃取资源，但应保持参考组件不变。

举个例子

A a;
B b;
std::tuple<A, B&> t{a,b};

我知道a 被复制到元组中，而b 不是，我认为这样做

auto p{to_pair(t)};

应该生成一个std::pair<A, B&>，其中包含a 的另一个副本以及对目前唯一存在的b 的引用。

另一方面，做

B b;
auto p{to_pair(std::tuple<A, B&>{A{},b})};

应该再次生成std::pair<A, B&>，但这将包含不应复制的A{}；无论如何它都会引用b。

---

上面描述的场景已经足以让我怀疑该怎么做，更不用说考虑&/const&/&&的其他组合了。

前段时间，answering a question about std::tuples and perfect forwarding 遇到了困难，但我永远不能说我已经完全理解了它们。

Answer 1

template<class...Fs>
struct overloaded : Fs... {
  using Fs::operator()...;
};
template<class...Fs>
overloaded(Fs&&...)->overloaded<std::decay_t<Fs>...>;

auto move_tuples = []<class...Ts>(std::tuple<Ts...> x){return std::move(x);};
auto to_pair = []<class A, class B>(std::tuple<A, B> x){
  return std::pair<A,B>( std::get<0>(std::move(x)), std::get<1>(std::move(x)) );
};
auto your_function = overloaded{move_tuples, to_pair};

我想这就是你想要的。

我按值获取参数，然后将它们移至返回值。如果它们是值，则结果是移动包含的值。如果它们是引用，则不是，引用只是传播。

get<N> 在传递右值元组时“做正确的事”。如果从一个值返回一个右值。

在c++17 中，您必须将 lambda 替换为手动结构。

或者写两个正常的重载，和

auto obj=[](auto&&x)->decltype(normal_func(decltype(x)(x))){return decltype(x)(x);};

将重载的函数调用normal_func 转换为单个函数对象。