new DIP47: Outlining member functions of aggregates

Joseph Rushton Wakeling joseph.wakeling at webdrake.net
Mon Sep 9 13:08:08 PDT 2013


On 09/09/13 22:01, Andrej Mitrovic wrote:
> You could use compile-time introspection where the API would look like:
>
> class C
> {
>      void foo();
>      void foo() { }
>      void bar() { }  // missing declaration
>      mixin VerifyDeclarations;
> }
>
> And this would statically assert if there's a missing declaration for
> a definition. I think this might even be doable with the current
> introspection features, although I'm not sure whether we have a way to
> determine if something is a declaration or a definition. Certainly
> such a trait could easily be added to the compiler.

Fair enough.  In that case I guess my objections don't really hold water.



More information about the Digitalmars-d mailing list