On Monday, 8 October 2018 at 11:19:40 UTC, Per Nordlöw wrote:
And how this is related to the trait `hasElaborateConstructor` for both `classes` and `structs`.

There's no such trait as far as I'm aware. If there were, it'd likely be checking for the presence of a '__ctor' member. Thing is, it can't be generic because ctors may be templates, the best that can be done is checking if `T` is constructible with some arguments `Args`.

And how this is related to the trait `hasElaborateDestructor` for both `classes` and `structs`.

It isn't. The trait literally just checks if the compiler has generated a '__dtor' member, and it doesn't do so for classes at all.

Reply via email to