18 Concepts library [concepts]

18.7 Callable concepts [concepts.callable]

18.7.3 Concept regular_­invocable [concept.regularinvocable]

template<class F, class... Args> concept regular_­invocable = invocable<F, Args...>;
The invoke function call expression shall be equality-preserving ([concepts.equality]) and shall not modify the function object or the arguments.
[Note
:
This requirement supersedes the annotation in the definition of invocable.
— end note
]
[Example
:
A random number generator does not model regular_­invocable.
— end example
]
[Note
:
The distinction between invocable and regular_­invocable is purely semantic.
— end note
]