c++ - 为什么没有从 std::tuple 进行（隐式）转换& 到 std::tuple?

Question

1. 如标题所述，是否有特定原因没有从std::tuple<Ts...>&to （隐式）转换std::tuple<Ts&...>？相反，tupleEASTL 的实现提供了这种转换。

#include <EASTL/tuple.h>

#include <tuple>

#include <type_traits>

int main()
{
  using TupleRef = std::tuple<int, float>&;
  using RefTuple = std::tuple<int&, float&>;

  using EATupleRef = eastl::tuple<int, float>&;
  using EARefTuple = eastl::tuple<int&, float&>;

  // static_assert(std::is_convertible_v<TupleRef, RefTuple>); // fails to compile
  static_assert(std::is_convertible_v<EATupleRef, EARefTuple>);

  return 0;
}

2. 如果我重新实现了 STLtuple实现，我必须更改/添加什么？

这是一个展示问题的godbolt链接：https ://godbolt.org/z/zqfrETKEz

PS：我c++17在 Godbolt 中使用了标志，因为 EASTL 不使用c++20标志编译，但我也对c++20解决方案感兴趣。

Answer 1

作为论文（P2321）的结果，将在c++23中出现。zip

---

一般来说，重载集通常有一个重载T const&和另一个重载T&&，通常T&不需要作为一个独特的第三个选项（T const&&甚至更少）。这是最初只有两个的案例之一，但实际上确实需要至少第三个。

我不确定您是否有特殊的动机tuple<int>&需要转换为tuple<int&>，但zip需要它才能工作，这就是它改变的原因。