[[=annotations]] do kinda “tag” classes, I dont think they are inherited
but if that s something that you want for some reasons, then maybe work
within that framework.

Sent from Gmail Mobile


On Sun, Apr 20, 2025 at 9:10 Ville Voutilainen via Std-Proposals <
std-proposals_at_[hidden]> wrote:

> On Sun, 20 Apr 2025 at 03:06, Ville Voutilainen
> <ville.voutilainen_at_[hidden]> wrote:
> >
> > On Sun, 20 Apr 2025 at 01:59, Frederick Virchanza Gotham via
> > Std-Proposals <std-proposals_at_[hidden]> wrote:
> > >
> > > This past week in the thread about "std::arithmetic", we've been
> > > talking about different ways of tagging a class.
> > >
> > > Here's a class that has a tag that will be inherited by all derived
> classes:
> > >
> > > #include <type_traits>
> > >
> > > class MyClass {
> > > public:
> > > typedef int tag_arithmetic;
> > > };
> >
> > No, it isn't. That's valid existing code, and it will not be given new
> > semantics where aliases like that are automatically inherited.
> >
> > Go do your homework and come back when you have a starting point that
> > is not dead on arrival.
>
> The remark applies more to the rest of this wonderful idea, tho.
> --
> Std-Proposals mailing list
> Std-Proposals_at_[hidden]
> https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals
>