std::experimental::propagate_const<T>::swap
From cppreference.com
< cpp | experimental | propagate const
| constexpr void swap( propagate_const & pt ) noexcept(/* see below */); |
(library fundamentals TS v2) | |
Swaps the wrapped pointer with that of pt. Let t_ designate the private data member that is the wrapped pointer-like object, then this function is equivalent to swap(t_, pt.t_), where the overload resolution for swap is performed among std::swap and any declaration found by the usual lookup rules, as described in Swappable.
The behavior is undefined if lvalues of T do not satisfy Swappable.
Parameters
| pt | - | another propagate_const object to swap with
|
Exceptions
|
noexcept specification:
The lookup for the identifier noexcept(noexcept(swap(t_, pt.t_))) swap in the exception specification finds overloads described above, and does not find the member function itself, making the exception specification equivalent to C++17 std::is_nothrow_swappable.
|
(library fundamentals TS v2) |
|
noexcept specification:
noexcept(std::is_nothrow_swappable_v<T>) |
(library fundamentals TS v3) |
Defect reports
The following behavior-changing defect reports were applied retroactively to previously published C++ standards.
| DR | Applied to | Behavior as published | Correct behavior |
|---|---|---|---|
| LWG 3413 | LFTSv2 | the exception specification was ill-formed | made well-formed |