solidity学习笔记(11)—— 错误处理和前置判断:require()、assert()和revert()

本文介绍了Solidity中的错误处理机制,包括require()、assert()和revert()的用法和区别。require()和revert()在不满足条件时回滚状态并可以选择返还gas,require()适合于前端验证和状态检查,revert()适用于更通用的错误处理。assert()用于内部错误检查,消耗所有gas。文章还提到了在不同场景下如何选择使用这三种错误处理方式。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

合约中有一些功能,只能被授权为 拥有者 的地址才能调用。

传统的处理方式如下:

Solidity 0.4.10之前(以及其后一段时间),这种强制授权处理方式很普遍:
contract HasAnOwner {
    address owner;
    function useSuperPowers(){ 
        if (msg.sender != owner) { throw; }
        // do something only the owner should be allowed to do
    }
}

如果 useSuperPowers() 函数被其它非拥有者调用,此函数将抛出“返回无效操作代码错误”,回滚所有状态改变,而且消耗掉剩下的gas。

然而,solidity 提供了更加聪明的办法。

Solidity ^0.4.24
contract HasAnOwner {
    address owner;
    require(msg.sender == owner);
    ...
}

错误处理: Assert, Require, Revert 

assert(bool condition):如果条件不满足,则抛出,消耗掉剩余的gas - 用于内部错误。 
require(bool condition)如果条件不满足,则抛出,返回剩余的gas - 用于输入或外部组件中的错误。 
revert()中止执行并恢复状态更改,返回gas

### Solidity 错误处理方法 #### 使用 `require` 函数 `require` 是一种常用的错误处理机制,主要用于验证输入条件。如果条件不满足,则会触发异常并回滚状态更改。此函数允许传递一条可选的消息作为参数,以便更清晰地描述失败原因。 ```solidity function withdraw(uint amount) public { require(amount <= address(this).balance, "Insufficient funds"); } ``` [^3] #### 应用 `assert` 断言 `assert` 用来检测内部错误或逻辑上的不可能情况。当断言失败时,意味着存在严重的程序缺陷,因此不会返回任何消息给调用者,并消耗所有剩余的 gas。通常只应在绝对确定的情况下使用 `assert`。 ```solidity uint storedData; function set(uint x) public { assert(x != 0); // This should never happen. storedData = x; } ``` #### 定义自定义错误类型 从版本 ^0.8.4 开始,Solidity 支持通过关键字 `error` 创建自定义错误对象。这种方式可以减少 gas 成本,因为相比于字符串信息而言,结构化数据更加紧凑。 ```solidity // SPDX-License-Identifier: MIT pragma solidity >=0.8.4; contract VendingMachine { error InsufficientFunds(); function buySnack() external payable { if (msg.value < snackPrice){ revert InsufficientFunds(); } // ... } } ``` --- ### 最佳实践建议 为了确保智能合约的安全性可靠性,在编写代码期间应当遵循以下几点: - **优先选用 `require` 进行前置条件检查**:对于预期可能发生的外部因素引起的异常状况,应该采用 `require` 来捕获这些问题。 - **谨慎运用 `assert` 处理不可预见的情况**:仅限于那些理论上不应该发生的情形下才考虑使用 `assert`,并且要充分测试以确认其合理性。 - **尽可能利用自定义错误节省gas费用**:相较于传统的带有说明文字的方式来说,新的基于类型的错误表达形式能够有效降低交易成本。 - **保持良好的文档记录习惯**:无论是选择哪种方式进行错误报告,都应该附带足够的上下文信息帮助后续维护人员快速定位问题所在。 [^2]
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值