Compile-Time Interfaces (Concepts)

[H. S. Teoh via Digitalmars-d-learn]

On Wed, Jul 23, 2014 at 04:21:16PM +0200, bossfong via Digitalmars-d-learn wrote:
> Could we possibly have a template like the following:
> 
> satisfiesInterface!(T, Interface);
> 
> that would return true when T satisfies Interface and otherwise gives
> descriptive error messages via __pragma(error, ...) ?
> 
> Then isInputRange could simply use satisfiesInterface under the hood
> and user code had a nice tool to check their very own requirements.
> I'm not sure if such a template is possible though.

We could, though it's not quite the same as a native concepts
implementation where the compiler can check templates for code that
wrongly makes assumptions about the incoming type that aren't defined by
the concept.


T

-- 
I think Debian's doing something wrong, `apt-get install pesticide', doesn't seem to remove the bugs on my system! -- Mike Dresser