move_only_function takes one signature #5198
Conversation
The pack (`Args...`) in the specializations does not need the main template to be variadic. A signature is just one type parameter.
|
See #5013 (comment). |
Continued the thread there. The specification (synopsis) is a non-binding declaration. If an implementation has ABI concern, it can declare the main template in whatever way compiles. |
I wonder if they considered adding a (normative) encouragement to make it variadic for implementations whose ABI would change. Not like that'd stop implementations from making it non-variadic, since it's just an encouragement. And then we'd have to get another template that's actually variadic, just like it happened with the lock guards. So it seems better to just make it variadic from the get-go. |
|
I see; it's not editorial. |
The pack (
Args...) in the specializations does not need the main template to be variadic. A signature is just one type parameter.