Reducing template constraint verbosity? [was Re: Slides from my ACCU Silicon Valley talk]

[Steven Schveighoffer]

On Tue, 14 Dec 2010 15:35:30 -0500, Patrick Down <pat at codemoon.com> wrote:

> == Quote from Steven Schveighoffer (schveiguy at yahoo.com)'s article
> Would it help to allow 'else' and 'else if' on the template constraints?
>
> void foo(R)(R r) if(isRandomAccessRange!R)
> {...}
> else if(isInputRange!R)
> {...}
>
> This could basically be translated into two specializations like this:
>
> void foo(R)(R r) if(isRandomAccessRange!R) {...}
> void foo(R)(R r) if(isInputRange!R && !isRandomAccessRange!R) {...}

:O

Wow, that's a great idea.

Andrei?

-Steve