C++ Logo

std-proposals

Advanced search

Re: [std-proposals] Float the idea: First-class effect annotations and resource contracts for C++

From: Ville Voutilainen <ville.voutilainen_at_[hidden]>
Date: Sun, 7 Jun 2026 23:48:50 +0300
On Sun, 7 Jun 2026 at 23:41, Michael Galuszka via Std-Proposals
<std-proposals_at_[hidden]> wrote:
> What I'd like feedback on
>
> 1. Is SG14/EWG broadly receptive to Layer 1 as a generalization of noexcept — that is, an effect specifier that is part of the function type, not an attribute?

To add more function-type (and pointer-to-function and
reference-to-function) specifiers that lead to different template
specializations,
and needs to be accommodated by various function wrappers, the added
facility needs to cure cancer.

Received on 2026-06-07 20:49:05