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 class 检查虚假副本和移动时也是如此：

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"

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

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

Live Demo

我做错了什么（如果有的话）？ gcc 应该抱怨，还是应该 clang 不抱怨？我的代码是否有任何我只是 "getting lucky" 的悬挂引用，这就是 clang 反对的原因？我应该以不同的方式做到这一点吗？如果 clang 在这里是错误的，有人可以提出解决方法吗？（And/or link 我要错误报告？）

更新

@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) return 值，return 值优化 (RVO)，std::get 和 std::make_tuple，所以我想确定我没有做某事否则愚蠢。）

Answer 1

这个错误是由对 tuple_cat 的调用引起的（虽然不完全是在其中；它似乎是 libc++ 的 tuple 的构造函数和 SFINAE 条件的拜占庭迷宫中的一些混乱），所以解决方法是避免使用它。

无论如何，递归 tuple_cats 是没有意义的；一包扩展包（或两包）就可以了。

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.

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

Clang error "attempted to construct a reference element in a tuple with an rvalue" not given by gcc

c++

gcc

clang

perfect-forwarding

c++14

更新