Seq.groupBy是否在組內保持順序？

Question

我想對一個序列進行分組，然後在組中的每個元素的第一個出現。當我嘗試這個

Seq.groupBy f inSeq 
|> Seq.map (fun (k,s) -> (k,s|>Seq.take 1|>Seq.exactlyOne)) 

我發現，有時候我得到個不同的元素。這是預期的嗎？

Answer 1

綜觀source of the groupBy implementation - 這裏的相關位：

// Build the groupings 

seq |> iter (fun v -> 
    let safeKey = keyf v 
    let mutable prev = Unchecked.defaultof<_> 
    match dict.TryGetValue (safeKey, &prev) with 
    | true -> prev.Add v 
    | false -> 
     let prev = ResizeArray() 
     dict.[safeKey] <- prev 
     prev.Add v) 

它通過源陣列迭代，並添加值的鍵對應的列表。子序列的順序直接受輸入序列的順序影響。對於相同的輸入序列，我們可以預期groupBy返回相同的輸出序列。這是測試如何編碼爲groupBy。

如果您看到結果序列的變化，請檢查輸入序列。

Answer 2

是的，這是預期的。序列（seq）不保證是pure。您可以定義一個序列，每次遍歷它們時都會產生不同的值。如果您撥打Seq.take 1兩次，您可以得到不同的結果。

考慮，作爲一個例子，這個序列：

open System 

let r = Random() 
let s = seq { yield r.Next(0, 9) } 

如果調用該Seq.take 1，你可能會得到不同的結果：

> s |> Seq.take 1;; 
val it : seq<int> = seq [4] 
> s |> Seq.take 1;; 
val it : seq<int> = seq [1] 

使用Seq.head是不會幫你要麼：

> s |> Seq.head;; 
val it : int = 2 
> s |> Seq.head;; 
val it : int = 6 

如果要保證確定性b ehaviour，請改用List。