而對于F#的初學者，或是C#和F#混用的程序員來說，我認為F#中最容易令人混亂的命令是Reference Cells的取值操作了。下面便詳細談談這么說的原因，及建議的應對辦法。

F#是一門函數(shù)式編程語言，函數(shù)式編程語言的特點之一便是No Side Effect（無副作用），Immutable（不可變）。但是在很多場景下，Mutable（可變）可以給我?guī)砗芏啾憷绕涫窃诮Y合命令式編程的場景中。因此F#提供了將某個“標識符”定義為“可變”的方式，主要有兩種：使用mutable關鍵字或是Reference Cells。

在大部分情況下，我推薦（微軟也這么推薦的）使用mutable關鍵字，因為這樣標識符在使用上也已經(jīng)和普通變量沒有任何區(qū)別了。與之相對，使用Reference Cell進行讀寫操作都需要一些特殊的操作/指令。不過的確有一些場景必須使用Reference Cells，您可以關注MSDN上的說明。例如，在mutable的標識符在讀取和賦值時，和普通的屬性沒有什么區(qū)別：

let mutable a = 0 
a <- 1 // assign mutable variable  
let request = WebRequest.Create("http://www.scjtxx.cn")  
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函數(shù)，將一個數(shù)據(jù)流中的數(shù)據(jù)全部傳輸?shù)搅硪粋€數(shù)據(jù)流中。在這里我們使用了命令式的編程方式，并使用一個名為hasData的Ref Cell來表明是否讀完了數(shù)據(jù)。

不過，您看到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#來說，這樣的（尾）遞歸和之前的實現(xiàn)方式可以說是完全等價的。

【編輯推薦】

1. F#中的異步及并行模式：反饋進度的事件
2. F#中的異步及并行模式：代理的高級使用
3. F#簡明教程三：F#語法精要
4. F#簡明教程二：F#類型系統(tǒng)和類型推斷機制
5. 詳細介紹Visual Studio 2010F#使用