智能合约条件语句开发实战：if-else这样写才安全

智能合约的条件语句开发，是每个Solidity开发者必须掌握的核心技能。条件语句看似简单，但在区块链这种不可篡改、公开透明的环境中，任何逻辑漏洞都可能导致资产损失。我在实际开发中见过太多因为条件判断不严谨而引发的安全事件，今天就来聊聊如何正确使用if-else、require和revert这些条件控制工具。

条件语句的常见陷阱和防范

很多新手写智能合约时，习惯把条件语句写得和普通程序一样随意，这在区块链上是危险的。智能合约的条件语句直接控制资产转移和状态变更，一个小小的疏忽就可能造成灾难性后果。

比如在ERC20代币的transfer函数中，必须检查余额是否足够，这个检查看似简单，但如果写成if(balance[msg.sender] >= amount)而不加else分支，当条件不满足时，函数会静默执行完毕，用户以为转账成功了，实际上什么都没发生。正确的做法是使用require(balance[msg.sender] >= amount, "Insufficient balance")，条件不满足时直接回滚交易。

另一个常见问题是条件语句中的整数溢出。在Solidity 0.8版本之前，if(a > b)这样的判断如果a和b都是uint类型，且a是0、b是1，结果没问题。但如果是if(a - b > 0)这种写法，当a小于b时，减法会下溢成一个巨大的数，条件永远为真。使用SafeMath库或Solidity 0.8+的内置检查可以避免这类问题。

如何用require和revert写出安全的条件逻辑

在智能合约中，require和revert是实现条件判断的两种主要方式，它们各有适用场景。require适合在函数入口处做前置条件检查，比如检查调用者权限、输入参数合法性、合约状态是否正确等。使用require时，要提供明确的错误信息字符串，这样当交易失败时，调用者能快速定位问题。

revert则更灵活，可以在条件判断的任意位置使用，尤其适合在复杂的条件分支中。比如在拍卖合约中，当出价低于当前最高价时，使用revert("Bid too low")比使用require更清晰，因为可以在revert之前执行一些清理操作或记录日志。

我见过一个真实案例：某个DeFi项目的借贷合约在清算函数中，使用if-else嵌套了五层条件判断，结果在某个边界条件下，所有条件都不满足，函数直接返回了，没有触发任何revert。攻击者利用这个漏洞，构造了一笔交易绕过了清算检查，导致协议损失了数百万美元。正确的做法是使用revert兜底，确保所有未预期的条件分支都能触发交易回滚。

条件语句开发的核心原则是：宁可多写一个revert，也不要遗漏任何边界情况。在部署前，用形式化验证工具或至少做完整的单元测试，覆盖所有条件分支。记住，智能合约一旦部署就无法修改，条件语句中的每一个逻辑分支，都可能是黑客的攻击入口。