불변 범위의 데카르트 곱

Question

두 가지 불변 범위의 직교 곱을 계산할 수없는 이유는 무엇입니까?

다음 코드

import std.stdio; 
import std.algorithm; 

void main() { 

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

    writeln(BC); 
} 

예외 : 제 하지만 불변 제가 제거되면

/usr/include/dmd/phobos/std/range.d(4199): Error: cannot modify struct result._ranges_field_1 Repeat!(immutable(int)) with immutable members 
/usr/include/dmd/phobos/std/range.d(4503): Error: template instance std.range.Zip!(immutable(int)[], Repeat!(immutable(int))) error instantiating 
/usr/include/dmd/phobos/std/algorithm.d(11674):  instantiated from here: zip!(immutable(int)[], Repeat!(immutable(int))) 
laurent_test.d(8):  instantiated from here: cartesianProduct!(immutable(int)[], immutable(int)[]) 
/usr/include/dmd/phobos/std/algorithm.d(11674): Error: template instance std.range.zip!(immutable(int)[], Repeat!(immutable(int))) error instantiating 
laurent_test.d(8):  instantiated from here: cartesianProduct!(immutable(int)[], immutable(int)[]) 
laurent_test.d(8): Error: template instance std.algorithm.cartesianProduct!(immutable(int)[], immutable(int)[]) error instantiating 

Futhermore, 그것은 작동한다.

phobos 구현에 따르면, inputRange와 forwardRange가되는 범위 중 하나입니다. 그러한 템플릿 제약이 왜 필요한가?

Answer 1

저는 확실히 D의 전문가는 아니지만 작년에 similar question에게 물었습니다.이 answer from Jonathan M Davis은 우수했습니다.

TL; DR :

R r = void;  // can define a range object 
if (r.empty) {} // can test for empty 
r.popFront();  // can invoke popFront() 
auto h = r.front; // can get the front of the range 

당신이 culprint를 추측 할 수 : 그것은 4 개의 규칙을 존중 would't 때문에 범위는 불변이 될 수없는 이유는 무엇입니까? popFront