突變ArraySlice會實例化一個新的數組實例嗎？從蘋果

Question

var absences = [0, 2, 0, 4, 0, 3, 1, 0] 
let midpoint = absences.count/2 

var firstHalf = absences.prefix(upTo: midpoint) 
let secondHalf = absences.suffix(from: midpoint) 

報價：

無論是firstHalf也不secondHalf片分配自己的任何新的存儲。相反，每個呈現缺席陣列的存儲視圖。

當我嘗試變異firstHalf如下所示：

firstHalf[1] = 19 

的firstHalf變化的值，但原始數組absences保持相同（firstHalf[1]等於19而absences[1]等於2） 所以在後臺發生了什麼。我是否通過改變數組切片來實例化新數組？ 在此先感謝。

Answer 1

是的，標準庫的集合類型（包括Array和ArraySlice）都具有寫入時複製行爲。這意味着他們可以將分享存儲他們的元素與其他集合，直到他們發生了變異，在這種情況下，他們將採取他們自己的副本。

在你的情況下，切片firstHalf具有視圖上被非唯一地引用（如二者absences & secondHalf也有一個視圖在其上）的基礎數組緩衝器。因此，當您去突變firstHalf時，會觸發一個副本 - 創建包含該切片元素（但不一定是整個陣列）的緩衝區的新緩衝區。

firstHalf現在有一個獨特的視圖到這個新的緩衝區，absences & secondHalf都共享一個視圖到舊的數組緩衝區。因此firstHalf現在可以改變其緩衝區的元素而不影響原始數組的元素，從而保留值語義。

Answer 2

這是Swift集合在場景後面使用的標準寫時複製行爲，在這種情況下，它不會複製集合，直到您嘗試對其進行變異。有關寫入時複製的討論，請參閱WWDC 2015視頻Building Better Apps with Value Types in Swift。

的意見in the code澄清這一點對我們來說：

/// Slices Share Indices 
/// -------------------- 
/// 
/// A collection and its slices share the same indices. An element of a 
/// collection is located under the same index in a slice as in the base 
/// collection, as long as neither the collection nor the slice has been 
/// mutated since the slice was created. 

... 

/// Slices Inherit Collection Semantics 
/// ----------------------------------- 
/// 
/// A slice inherits the value or reference semantics of its base collection. 
/// That is, when working with a slice of a mutable 
/// collection that has value semantics, such as an array, mutating the 
/// original collection triggers a copy of that collection, and does not 
/// affect the contents of the slice.