本文共 1729 字，大约阅读时间需要 5 分钟。

std::exchange 函数：C++ 标准库的高效交换工具

1. 函数定义与特性

std::exchange 是 C++ 标准库中一个强大的工具函数，主要用于高效地交换对象的值。该函数定义在 <utility> 头文件中，适用于 C++14 及以后的版本。

1.1 函数签名

std::exchange 的函数签名如下：

template
   
     
T exchange(T&& obj, U&& new_value);
   

对于 C++20，函数签名进一步优化为：

template
   
     
constexpr T exchange(T&& obj, U&& new_value);
   

1.2 功能描述

std::exchange 的主要作用是通过交换参数的值来返回原值。具体来说，该函数将 new_value 赋给 obj，并返回 obj 的旧值。需要注意的是：

• 移动赋值要求：函数要求 T 类型对象必须支持移动构造（MoveConstructible），同时 U 类型对象必须能被移动赋值给 T 类型对象。

2. 使用场景

2.1 移动赋值与构造

std::exchange 在实现移动赋值运算符和构造函数时非常有用。例如：

struct S {
    int* p;
    int n;
    
    S(S&& other): p(std::exchange(other.p, nullptr)),
                    n(std::exchange(other.n, 0)) {}
    
    S& operator=(S&& other) {
        p = std::exchange(other.p, nullptr);
        n = std::exchange(other.n, 0);
        return *this;
    }
};

2.2 高效交换

该函数的核心作用是高效地交换两个对象的值。通过交换操作，可以避免多次复制或移动对象，提升性能。

3. 实现示例

一个可能的实现方式如下：

template
   
    
T exchange(T&& obj, U&& new_value) {
    T old_value = std::move(obj);
    obj = std::forward
    (new_value);
    return old_value;
}
   

3.1 内联机制

在 C++20 中，std::exchange 被标记为 constexpr，进一步提升了其性能和便利性。

4. 使用案例

4.1 标准库中的应用

std::exchange 被广泛应用于标准库中，如 <vector> 和 <iterator> 等。例如：

std::vector
   
     v = std::exchange({}, {1, 2, 3, 4});
   

4.2 自定义类型

在自定义类型中，std::exchange 也是关键工具。例如：

class stream {
    using flags_type = int;
    flags_type flags() const {
        return flags_;
    }
    flags_type flags(flags_type newf) {
        return std::exchange(flags_, newf);
    }
private:
    flags_type flags_ = 0;
};

5. 性能优势

std::exchange 的设计目标是提供高效的交换操作，减少对象的复制和移动。通过直接使用移动赋值和构造函数，std::exchange 实现了这一目标。

6. 注意事项

• 确保 T 和 U 满足移动赋值和构造的要求。
• 注意 new_value 的移动性，避免不必要的性能损耗。

通过以上内容可以看出，std::exchange 是一个强大的工具，能够在多种场景中提供高效的交换解决方案。