34、Solidity编程：变量类型、特殊函数、算术运算及继承机制详解

Solidity编程：变量类型、特殊函数、算术运算及继承机制详解

一、变量类型推导与循环问题

在Solidity编程中，变量类型有时可由编译器根据首次赋值推导得出。例如以下代码：

uint24 x = 0x123;
var y = x;
for(var i = 0; i < 2048; i++) {
    y += i;
} 

这里变量 y 会自动成为 uint24 类型，因为首次赋值是 uint24 类型的值。然而，此 for 循环会成为无限循环，原因在于变量 i 为 uint8 类型，其所能接受的最大值是 255，所以循环的结束条件永远不会满足。当 i 达到最大值后会溢出并从 0 重新开始，从而导致无限循环。

在过去，当类型未知时可使用 var 数据类型。但自 0.5.0 版本起， var 类型已不能再使用，这也是上述代码无法正常工作的原因。不过，在旧合约中仍可能遇到该类型。自 0.8.0 版本起，溢出和下溢会使交易回滚，因此这种无限循环会失败。即便在旧合约中，一旦达到交易的 gas 限制，无限循环也会回滚。

二、Fallback 和 Receive 函数

2.1 函数概述

Fallback 函数和 Receive 函数是 Solid