C++STL中队列的 swap 函数实现及自定义类型对象的交换方式

❤️️💚💙💛🧡💜🖤🤍🧡

大家好！我是曾续缘🥰

欢迎关注💕

❤️点赞 👍 收藏 ⭐再看，养成习惯

🔥忠于你的梦想，别管它发不发光。📚

队列是一种常用的数据结构，STL提供了queue模板类来实现队列。其中queue类有swap函数，可以用于交换两个队列的元素。

其用法如下：

#include <queue>

using namespace std;

int main() {
    queue<int> q1, q2;
    // 向队列中添加元素 ...
    q1.swap(q2);  // 交换两个队列
    return 0;
}

此代码将交换q1和q2中的所有元素。这个操作的时间复杂度是常数级别的。

下面是 swap 函数的原理：

1. 交换队列大小

首先，size()成员函数返回队列中元素的数量。因此，交换两个队列时，可以先交换它们的大小：

template<typename _Tp, typename _Sequence>
inline void queue<_Tp, _Sequence>::swap(queue& __x) {
    std::swap(c, __x.c);
}

2. 交换队列容器

队列是基于容器实现的，因此在交换两个队列时，需要交换它们的底层容器。std::swap()会将两个容器的内容交换。在这里，成员变量 c 表示队列容器，使用std::swap()进行交换，实际上交换了两个队列的容器。

template<typename _Tp, typename _Sequence>
inline void queue<_Tp, _Sequence>::swap(queue& __x) {
    std::swap(c, __x.c);
}

综上所述，队列 swap 函数实现的核心代码就是交换两个队列的容器。交换容器时，只需要将两个容器的指针交换即可，时间复杂度为 O(1)。

注意：在交换队列元素时，如果队列中存储的是自定义类型的对象或指针，需要自行实现swap函数或重载运算符来实现元素间的交换。

如果队列中存储的是自定义类型的对象或指针，那么在进行队列的元素交换时，需要注意到STL中的swap函数可能无法正确地完成元素的交换，因为默认的swap函数对于自定义类型会使用拷贝构造函数和析构函数，导致不必要的开销。

因此，在使用swap函数进行队列元素交换时，建议为自定义类型定义一个自己的swap函数来代替STL的swap函数。这个自定义的swap函数应该满足以下性质：

1. 必须是模板函数。
2. 接受两个参数，必须是同类型。
3. 不返回值。
4. 具有常数时间复杂度。

下面是一个示例，假设我们自定义了一个名为MyClass的类，它包含两个数据成员x和y：

class MyClass {
public:
    int x;
    double y;
};

为了实现快速的元素交换，我们可以为这个类定义一个swap函数，如下所示：

namespace std {
    template<>
    void swap<MyClass>(MyClass& lhs, MyClass& rhs) noexcept {
        std::swap(lhs.x, rhs.x);
        std::swap(lhs.y, rhs.y);
    }
}

这个函数采用了命名空间方式定义在std命名空间下。这是为了让编译器能够找到这个函数。当我们使用swap函数时，编译器会自动查找正确的swap函数。

此外，如果存储的是指针类型，也需要实现自定义类型的swap函数。对于指针类型，swap函数应该只是互换指针指向的地址，而不是拷贝对象本身：

namespace std {
    template<>
    void swap<MyClass*>(MyClass*& lhs, MyClass*& rhs) noexcept {
        std::swap(lhs, rhs);
    }
}

实现了自定义的swap函数之后，在需要使用swap函数进行队列元素交换时，直接调用自定义的swap函数即可：

queue<MyClass> q1, q2;
// 在 q1 和 q2 中添加元素
swap(q1.front(), q2.front());  // 交换队列中的第一个元素
swap(q1, q2);  // 交换整个队列

这样就能够高效地交换队列中自定义类型的元素了。值得注意的是，在为自定义类型实现swap函数时，应该尽量使用std::swap()函数来实现对象的交换，以保证性能和正确性。