Re: Cartesian product of immutable ranges

[matovitch]

On Sunday, 26 January 2014 at 22:19:47 UTC, Stanislav Blinov 
wrote:
On Sunday, 26 January 2014 at 21:49:37 UTC, matovitch wrote:
void main() {

   immutable int[] B = [ 1, 2, 3 ];
   immutable int[] C = [ 4, 5, 6 ];
   auto BC = zip(B, C);
   writeln(BC);
}

Here B and C aren't inputRange thought acording to the 
template constraint of zip there should be. How can it 
compiles ?

B and C aren't, but B[] and C[] are. That's what's going on when
you pass an array as function argument: a full slice is taken.
See for yourself:

void foo(R)(R r) {
     writeln(R.stringof);
}

foo(B); // will print immutable(int)[]


You mean that two input ranges are created from the immutable 
arrays when I call the function ?

Zip doesn't compiles while zip compile. :/

Here is the implementation of zip :

auto zip(Ranges...)(Ranges ranges)
    if (Ranges.length && allSatisfy!(isInputRange, Ranges))
{
    return Zip!Ranges(ranges);
}