I don't think an attribute would be appropriate for this. With attributes a
design principle is that the implementation should still be considered
conforming if it ignores the attribute. Presumably you want to write
portable code using your proposed feature, but if it were an attribute,
then compilers could refuse to compile it by not supporting the attribute.

I am not aware of any proposals for this feature, but IMHO it is worth
exploring. Scott Meyers explained
<http://scottmeyers.blogspot.com/2014/03/a-concern-about-rule-of-zero.html>
that if, for example, you want to add logging to your class's destructor,
then suddenly you're forced to explicitly default the move constructor, and
as soon as you do that, your program will stop compiling if it employs
aggregate initialization. It is not possible to perfectly emulate aggregate
initialization using a user-written constructor, particularly now that we
have designated initializers. Having a way to explicitly opt in to
aggregate initialization is the only way I can see to solve this problem.

On Thu, Aug 18, 2022 at 5:27 PM Ivan Matek via Std-Proposals <
std-proposals_at_[hidden]> wrote:

> Often I encounter the following problem:
> I am happily using the readability benefit of designated initializers in
> my struct.
> Then I notice I must add a functionality that makes it a nonaggregate (for
> example deleting copy constructor to prevent accidental expensive copy),
> then all my nice initialization must go away and I am forced to write a
> spammy "forwarding" constructor (one that does nothing, just initializes
> all variables with mathiing arguments).
>
> I am not sure what syntax would be best, maybe
> [[agg_init]]
> attribute?
> --
> Std-Proposals mailing list
> Std-Proposals_at_[hidden]
> https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals
>

-- 
*Brian Bi*