# 類型推斷(Type Deduction) 為了方便，并不總是需要明確指定一個變量的類型，編譯器會通過第一個向這個對象賦予的值的類型來進行推斷。 ``` uint24 x = 0x123; var y = x; ``` 函數的參數，包括返回參數，不可以使用`var`這種不指定類型的方式。 需要特別注意的是，由于類型推斷是根據第一個變量進行的賦值。所以代碼`for (var i = 0; i < 2000; i++) {}`將是一個無限循環，因為一個`uint8`的`i`的將小于`2000`。 ``` pragma solidity ^0.4.4; contract Test{ function a() returns (uint){ uint count = 0; for (var i = 0; i < 2000; i++) { count++; if(count >= 2100){ break; } } return count; } } ``` [http://solidity.readthedocs.io/en/develop/types.html#type-deduction](http://solidity.readthedocs.io/en/develop/types.html#type-deduction)