std::variant<Types...>::swap

来自cppreference.com
< cpp‎ | utility‎ | variant
 
C++
 
工具库
通用工具
关系运算符 (C++20 弃用)
 
std::variant
 
void swap( variant& rhs ) noexcept(/* 见下文 */);
 (C++17 起)
(C++20 起为 constexpr)

交换两个 variant 对象。

  • 若 *this 和 rhs 均因异常无值，则不做任何事；
  • 否则，若 *this 与 rhs 保有同一可选项，则调用 swap(*std::get_if<i>(this), *std::get_if<i>(std::addressof(rhs)))，其中 i 为 index()。若抛出了异常，则值的状态取决于被调用交换函数的异常安全性；
  • 否则，交换 rhs 与 *this 的值。若抛出了异常，则 *this 与 rhs 的状态取决于变体的移动构造函数的异常安全性。

除非对于所有 Types... 中的 T_i，T_i 可交换 (Swappable) 且 std::is_move_constructible_v<T_i> 是 true，否则程序非良构。

目录

[编辑] 参数

rhs - 要交换的 variant 对象

[编辑] 返回值

（无）

[编辑] 异常

若 this->index() == rhs.index()，则可能抛出 swap(*std::get_if<i>(this), *std::get_if<i>(std::addressof(rhs))) 所抛的任何异常，其中 i 为 index()。

否则，可能抛出当前 *this 与 rhs 所保有的可选项的移动构造函数所抛的任何异常。

noexcept 说明：  
noexcept(((std::is_nothrow_move_constructible_v<Types> &&
           std::is_nothrow_swappable_v<Types>) && ...))

[编辑] 注解

功能特性测试宏 值 标准 功能特性
__cpp_lib_variant 202106L (C++20)
(DR)		 完全 constexpr 的 std::variant

[编辑] 示例

运行此代码
#include <iostream>
#include <string>
#include <variant>
 
int main()
{
    std::variant<int, std::string> v1{2}, v2{"abc"}; 
    std::visit([] (auto&& x) { std::cout << x << ' '; }, v1);
    std::visit([] (auto&& x) { std::cout << x << '\n'; }, v2);
    v1.swap(v2);
    std::visit([] (auto&& x) { std::cout << x << ' '; }, v1);
    std::visit([] (auto&& x) { std::cout << x << '\n'; }, v2);
}

输出： 

2 abc
abc 2

[编辑] 缺陷报告

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

缺陷报告 应用于 出版时的行为 正确行为
P2231R1 C++20 swap 不是 constexpr，而非平凡析构函数在 C++20 中能为 constexpr 使之为 constexpr

[编辑] 参阅

(C++17)
 特化 std::swap 算法
(函数模板) [编辑]
来自“https://zh.cppreference.com/mwiki/index.php?title=cpp/utility/variant/swap&oldid=96774”