C 中var myInt new 20, 4, 16, 9, 2 是對什麼的表示？

1樓：

是一種基於成員型別的隱式推導，是乙個語法糖，是一種編譯器行為，對實際執行沒有影響。打個比方：

生成的中間碼是

可以看到都是在

newarr [mscorlib]System.Int32而這個推導依賴內部的成員型別可以推導出來，打個比方這樣就不行

2樓：AlseinX

C#的初始化器不僅僅適用於陣列，因此無法僅僅通過就推定它是陣列型別。

所謂的型別推定，有兩種情況：明確左值推定右值，和明確右值推定左值。

比如，var定義變數，是明確右值型別推定左值型別的情況。

var a = "aaa";

這裡"aaa"是明確的string，因此變數a的型別被推定為string，這裡就相當於是

string a = "aaa";

但是，C#中有些表示式是具有不明確的型別語義的，需要依賴左值來推定右值的具體型別，這種情況就不能用var來指定推定型別，最簡單的就是通過來建立陣列的情況。僅當用陣列型別定義變數時，才隱式具有建立陣列的含義。此時var和都是不明確的型別，因此無法推定a的實際型別，編譯錯誤。

有兩種可能的寫法：

var a = new ;

第二種：

int a = ;

其中第一種是從右值推導左值的型別的情況，new語法的含義是通過給出元素的型別推定陣列的型別。此時因為給出的元素型別為int，因此new相當於new int。因為明確了右值的型別是int，所以var a可以推定為int a。

第二種是從左值推導右值的情況，因為int a明確了定義變數a的左值型別為int，所以右邊可以使用隱式陣列初始化的語法（不推薦），將右表示式推定為new int