智能合约条件语句开发 从if到require怎么用

智能合约中的条件语句，是控制逻辑执行流程的核心工具。无论是判断用户权限、检查交易金额，还是验证输入参数，条件语句都扮演着“守门员”的角色。很多人刚接触Solidity开发时，容易在if、else、require、assert这些关键词的使用上犯迷糊，搞不清什么时候用哪个、怎么写才安全。这篇文章就结合实际开发场景，把条件语句的用法和坑点讲清楚。

条件语句在智能合约里到底用来做什么

条件语句的本质，是让合约根据不同的输入或状态，执行不同的逻辑分支。比如一个简单的众筹合约，用户捐款时，合约要判断当前时间是否在募资期内，判断用户是否已经捐过款，判断募资目标是否已经达成。这些判断，都离不开条件语句。

在Solidity里，最常见的条件语句是if-else结构。它的写法和JavaScript、C语言几乎一样，但有一个关键区别：智能合约部署上链后无法修改，条件判断一旦写错，就可能造成资金损失或逻辑漏洞。比如，if条件里漏掉了某个边界情况，或者else分支没有覆盖所有可能性，攻击者就可能利用这个漏洞发起攻击。

另一个常见的条件语句是require。它通常用在函数开头，用来校验输入参数、检查调用者权限、验证合约状态。如果require的条件不满足，交易会回滚，所有状态修改都会被撤销。这种“失败即回滚”的特性，让require成为保障合约安全的第一道防线。

require和if到底该怎么选

很多新手在写合约时，会纠结一个问题：判断条件时，到底用if还是require？其实两者的分工很明确。require适合做前置校验，比如检查地址是否为零地址、余额是否足够、调用者是否是管理员。这些校验一旦失败，交易应该直接回滚，没有继续执行的必要。

而if-else适合做逻辑分支处理。比如，根据用户输入的金额，决定给他铸造多少代币；或者根据合约的当前状态，决定执行哪个操作。if判断失败后，合约可以继续执行其他逻辑，而不是直接回滚。

举个例子：一个拍卖合约，用户出价时，合约需要判断当前出价是否高于最高出价。如果高于，就更新最高出价；如果低于，就拒绝出价并退还资金。这里，if用来做逻辑分支判断，require用来做基础校验。实际开发中，建议把require放在函数最前面，把所有能想到的异常情况都检查一遍，再用if-else处理正常逻辑。

还有一个容易被忽视的点：gas消耗。require失败时，交易会回滚，但已经消耗的gas不会退还。if判断失败后，如果后续逻辑不需要回滚，gas消耗会更低。所以，能用if的地方，尽量别用require，除非你真的想让交易回滚。