是一个简单的可复制的:: std :: tuple类模板可能吗？ 是否存在实施？

Question

我需要一个简单的可复制的类元组类，但没有合适的实现存在，我自己无法想出一个，我认为甚至可能不可能。 它的原因是参考。 A ::std::tuple可以保存引用，但是一个简单的可复制元组可能无法，因为它可能没有非平凡的构造函数，并且必须在类元组类的构造函数中初始化引用并存储引用包装器会使类似元组的类变得非常重要。 我的问题在标题中。

Answer 1

在讨论参考文献时，不清楚你所指的是什么。

是的，如果一个特定的元组存储引用类型，那么它将不会轻易复制。 但对任何类型都是如此。 如果类型不是简单的可复制的，那么包含该类型作为子对象的类型也不会轻易地复制。

你不能写一个元素，它对那些本身不可复制的类型强加了琐碎的可复制性。

但除此之外， 完全有可能编写一个元组类型，如果所有组件类型本身都是可复制的，那么它将是可以轻易复制的。 这是你最好的保证。 如果你想确保用户永远不会给出非平凡的可复制类型，你总是可以添加一个static_assert ，类型列表中的所有类型都可以轻易地复制。

Answer 2

使用reference_wrapper存储引用是完全可能的 ：

std::reference_wrapper保证是TriviallyCopyable。 （自C ++ 17起）

只是有一个非平凡的非特殊构造函数（例如std::reference_wrapper<T>::reference_wrapper(T&) ）绝对没问题。 所以trivially_copyable_tuple ; 只要它有一个简单的复制构造函数， trivially_copyable_tuple::trivially_copyable_tuple(int&, float&, char)就可以了。

实际上，你根本不需要使用std::reference_wrapper ; 虽然引用类型不是TriviallyCopyable，但包含引用的类类型本身是TriviallyCopyable（尽管它不是Pod，StandardLayoutType，DefaultConstructible，TriviallyDefaultConstructible或Trivial）。

以下是一些例子：

• 我自己的元组实现 ，表明不需要特殊的技巧来使它成为TriviallyCopyable;
• 一个稍微复杂一点的实现，表明如果你提供重新赋值（因此需要在内部使用reference_wrapper -alike），你仍然可以保留所有其他属性;
• 一个具有可赋值的元组，表明你失去了琐碎的可复制性，但只有在实际包含引用类型的元组上; 你可以在包含标量的元组上保留琐碎的可复制性。