C#具有隱式類型聲明描述
本文向大家介紹C#具有隱式類型聲明，可能好多人還不知道隱式類型聲明，沒(méi)有關(guān)系，看完本文你肯定有不少收獲，希望本文能教會(huì)你更多東西。
C#具有隱式類型聲明
在一個(gè)帶有初始化器的聲明語(yǔ)句中，待聲明的變量的類型是顯而易見(jiàn)的——和初始化表達(dá)式的結(jié)果類型一致。對(duì)于這種情況，在C# 3.0中可以使用新增的關(guān)鍵字var來(lái)代替聲明中的類型，而由編譯器根據(jù)初始化表達(dá)式來(lái)推斷出變量的類型。
- var i = 5; // int
- var d = 9.0; // double
- var s = "Hello"; // string
- var a = new int[] { 1, 2, 3, 4, 5 }; // int[]
- Console.WriteLine("Type of variable <i>: {0}", i.GetType());
- Console.WriteLine("Type of variable <d>: {0}", d.GetType());
- Console.WriteLine("Type of variable <s>: {0}", s.GetType());
- Console.WriteLine("Type of variable <a>: {0}", a.GetType());
上面的代碼在C# 3.0中是符合語(yǔ)法規(guī)則的，前四行代碼就是使用了隱式類型的聲明；而后四行代碼用于在運(yùn)行時(shí)驗(yàn)證各個(gè)變量是否擁有正確的類型。如果在Visual Studio 2005中運(yùn)行這段代碼（為了能夠看到結(jié)果，請(qǐng)使用Ctrl+F5來(lái)編譯并啟動(dòng)程序），會(huì)得到下面的結(jié)果：
- Type of variable <i>: System.Int32
- Type of variable <d>: System.Double
- Type of variable <s>: System.String
- Type of variable <a>: System.Int32[]
這表明，編譯器在編譯的時(shí)候，已經(jīng)正確地推斷了每個(gè)變量的類型，并將其嵌入到了程序集的元數(shù)據(jù)中。
這里有兩個(gè)限制，一是C#具有隱式類型聲明只能作用在局部變量上，二是這種聲明必須有初始化器（即等號(hào)和后面的表達(dá)式）。如果我們企圖在一個(gè)類中聲明一個(gè)具有隱式類型的域，就會(huì)出現(xiàn)一個(gè)編譯錯(cuò)誤：Invalid token ’var’ in class, struct, or interface member declaration；而如果聲明中沒(méi)有出現(xiàn)初始化器，則會(huì)導(dǎo)致另外一個(gè)編譯錯(cuò)誤：’=’ expected。
除了局部變量外，作用域?yàn)橐粋€(gè)塊的數(shù)組也可以運(yùn)用C#具有隱式類型聲明，例如：
- var ia = new [] { 1, 2, 3, 4, 5 }; // int[]
- var da = new [] { 1.1, 2, 3, 4, 5 }; // double[]
- var sa = new [] { "Hello", "World" }; // string[]
- Console.WriteLine("Type of array <ia>: {0}", ia.GetType());
- Console.WriteLine("Type of array <da>: {0}", da.GetType());
- Console.WriteLine("Type of array <sa>: {0}", sa.GetType());
在上面例子的數(shù)組聲明中，在運(yùn)算符new和表示數(shù)組聲明的一對(duì)方括號(hào)之間省略了類型名字，但這在C# 3.0中仍然是符合語(yǔ)法規(guī)則的。編譯器會(huì)通過(guò)成員列表中的值的類型來(lái)推斷數(shù)組的類型。編譯并運(yùn)行上面的例子，會(huì)得到如下的輸出：
- Type of array <ia>: System.Int32[]
- Type of array <da>: System.Double[]
- Type of array <sa>: System.String[]
除了和具有隱式類型的局部變量具有相同的約束外，具有隱式類型的數(shù)組還有必須尊從這樣一個(gè)規(guī)則，即成員列表中的所有值必須是兼容的。也就是說(shuō)，成員列表中必須存在這樣一個(gè)值，使得其他值可以隱式地轉(zhuǎn)換為該值的類型。因此，下面的聲明是不符合語(yǔ)法規(guī)則的：
- var aa = new [] { 1, "Hello", 2.0, "World" };
如果試圖編譯上面的代碼，會(huì)得到一個(gè)編譯錯(cuò)誤：No array type can be inferred from the initializers。這是因?yàn)榫幾g器無(wú)法根據(jù)成員列表中的值來(lái)推斷數(shù)組的類型。
實(shí)際上，盡管C#具有隱式類型聲明使得傳統(tǒng)聲明的編寫(xiě)方法更加便利，然而引入這種聲明方式的真正目的并不在于此，而是為了使局部變量和數(shù)組能夠訪問(wèn)這樣一個(gè)新的語(yǔ)言構(gòu)造：匿名類型。
【編輯推薦】
