std::optional<T>::swap

来自cppreference.com
< cpp‎ | utility‎ | optional
 
 
工具库
通用工具
日期和时间
函数对象
格式化库 (C++20)
(C++11)
关系运算符 (C++20 中弃用)
整数比较函数
(C++20)(C++20)(C++20)
(C++20)
swap 与类型运算
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
常用词汇类型
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)
(C++23)
初等字符串转换
(C++17)
(C++17)
 
 
void swap( optional& other ) noexcept(/* see below */);
(C++17 起)
(C++20 前)
constexpr void swap( optional& other ) noexcept(/* see below */);
(C++20 起)

other 交换内容。

  • *thisother 均不含值,则函数无效果。
  • *thisother 仅有一个含值(称此对象为 in ,另一者为 un ),则从 std::move(*in) 直接初始化 un 所含值,随后如同通过 in->T::~T() 析构 in 所含值。此调用后, in 不含值; un 含值。

std::is_move_constructible_v<T>false 则程序非良构。

参数

other - 要交换内容的 optional 对象

返回值

(无)

异常

noexcept 说明:  

在抛异常的情况下, *thisother 所含值的状态由 TswapT 的移动构造函数的异常安全保证确定,取决于所调用者。对于 *thisother ,若对象含值,则令它继续含值,反之亦然。

示例

#include <iostream>
#include <string>
#include <optional>
 
int main()
{
    std::optional<std::string> opt1("First example text");
    std::optional<std::string> opt2("2nd text");
 
    enum Swap { Before, After };
    auto print_opts = [&](Swap e) {
        std::cout << (e == Before ? "Before swap:\n" : "After swap:\n");
        std::cout << "opt1 contains '" << opt1.value_or("") << "'\n";
        std::cout << "opt2 contains '" << opt2.value_or("") << "'\n";
        std::cout << (e == Before ? "---SWAP---\n": "\n");
    };
 
    print_opts(Before);
    opt1.swap(opt2);
    print_opts(After);
 
    // 在仅一者含值时交换
    opt1 = "Lorem ipsum dolor sit amet, consectetur tincidunt.";
    opt2.reset();
 
    print_opts(Before);
    opt1.swap(opt2);
    print_opts(After);
}

输出:

Before swap:
opt1 contains 'First example text'
opt2 contains '2nd text'
---SWAP---
After swap:
opt1 contains '2nd text'
opt2 contains 'First example text'
 
Before swap:
opt1 contains 'Lorem ipsum dolor sit amet, consectetur tincidunt.'
opt2 contains ''
---SWAP---
After swap:
opt1 contains ''
opt2 contains 'Lorem ipsum dolor sit amet, consectetur tincidunt.'

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告 应用于 出版时的行为 正确行为
P2231R1 C++20 swap 不是 constexpr 而要求的操作在 C++20 中能为 constexpr 使之为 constexpr

参阅

特化 std::swap 算法
(函数模板)