tmp/tmp61qbbxgw/{from.md → to.md}
RENAMED
|
@@ -1,12 +1,11 @@
|
|
| 1 |
## Callable concepts <a id="concepts.callable">[[concepts.callable]]</a>
|
| 2 |
|
| 3 |
### General <a id="concepts.callable.general">[[concepts.callable.general]]</a>
|
| 4 |
|
| 5 |
-
The concepts in
|
| 6 |
-
|
| 7 |
-
arguments.
|
| 8 |
|
| 9 |
### Concept <a id="concept.invocable">[[concept.invocable]]</a>
|
| 10 |
|
| 11 |
The `invocable` concept specifies a relationship between a callable type
|
| 12 |
[[func.def]] `F` and a set of argument types `Args...` which can be
|
|
@@ -32,12 +31,13 @@ template<class F, class... Args>
|
|
| 32 |
|
| 33 |
The `invoke` function call expression shall be
|
| 34 |
equality-preserving [[concepts.equality]] and shall not modify the
|
| 35 |
function object or the arguments.
|
| 36 |
|
| 37 |
-
[*Note 1*: This requirement supersedes the
|
| 38 |
-
|
|
|
|
| 39 |
|
| 40 |
[*Example 1*: A random number generator does not model
|
| 41 |
`regular_invocable`. — *end example*]
|
| 42 |
|
| 43 |
[*Note 2*: The distinction between `invocable` and `regular_invocable`
|
|
@@ -150,11 +150,10 @@ Under these conditions, it can be shown that
|
|
| 150 |
[expr.prim.id]: expr.md#expr.prim.id
|
| 151 |
[expr.unary.op]: expr.md#expr.unary.op
|
| 152 |
[forward]: utilities.md#forward
|
| 153 |
[func.def]: utilities.md#func.def
|
| 154 |
[func.invoke]: utilities.md#func.invoke
|
| 155 |
-
[function.objects]: utilities.md#function.objects
|
| 156 |
[lib.types.movedfrom]: library.md#lib.types.movedfrom
|
| 157 |
[meta.trans.other]: meta.md#meta.trans.other
|
| 158 |
[meta.type.synop]: meta.md#meta.type.synop
|
| 159 |
[over.best.ics]: over.md#over.best.ics
|
| 160 |
[structure.requirements]: library.md#structure.requirements
|
|
|
|
| 1 |
## Callable concepts <a id="concepts.callable">[[concepts.callable]]</a>
|
| 2 |
|
| 3 |
### General <a id="concepts.callable.general">[[concepts.callable.general]]</a>
|
| 4 |
|
| 5 |
+
The concepts in [[concepts.callable]] describe the requirements on
|
| 6 |
+
callable types [[func.def]] and their arguments.
|
|
|
|
| 7 |
|
| 8 |
### Concept <a id="concept.invocable">[[concept.invocable]]</a>
|
| 9 |
|
| 10 |
The `invocable` concept specifies a relationship between a callable type
|
| 11 |
[[func.def]] `F` and a set of argument types `Args...` which can be
|
|
|
|
| 31 |
|
| 32 |
The `invoke` function call expression shall be
|
| 33 |
equality-preserving [[concepts.equality]] and shall not modify the
|
| 34 |
function object or the arguments.
|
| 35 |
|
| 36 |
+
[*Note 1*: This requirement supersedes the “not required to be
|
| 37 |
+
equality-preserving” comment in the definition of
|
| 38 |
+
`invocable`. — *end note*]
|
| 39 |
|
| 40 |
[*Example 1*: A random number generator does not model
|
| 41 |
`regular_invocable`. — *end example*]
|
| 42 |
|
| 43 |
[*Note 2*: The distinction between `invocable` and `regular_invocable`
|
|
|
|
| 150 |
[expr.prim.id]: expr.md#expr.prim.id
|
| 151 |
[expr.unary.op]: expr.md#expr.unary.op
|
| 152 |
[forward]: utilities.md#forward
|
| 153 |
[func.def]: utilities.md#func.def
|
| 154 |
[func.invoke]: utilities.md#func.invoke
|
|
|
|
| 155 |
[lib.types.movedfrom]: library.md#lib.types.movedfrom
|
| 156 |
[meta.trans.other]: meta.md#meta.trans.other
|
| 157 |
[meta.type.synop]: meta.md#meta.type.synop
|
| 158 |
[over.best.ics]: over.md#over.best.ics
|
| 159 |
[structure.requirements]: library.md#structure.requirements
|