是一個前向範圍的靜態數組？

Question

這工作：

int[] a = [ 1, 2, 3, 4 ]; 
fill(a, 5); 

但這並不：

int[4] a = [ 1, 2, 3, 4 ]; 
fill(a, 5); 

，我得到這個錯誤：

Error: template std.algorithm.fill(Range,Value) if (isForwardRange!(Range) && is(typeof(range.front = filler))) does not match any function template declaration

相反，我不得不這樣做是爲了讓它使用靜態陣列：

int[4] a = [ 1, 2, 3, 4 ]; 
fill(a[], 5); 

有沒有人可以解釋這種行爲？

Answer 1

對於靜態數組，因爲它們不是有效的前向範圍，所以isForwardRange是false。他們必須有有效的front,empty和popFront。

範圍必須在迭代時發生變異。 popFront刪除範圍中的第一個元素，將範圍的長度減1。靜態數組不能被突變。他們的元素可以，但他們不能。

int[5] a; 
a.length = 4; 

是非法的。因此，popFront無法使用靜態數組，因此靜態數組不能使用範圍。

front，empty，並且popFront被宣佈爲std.array陣列和front和empty將與靜態數組工作，因爲他們明確地採取動態數組（沒有範圍），以及靜態數組可以隱式轉換爲動態數組當一個函數需要一個動態數組（一個靜態數組的切片）。但是，popFront將不起作用，因爲它需要一個動態數組的ref。而且，我指出，無論popFront的實現如何，popFront都不能與靜態數組一起工作，因爲不能像範圍所需的那樣改變靜態數組。

現在至fill，它需要一個前向範圍，而不是一個數組。因此，IFTI（隱式函數模板實例化）將嘗試使用靜態數組類型（不是動態數組類型）。而且由於isForwardRange對於靜態數組是false，所以fill無法使用靜態數組進行編譯。但是，當您切片靜態數組時，您然後傳遞動態數組，其中isForwardRange是true。所以，它的工作。並且因爲切片指向相同的元素，並且fill變異了元素而不是數組，所以靜態數組中的元素被fill變異。

但是，要謹慎地將靜態數組的切片傳遞給函數。只要靜態數組存在，就沒有問題。但是一旦靜態數組離開作用域，它的任何一部分都是無效的。所以，做類似

int[] foo() 
{ 
    int[5] a = [1, 2, 3, 4, 5] 
    return find(a[], 3); 
} 

會很糟糕。對a的引用正在轉義foo--即其最後3個元素的一部分。

因此，如果您將靜態數組的切片傳遞給函數，則需要確保沒有對該數組的引用進行轉義。然而，fill應該沒問題。

Answer 2

isForwardRange檢查爲front的存在，empty性能和popfront()功能

的問題是，popfront()需要收縮數組，你（應該）知道你不能調整大小的靜態數組但一個靜態數組（本質上是一個正常的動態數組）的片可以調整（這當然不影響靜態數組）

澄清a.popfront()需要從int[4]變換到int[3]但那是不可能的