最容易令初學者混亂的F#命令
而對于F#的初學者，或是C#和F#混用的程序員來說，我認為F#中最容易令人混亂的命令是Reference Cells的取值操作了。下面便詳細談談這么說的原因，及建議的應對辦法。
F#是一門函數式編程語言，函數式編程語言的特點之一便是No Side Effect（無副作用），Immutable（不可變）。但是在很多場景下，Mutable（可變）可以給我帶來很多便利，尤其是在結合命令式編程的場景中。因此F#提供了將某個“標識符”定義為“可變”的方式，主要有兩種：使用mutable關鍵字或是Reference Cells。
在大部分情況下，我推薦（微軟也這么推薦的）使用mutable關鍵字，因為這樣標識符在使用上也已經和普通變量沒有任何區別了。與之相對，使用Reference Cell進行讀寫操作都需要一些特殊的操作/指令。不過的確有一些場景必須使用Reference Cells，您可以關注MSDN上的說明。例如，在mutable的標識符在讀取和賦值時，和普通的屬性沒有什么區別：
- let mutable a = 0
- a <- 1 // assign mutable variable
- let request = WebRequest.Create("http://www.jxzklqfsx.com")
- request.ContentType <- "text/xml" // assign property
但是對于Reference Cells來說，它的讀取和寫入就需要使用!與:=操作符了：
- let a = ref 0
- a := 1 // assign value
- printfn "%i" !a // retrieve value
這個感嘆號便是引起混亂的源泉，且看以下代碼：
- let transfer (streamIn: Stream) (streamOut: Stream) buffer =
- let hasData = ref true
- while !hasData do
- let lengthRead = streamIn.Read(buffer, 0, buffer.Length)
- if lengthRead > 0 then
- streamOut.Write(buffer, 0, lengthRead)
- else
- hasData := false
上面的代碼定義了一個transfer函數，將一個數據流中的數據全部傳輸到另一個數據流中。在這里我們使用了命令式的編程方式，并使用一個名為hasData的Ref Cell來表明是否讀完了數據。
不過，您看到while語句中的!hasData是什么感覺？至少對于我這樣混寫C#和F#的人來說，我的***反應是“嗯，取反？”，然后才是“哦，只是Ref Cells的取值操作”。對于其他一些場景下可能這點不會成為問題，但如果這個Ref Cell是個布爾值，然后又放在if或while的時候，混亂就這樣開始了。因此，我目前可能會傾向于使用這樣的方式：
- let transfer (streamIn: Stream) (streamOut: Stream) buffer =
- let hasData = ref true
- while hasData.Value do
- let lengthRead = streamIn.Read(buffer, 0, buffer.Length)
- if lengthRead > 0 then
- streamOut.Write(buffer, 0, lengthRead)
- else
- hasData := false
在F#中，一個Ref Cell其實是一個Ref<'a>類型的對象，它有一個'a類型（泛型類型）的Value屬性，可讀寫。因此，如果我們在上面的代碼中直接使用Value屬性，那么我想就不會讓任何人混亂了。當然，***的辦法可能還是寫一些immutable的代碼吧，例如：
- let rec transfer (streamIn: Stream) (streamOut: Stream) buffer =
- let lengthRead = streamIn.Read(buffer, 0, buffer.Length)
- if lengthRead > 0 then
- streamOut.Write(buffer, 0, lengthRead)
- transfer streamIn streamOut buffer
對于F#來說，這樣的（尾）遞歸和之前的實現方式可以說是完全等價的。
【編輯推薦】
