是否可以在F＃中定義列表的長度？

Question

例如，我定義了一個紀錄：

type a = {b : float; c: int list} 

，但我已經知道，這個名單必須是一個預定義的大小的，比方說2，如果列表不是2這將是一個不同類型的或錯誤因爲它沒有被定義爲這種類型。

是否可以像在其他語言中那樣定義列表的大小，您必須定義大小？ 根據應用的不同，這個問題可以應用到數組中。

Answer 1

也許你應該使用數組，而不是一個列表，因爲數組是固定長度：

// create an array of length = 2, initialized with zeros. 
let cValues : int[] = Array.create 2 0 
cValues.IsFixedSize // returns true 

編輯：正如其他人所建議的，一個元組也可能是要走的路。對於一對（長度爲2的元組），可以使用fst和snd函數訪問這些值。 對於更長的元組，可以使用如下所示的模式匹配。如果元組太長而無法使這種模式匹配方法成爲現實，那麼您可能需要一個F＃元組以外的結構。當然，要考慮的一個主要要求是您是否需要存儲混合類型的值。元組或記錄可以存儲多種類型的混合，而數組或列表存儲單個類型的值。

let fourTuple = (5, 10, 2, 3) 
let _,_,third,_ = fourTuple 
printfn "%d" third // displays "2" 

如果數組或一個元組將不能滿足你的要求，那麼也許你應該使用這樣另一個記錄：

type ListOfC = {c1 : int; c2 : int} 
type a' = {b' : float; c' : ListOfC} 

或者你可以創建一個新類，將滿足您的要求，從下面的腳本開始。當然，這可能不會被認爲是慣用的函數式編程風格。這更像是OOP。

type ListOfTwo(firstInt : int, secondInt : int) = 
    member this.First = firstInt 
    member this.Second = secondInt 

let myListOfTwo = ListOfTwo(4, 5) 
myListOfTwo.First 

type a = {b : float; c : ListOfTwo }