There have been a number of tries to get something like [[pure]] in C++ in the past; maybe C found the way to make it work? Thanks for the info!
Thanks for the info!
I would be happy to help with a WG21 proposal to bring these features to C++. They seem very useful.
Cheers,
Timur
> On 7 Nov 2022, at 07:41, Aaron Ballman <compatibility.sg.chair@gmail.com> wrote:
>
> On Mon, Nov 7, 2022 at 12:30 PM Jonathan Wakely via Liaison
> <liaison@lists.isocpp.org> wrote:
>> On Mon, 7 Nov 2022 at 17:21, Timur Doumler via Liaison <liaison@lists.isocpp.org> wrote:
>>>
>>> Hi SG22,
>>>
>>> I just learned that C23 appears to have standardised two new attributes that are not in C++23, [[unsequenced]] and [[reproducible]]:
>>> https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2956.htm
>>>
>>> Could you please confirm that this has in fact landed in the C23 standard? It's already on cppreference.
>>
>> There's no C23 standard yet, but they're in the C2x draft (see 6.7.12.1 in WG14 N3054).
>
> +1, this landed for C2x.
>
>>> Do you have any views on whether we want these attributes in C++ as well? Has this been discussed before?
>
> We did not discuss this paper in SG22 (there were some timing issues
> getting it on the schedule which I failed to resolve in a timely
> enough manner), but I'd be more than happy to schedule it if someone
> was to bring forth a proposal for WG21. I've CCed in the authors of
> the WG14 feature.
>
> ~Aaron
>
>>>
>>> Cheers,
>>> Timur
>>> _______________________________________________
>>> Liaison mailing list
>>> Liaison@lists.isocpp.org
>>> Subscription: https://lists.isocpp.org/mailman/listinfo.cgi/liaison
>>> Searchable archives: http://lists.isocpp.org/liaison/2022/11/index.php
>>
>> _______________________________________________
>> Liaison mailing list
>> Liaison@lists.isocpp.org
>> Subscription: https://lists.isocpp.org/mailman/listinfo.cgi/liaison
>> Link to this post: http://lists.isocpp.org/liaison/2022/11/1125.php
_______________________________________________
Liaison mailing list
Liaison@lists.isocpp.org
Subscription: https://lists.isocpp.org/mailman/listinfo.cgi/liaison
Link to this post: http://lists.isocpp.org/liaison/2022/11/1127.php