C++ Logo


Advanced search

Re: [wg14/wg21 liaison] labels

From: Niall Douglas <s_sourceforge_at_[hidden]>
Date: Tue, 11 Aug 2020 16:13:02 +0100
On 11/08/2020 15:57, Uecker, Martin wrote:

>> My proposed syntax for never returning invocable pointers would be:
>> _Noreturn_t (*addr)(args...)
>> ... where the builtin _Noreturn_t type means that this function will
>> never, ever, return. _Generic etc can select on that, obviously.
> This is the correct approach. I am not sure about the naming
> of the return type, but this is essentially the bottom type
> we are missing (void is more like the unit type).

Just in case it isn't obvious to some, I was mapping the _Noreturn C11
keyword into a type _Noreturn_t. I meant to say that in my reply, sorry
I forgot.


Received on 2020-08-11 10:16:27