From Jason Turner

[tuple.special]

Diff to HTML by rtfpessoa

Files changed (1) hide show
  1. tmp/tmpskctz4uo/{from.md → to.md} +12 -7
tmp/tmpskctz4uo/{from.md → to.md} RENAMED
@@ -1,18 +1,23 @@
1
  ### Tuple specialized algorithms <a id="tuple.special">[[tuple.special]]</a>
2
 
3
  ``` cpp
4
  template<class... Types>
5
  constexpr void swap(tuple<Types...>& x, tuple<Types...>& y) noexcept(see below);
 
 
6
  ```
7
 
8
- *Constraints:* `is_swappable_v<T>` is `true` for every type `T` in
9
- `Types`.
10
 
11
- *Remarks:* The expression inside `noexcept` is equivalent to:
12
-
13
- ``` cpp
14
- noexcept(x.swap(y))
15
- ```
16
 
17
  *Effects:* As if by `x.swap(y)`.
18
 
 
 
 
 
 
 
 
1
  ### Tuple specialized algorithms <a id="tuple.special">[[tuple.special]]</a>
2
 
3
  ``` cpp
4
  template<class... Types>
5
  constexpr void swap(tuple<Types...>& x, tuple<Types...>& y) noexcept(see below);
6
+ template<class... Types>
7
+ constexpr void swap(const tuple<Types...>& x, const tuple<Types...>& y) noexcept(see below);
8
  ```
9
 
10
+ *Constraints:*
 
11
 
12
+ - For the first overload, `(is_swappable_v<Types> && ...)` is `true`.
13
+ - For the second overload, `(is_swappable_v<const Types> && ...)` is
14
+ `true`.
 
 
15
 
16
  *Effects:* As if by `x.swap(y)`.
17
 
18
+ *Remarks:* The exception specification is equivalent to:
19
+
20
+ ``` cpp
21
+ noexcept(x.swap(y))
22
+ ```
23
+