[func.bind.place] - C++17 → C++20

Files changed (1) hide show

tmp/tmpaq94sps8/{from.md → to.md} RENAMED Viewed

@@ -10,23 +10,25 @@ namespace std::placeholders {
               .
   see below _M;
 }
 ```
-All placeholder types shall be `DefaultConstructible` and
-`CopyConstructible`, and their default constructors and copy/move
-constructors shall not throw exceptions. It is *implementation-defined*
-whether placeholder types are `CopyAssignable`. `CopyAssignable`
-placeholders’ copy assignment operators shall not throw exceptions.
 Placeholders should be defined as:
 ``` cpp
 inline constexpr unspecified _1{};
 ```
-If they are not, they shall be declared as:
 ``` cpp
 extern unspecified _1;
 ```

               .
   see below _M;
 }
 ```
+All placeholder types meet the *Cpp17DefaultConstructible* and
+*Cpp17CopyConstructible* requirements, and their default constructors
+and copy/move constructors are constexpr functions that do not throw
+exceptions. It is *implementation-defined* whether placeholder types
+meet the *Cpp17CopyAssignable* requirements, but if so, their copy
+assignment operators are constexpr functions that do not throw
+exceptions.
 Placeholders should be defined as:
 ``` cpp
 inline constexpr unspecified _1{};
 ```
+If they are not, they are declared as:
 ``` cpp
 extern unspecified _1;
 ```

Diff to HTML by rtfpessoa