c++ - gcc 未给出 Clang 错误 "attempted to construct a reference element in a tuple with an rvalue"

Question

我编写了以下(相对)简单的 std::tuple zip 函数(类似于 Python 的 zip)实现，具有完美转发功能:

template <size_t I, size_t N>
struct tuple_zip_helper {
  template <typename... Tuples>
  constexpr auto operator()(Tuples&&... tuples) const {
    return tuple_cat(
      make_tuple( forward_as_tuple(get<I>(forward<Tuples>(tuples))...) ),
      tuple_zip_helper<I+1, N>()(forward<Tuples>(tuples)...)
    );
  }
};

template <size_t N>
struct tuple_zip_helper<N, N> {
  template <typename... Tuples>
  constexpr auto operator()(Tuples&&...) const {
    return forward_as_tuple();
  }
};

namespace std {
  // Extend min to handle single argument case, for generality
  template <typename T>
  constexpr decltype(auto) min(T&& val) { return forward<T>(val); }
}

template <typename... Tuples>
auto tuple_zip(Tuples&&... tuples) {
  static constexpr size_t min_size = min(tuple_size<decay_t<Tuples>>::value...);
  return tuple_zip_helper<0, min_size>()( forward<Tuples>(tuples)... );
}

这似乎适用于两个或多个元组，即使在混合左值和右值时，甚至在我使用 BlabberMouth 类来检查虚假拷贝和移动时也是如此:

template <typename Tuple>
void f(Tuple&& tup) {
  cout << get<0>(get<0>(tup)).data << endl;
}

struct Blabbermouth {
  Blabbermouth(string const& str) : data(str) { }
  Blabbermouth(Blabbermouth const& other) : data(other.data) { cout << data << " copied" << endl; }
  Blabbermouth(Blabbermouth&& other) : data(move(other.data)) { cout << data << " moved" << endl; }
  string data;
};

int main(int argc, char** argv) {
  Blabbermouth x("hello ");
  // prints "hello"
  f(tuple_zip(
      forward_as_tuple(x, 2),
      forward_as_tuple(Blabbermouth("world"), 3)
  ));
}

当我只给它一个 tuple 而不混合左值和右值时它也能正常工作(clang-3.9，早期版本的 clang 也在此问题上阻塞):

f(tuple_zip( forward_as_tuple(Blabbermouth("world"), 3) ));  // prints "world"

但是，当我混合左值和右值时 and 只给出一个元组，clang 对 noexecpt 规范中的某些东西感到害怕(但是 gcc很好，甚至可以正确运行):

auto x = BlabberMouth("hello");
f(tuple_zip( forward_as_tuple(x, 3) ));  // clang freaks out, gcc okay

Live Demo

我做错了什么(如果有的话)？ gcc 应该提示，还是应该 clang 不提示？我的代码是否有任何我只是“走运”的悬挂引用，这就是 clang 反对的原因？我应该以不同的方式做到这一点吗？如果 clang 在这里是错误的，有人可以提出解决方法吗？ (和/或将我链接到错误报告？)

---

更新

@Oktalist 贡献了一个更简单的例子来说明同样的问题:

struct foo {};

int main(int argc, char** argv)
{
  foo f;
  std::tuple<foo&> t(f);
  std::tuple_cat(std::make_tuple(t), std::make_tuple());
}

(我也考虑过让我的例子更精简，但我不确定我所做的是否与此完全相似，主要是因为我不完全理解完美转发如何与 auto/decltype(auto)返回值，返回值优化(RVO)，std::get和std::make_tuple，所以我想确定我没有做一些其他愚蠢的事情。)

Answer 1

该错误是由调用 tuple_cat 引起的(虽然不完全在其中；它似乎是 libc++ 的 tuple 的构造函数和 SFINAE 的拜占庭迷宫内部的一些困惑条件)，因此解决方法是避免使用它。

无论如何做递归 tuple_cat 是没有意义的；一包扩展包(或两包)就可以了。

template<size_t I, typename... Tuples>
constexpr auto tuple_zip_one(Tuples&&... tuples) {
    return forward_as_tuple(get<I>(forward<Tuples>(tuples))...);
}

template<size_t...Is, typename... Tuples>
constexpr auto tuple_zip_helper(index_sequence<Is...>, Tuples&&... tuples) {
    return make_tuple(tuple_zip_one<Is>(forward<Tuples>(tuples)...)...);
}

template <typename... Tuples>
auto tuple_zip(Tuples&&... tuples) {
  static constexpr size_t min_size = min({tuple_size<decay_t<Tuples>>::value...});
  return tuple_zip_helper( make_index_sequence<min_size>(), forward<Tuples>(tuples)... );
}

我冒昧地删除了您的 UB 诱导 min 重载并简单地使用标准 initializer_list 版本。

Demo .