std::variant<Types...>::swap
来自cppreference.com
| void swap( variant& rhs ) noexcept(/* see below */); |
(1) | (C++17 起) |
交换二个 variant 对象。
- 若
*this和rhs均因异常无值（ valueless_by_exception ），则不做任何事； - 否则，若
*this与rhs保有同一可选项，则调用 swap(std::get<i>(*this), std:get<i>(rhs)) ，其中i等于index()。若抛出异常，则值的状态依赖于被调用交换函数的异常安全； - 否则，交换
rhs与*this的值。若抛出异常，则*this与rhs的状态依赖于variant移动构造函数的异常安全。
除非对于所有 Types... 中的 T_i ， T_i 左值可交换 (Swappable) 且 std::is_move_constructible_v<T_i> 为 true ，否则行为未定义。
参数
| rhs | - | 要交换的 variant 对象
|
返回值
（无）
异常
若 this->index() == rhs.index() ，则可能抛出任何 swap(std::get<i>(*this), std::get<i>(rhs)) 所抛的异常，其中 i 等于 index() 。
否则，可能抛出任何当前 *this 与 rhs 所保有的可选项的移动构造函数所抛的异常。
noexcept 规定：
noexcept(((std::is_nothrow_move_constructible_v<Types> &&
std::is_nothrow_swappable_v<Types>) && ...))
std::is_nothrow_swappable_v<Types>) && ...))
示例
运行此代码
#include <variant> #include <string> #include <iostream> 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