c++ - 带有 std::ref 参数的 std::tie 和 std::make_tuple 有什么区别？

Question

写表达式有语义上的区别

std::tie( x, y, z )

还有下面的表达式？

std::make_tuple( std::ref(x), std::ref(y), std::ref(z) )

如果有，有什么区别？

顺便说一句，这个问题和 What is the difference between assigning to std::tie and tuple of references? 不一样。因为引用元组不是通过 std::ref 创建的，而是通过显式指定类型来创建的。

Answer 1

这两个表达式之间几乎^†没有功能上的区别。 tie()只是更短，而 make_tuple()更通用。

---

根据[tuple.creation]， make_tuple 确实:

template<class... Types>
constexpr tuple<VTypes...> make_tuple(Types&&... t);

Let Ui be decay_t<Ti> for each Ti in Types. Then each Vi in VTypes is X& if Ui equals reference_wrapper<X>, otherwise Vi is Ui.

因此 std::make_tuple( std::ref(x), std::ref(y), std::ref(z) )产生^†一个std::tuple<X&, Y&, Z&> .

另一方面， tie 确实:

template<class... Types>
constexpr tuple<Types&...> tie(Types&... t) noexcept;

Returns: tuple<Types&...>(t...). When an argument in t is ignore, assigning any value to the corresponding tuple element has no effect.

因此，std::tie(x, y, z)也会产生 std::tuple<X&, Y&, Z&> .

---

^†除了一个edge case .