1.3.3　類型推斷

在一些情況中，不需要我們顯式指定，編譯器就可以推斷出某個變量或者函數的類型。例如，如果將值42賦值給一個變量，則TypeScript可以推斷出其類型為number，所以我們不需要指定類型。如果我們想明確表達意圖，使閱讀代碼的人清晰地知道是什么類型，則可以自己指定類型，但是這并不是嚴格要求的。

類似地，如果函數在每個return語句中都返回相同類型的值，則我們不需要在函數定義中顯式地指定返回類型。編譯器能夠從代碼中推斷出返回類型，如程序清單1.17所示。

程序清單1.17　類型推斷

這與動態類型不同。動態類型在運行時檢查類型，但在這里，仍然在編譯時判斷并檢查類型，只不過我們沒有顯式提供類型而已。如果類型是模糊的，那么編譯器將給出一個錯誤，要求我們通過提供類型關鍵字來使類型變得明確。