20.1 隱式類型
在C#3.0中增加了一個變量聲明var，這個聲明和JavaScript 的var類似，但 也有不同。相同之處是它可以用var來聲明任何類型的局部變量；而不同之處在 於它僅僅負責告訴編譯器，該變量需要根據初始化表達式來推斷變量的類型，而 且只能是局部變量。
20.1.1 隱式類型局部變量的聲明與使用
在C# 3.0中，引進了一個新的關鍵字叫做var。var允許你聲明一個新變量， 它的類型是從用來初始化器變量的表達式裡隱式的推斷出來的，即在聲明時，你 不需要給它定義類型，它會根據它的初始化器表達式來推斷出它的類型。因此， 我們稱它為隱式類型。如你可以這樣來聲明變量：
var i = 10; //聲明一個局部變量。
這一行使用了10來初始化變量i。注意這裡i被強類型到整型，它不是一個對 象或者VB6的變量，也不帶有其他對象或者變量的負載。
為了保證使用var關鍵字進行聲明的變量的強類型特性，C#3.0要求你必須對 變量賦初值（初始化），並且放到的同一行。同樣，初始化值必須是一個表達式 ，不能是一個對象或者collection初始化器，也不能為null 。如果多個聲明符 對同一個變量存在，那麼它們必須在編譯時被看作為相同類型。
如下面的聲明都是合法的：
var i = 5;
var s = "Hello";
var a = new[] { 0, 1, 2 };
var expr =
from c in customers
where c.City == "London"
select c;
var anon = new { Name = "Terry", Age = 34 };
var list = new List<int>();
最後我們需要了解的一點是，var 關鍵字並不意味著“變體”，也不表示 該變量是松散類型化變量或後期綁定變量。它只是表示由編譯器確定和分配最適 當的類型。
20.1.2 隱式類型數組
到現在，我們一直都在數組聲明的開始處顯式指定數組類型。然而，在C# 3.0中，和其他局部變量一樣，數組也可以是隱式類型的。也就是說，當初始化 數組時，我們可以讓編譯器根據初始化器的類型來推斷數組類型。只要所有初始 化器能隱式轉換為單個類型，就可以這麼做。
和隱式類型的局部變量一樣，使用var關鍵字來替代數組類型。有了這個特性 ，將使我們創建數組的工作變得簡單。我們可以直接使用"new[]"關鍵字來聲明 數組，後面跟上數組的初始值列表。在這裡，我們並不需要直接指定數組的類型 ，數組的類型是由初始化列表推斷出來的。
如下的聲明都是合法的：
class Program
{
static void Main()
{
// int[]
var a = new[] { 1, 10, 100, 1000 };
// string[]
var b = new[] { "hello", null , "world" };
// int型交錯數組
var c = new[]
{
new[]{1,2,3,4},
new[]{5,6,7,8}
};
// string型交錯數組
var d = new[]
{
new[]{"Luca", "Mads", "Luke", "Dinesh"},
new[]{"Karen", "Suma", "Frances"}
};
}
}
20.1.3 隱式類型局部變量的使用限制
當然，隱式類型局部變量不是在什麼時候都可以用的，在C#3.0中，var 關鍵 字只能夠用在如下幾個方面：
l 聲明局部變量。如：
class Program
{
static void Main(string[] args)
{
var i = 10; //聲明局部變量。
}
}
l 在for初始化語句中。如：
for(var i = 1; i < 10; i++)
l 在foreach初始化語句中。如：
foreach(var i in list)
{
}
l 在using語句中。如：
using (var file = new StreamReader("C:""myfile.txt"))
{
}
20.1.4 隱式類型局部變量的使用注意事項
我們在使用隱式類型局部變量時，必須注意如下幾點：
l 在聲明時必須同時賦值，因為聲明依賴於賦值號右邊的表達式，如果有下 面的語句：
var i;
i = 10;
如果我們將它這樣來定義，那麼編譯器就會報錯：隱式類型的局部變量必須 已初始化。因此，我們必須這樣來聲明它：
var i= 10;
l 在使用var聲明一個局部變量後，它仍然具有強類型。來看下面的代碼：
var i = 10;
i = "abc";
如下面的代碼，編譯器會報錯：無法將類型string隱式轉換為int。為什麼呢 ？因為在第一句var i = 10中，我們已經把這個變量聲明為一個int，當給它再 賦一個字符串的時候，由於強類型原因，所以報錯。但我可以這樣來定義它：
var i = 10;
i = 100;
或者
var i = "abc";
i = "abcdefg";
l 初始化器表達式的編譯期類型不可以是空(null )類型，編譯器無法根據 null來推斷出局部變量的類型，如有下面的語句：
var i = null ;
編譯上面的代碼，編譯器會報這樣的錯誤：無法將<null >賦予隱式 類型的局部變量。
l 初始化語句必須是一個表達式，初始化表達式不能包含它自身，但是可以 是包含一個對象或集合初始化器的一個new表達式（即匿名類型）。因此，我們 可以這樣去聲明：
var h = new Hashtable();
l var的聲明僅限於局部變量，但也可以包含在foreach、for、using語句中 。如下面的使用是錯誤的：
class Program
{
private var i = 10; //全局私有變量。
static void Main(string[] args)
{
}
}
編譯會報錯：上下文關鍵字“var”只能出現在局部變量聲明中。
