C++队列（queue）为何用push而非push_back？为何无专用back_insert_iterator？

好问题！这其实涉及到C++容器设计里的接口抽象和语义一致性两个核心原则，咱们一步步拆解清楚：

一、为什么queue的入队函数叫push而不是push_back？ #

queue本质是一个容器适配器，它的底层可以是deque（默认）、list甚至自定义容器，但它对外要提供的是**队列（FIFO，先进先出）**的抽象语义，而不是底层容器的具体实现细节：

• push_back是序列容器（比如vector、deque）的专属方法，语义是“在容器尾部添加元素”；但queue的push语义是“将元素加入队列尾部（入队）”，这是更贴合队列逻辑的抽象命名。
• 不管底层用的是什么容器，用户只需要记住“入队用push，出队用pop”，不用关心底层是调用push_back还是其他方法——比如如果哪天你把queue的底层换成了一个自定义的队列容器，只要它支持入队操作，queue的接口不用变，用户代码也不用改，这就是适配器封装的意义。

二、为什么不给queue提供专用的back_insert_iterator特化？ #

这同样和queue的设计初衷强相关：

• back_insert_iterator的核心逻辑是调用容器的push_back方法，但queue的设计就是隐藏底层容器的直接操作，只允许用户通过符合队列语义的接口（push、pop、front等）来操作。如果给queue做back_insert_iterator特化，就相当于绕过了queue的封装，直接调用底层的push_back，这破坏了queue作为FIFO适配器的语义限制。
• 另外，back_insert_iterator属于迭代器范畴，而queue本身不暴露迭代器（因为队列不支持遍历操作，这是它的语义决定的）——迭代器的存在前提是容器允许用户访问和遍历元素，而queue的设计就是不让用户随意访问中间元素，自然也就不需要为它适配迭代器类。

题外话：如果非要给queue用类似back_insert_iterator的功能怎么办？ #

C++11之后，queue公开了底层容器的访问接口c，你可以直接操作底层容器来实现：

#include <queue>
#include <algorithm>
#include <vector>

int main() {
    std::queue<int> q;
    std::vector<int> nums = {1,2,3,4};
    // 直接操作底层容器，不推荐！
    std::copy(nums.begin(), nums.end(), std::back_inserter(q.c));
    return 0;
}

但这种做法不推荐在生产代码中使用，因为它绕过了queue的封装，可能导致代码语义混乱，甚至引发意外行为。

内容的提问来源于stack exchange，提问作者Kilian