[phobos] is*Range + Qualified Types

Andrei Alexandrescu andrei at erdani.com
Sun Jan 2 15:39:49 PST 2011


On 9/17/10 8:24 AM, David Simcha wrote:
> On 9/17/2010 3:08 AM, Andrei Alexandrescu wrote:
>> So the crux of the matter is not operating on constant ranges (which I
>> believe we can safely drop), but obtaining non-constant ranges from
>> constant containers.
>
> I agree we need to drop operating on constant ranges for the general
> case, but I think it's trivial to fix for a lot of common cases by just
> adding Unqual. This would fix arrays, iota and everything else that has
> a "natural" tail const.

Walter and I also discussed the idea that the compiler could 
automatically transform const(T[]) -> const(T)[] when passing built-in 
arrays into functions. Of course that only works for arrays...


Andrei


More information about the phobos mailing list