C#泛型集合的Boxing問題

標籤：object   變數   hat   res   init   wrap   led   理解   down   

今天檢查項目中代碼的Boxing問題的時候。有一個點當時讓我困惑了不少時間。如下:

public IEnumerator<float> Func0(){  yield return 0.1f;}public IEnumerator Func1(){  yield return 0;}

這裡在實際代碼運行過程中Func1會產生Boxing而Func0沒有產生Boxing，按照自己瀏覽的C#的文檔對Boxing的理解這裡應該都是會產生Boxing的才對。下面是C#的Boxing文檔說明的：

Boxing is the process of converting a value type to the type object or to any interface type implemented by this value type. When the CLR boxes a value type, it wraps the value inside a System.Object and stores it on the managed heap.

查看了IEnumerator

public interface IEnumerator<T> : IEnumerator, IDisposable{  T Current {get;}}

是interface類型，那麼上面的函數中yield return 0.1f中的0.1f這個float類型的變數轉換為IEnumerator

//對於Func0.class nested private auto ansi sealed beforefieldinit ‘<Func0>c__Iterator0‘    ...{    ...    // Fields    .field assembly float32 $current //current編譯成為了我們指定的float類型    .field assembly bool $disposing    .field assembly int32 $PC       ...}//對於Func1.class nested private auto ansi sealed beforefieldinit ‘<Func1>c__Iterator1‘    ...{    ...    // Fields    .field assembly object $current//current編譯成為了預設的object類型    .field assembly bool $disposing    .field assembly int32 $PC}

那麼問題就很清楚了，Func0其實每次迭代的時候接收值的變數就是float類型(對應於IL的float32類型)的所以根本不需要轉換類型。但是對於Func1函數，編譯成IL代碼儲存當前值的變數是object類型的，所以當我們Func1中傳回值為0的int類型時，這個int型的變數會被轉換成object類型而導致Boxing。

其實正確的操作是先看C#關於泛型的文檔才對。不過現在看下也不遲。其中第一段就有如下描述:

by using a generic type parameter T you can write a single class that other client code can use without incurring the cost or risk of runtime casts or boxing operations

到這兒疑問就比較明確的解決了。

C#泛型集合的Boxing問題