关于实现类对象的三个问题

Question

问题：

1. 我使用 cppreference.com 上描述的模板来指导我实现一些功能，例如 push() (在我的例子中是enqueue() ）。在 cppreference.com 上，给出了以下模板：

    (a) push(const value_type & value);
    (b) push(value_type && value);
   

https://en.cppreference.com/w/cpp/container/queue/push

由于 (a) 需要引用，文字是如何添加到队列中的？

另外，如果我实现一个函数

         enqueue(Queue const & other) 

使用函数

         enqueue(T const & value) 

通过迭代“其他”并将每个值排入“其他”中，这不会添加“其他”中值的“深层”副本吗？因此，我不应该传递对其他的引用，而是传递一个副本？

1. 另外，“&&”是什么意思？

2. 这两个功能如何

    (a) const T & front() const
    (b) T & front()
   

由编译器区分？此外，(a) 在函数名后有一个 const 意味着外部用户将无法修改前面的变量？您甚至想修改队列的前端（或结束）变量吗？

感谢您的宝贵时间！

Answer 1

我将尝试对 Q1、Q2 和 Q3 给出一些快速的答案（但绝不是完整的，您应该研究用于更好地理解的术语）。就像 cmets 建议的那样，其余的更适合代码审查。

Q1 - A) 由于引用是常量，编译器能够将文字绑定到参数。思路是，如果函数不能修改它，那么 object*/primitive 是定义还是字面量都无关紧要。如果签名是push(value_type & value)，那么这将不起作用。此函数期望对允许您修改它的对象/基元的非常量引用。这是没有意义的，因为您不能修改文字，因此是不允许的。

B) 是 enqueue(Queue const & value) 将添加深层副本，但该函数不应该获取值的副本。如果是这样，您将复制所有项目 2 次而不是 1 次。函数enqueue(Queue const value)（获取一个副本）将首先根据您为函数提供的参数构造一个新队列value（请参阅复制构造函数）。然后通过value 并将新元素添加到调用队列的前面，其值与value 中的值相同。因此，在构造参数值和将项目添加到调用队列时，每个项目将被复制两次。

Q2 - 如 cmets 中所述，value_type && value 是转发引用或 r-value 引用。或多或少是对未绑定到 l-value 的值的引用。这使您能够有效地执行push(MyObject(1, 2, 3)) 之类的操作（因为MyObject(1, 2, 3) 尚未绑定到“左值”）或传递所有权。 （参见移动构造函数）

Q3 - const T & front() const 第一个const 指返回类型（T&），第二个const 指调用对象（队列）。 front 返回对队列中第一个元素的引用。 T & front() 使您能够获取第一个元素并通过引用对其进行修改（是的，在某些情况下修改队列的前端很有用）。但是如果 Queue 是常量，那么获取第一个元素并修改它就没有意义了。因此，您为用户提供了在 const Queue 上使用的替代方法，const T & front() const。您仍然可以获得对队列前面的引用，但该引用是 const 限定的，因此您无法修改它。根据编译器 - const T & front() const 用于 const Queue，T & front() 用于普通队列。