如何处理坚固的错误？ （需要，恢复，断言）

了解牢固处理错误

Solidity是以太坊智能合约的主要编程语言，为错误处理提供了多种机制。这些机制对于确保在发生意外或无效的情况时可以预测，安全地行事至关重要。 require ， revert和assert可用于实体性错误处理的主要工具。这些功能中的每一个都具有不同的目的，应根据情况适当使用。

使用require输入验证

require函数主要用于在执行函数的核心逻辑之前验证输入和条件。如果提供的条件require评估为false ，则将恢复交易，并且对状态进行的任何更改都会回滚。此外， require允许开发人员提供自定义错误消息。

例子：

 function transfer(address to, uint amount) public { require(amount > 0, 'Amount must be greater than zero'); require(balance[msg.sender] >= amount, 'Insufficient balance'); balance[msg.sender] -= amount; balance[to] += amount;

}

在此示例中， require确保发件人具有足够的余额，并且要转移的金额是有效的。如果两种条件失败，则交易将带有明确的错误消息恢复。

采用自定义错误条件的revert

通过允许开发人员在函数内的任何时刻恢复执行， revert功能的灵活性比require更大的灵活性。当处理复杂的逻辑或多种条件时，单个require语句可能无法轻易处理，这一点特别有用。

例子：

 function withdraw(uint amount) public { if (amount > balance[msg.sender]) { revert('Insufficient funds for withdrawal'); } if (block.timestamp < lockTime[msg.sender]) { revert('Funds are locked until a later time'); } balance[msg.sender] -= amount; payable(msg.sender).transfer(amount);

}

在这种情况下，还使用revert处理两个不同的条件，这些条件可以防止退出。每个条件分别评估，并在情况失败时返回一条特定的消息。

利用assert进行内部错误检测

assert功能旨在检查不变性和在正常情况下永远不会发生的内部错误。与require和revert不同，使用assert会消耗触发时交易中提供的所有气体。因此，应该保留在怀疑关键错误的情况下。

例子：

 function calculateSum(uint a, uint b) internal pure returns (uint) { uint sum = a + b; assert(sum >= a); return sum;

}

在此功能中， assert确保加法操作不会导致底流或溢出。如果发生这样的异常，则交易会恢复，表明代码中有潜在的错误。

require ， revert和assert之间的差异

了解require ， revert和assert之间的区别对于有效地处理坚固的错误至关重要：

• 气体消耗： require和revert仅消耗气体到错误点，而assert会消耗所有提供的气体。
• 用例：最适require输入验证， revert自定义条件，并assert内部逻辑检查。
• 错误消息： require和revert允许自定义错误消息； assert没有提供一种返回旧版本的固体（0.8.0之前）中的自定义消息的方法。

选择适当的错误处理方法可确保您的智能合约既安全又有效。

坚固的自定义错误

从实体0.8.0开始，开发人员可以定义自定义错误类型，这些类型比基于字符串的错误消息更具气体和可读性。自定义错误是使用error关键字定义的，可以与revert结合使用。

例子：

 error InsufficientBalance(uint requested, uint available); error FundsLocked(uint releaseTime, uint currentTime);函数提取（UINT金额）public {






if (amount > balance[msg.sender]) { revert InsufficientBalance(amount, balance[msg.sender]); } if (block.timestamp < lockTime[msg.sender]) { revert FundsLocked(lockTime[msg.sender], block.timestamp); } balance[msg.sender] -= amount; payable(msg.sender).transfer(amount);
 }

通过使用自定义错误，开发人员可以提供结构化的错误信息，这些信息既易于理解，既易于理解又有效。

常见问题

问：我可以使用assert进行输入验证吗？答：不， assert不应用于输入验证。它是为内部检查而设计的，仅应用于检测无法到达的代码或关键错误。

问：与字符串消息相比，自定义错误如何保存气体？答：自定义错误被编码为四字节选择器，类似于功能签名，它们比完整的字符串消息短得多。当触发错误时，这会导致气体成本较低。

问：如果我不处理合同中的错误会发生什么？答：如果错误无法正确处理，则无效或意外情况可能会导致状态变化，资金损失或攻击者可能利用的漏洞。

问：我可以在相同的功能中结合require并revert吗？答：是的， require和revert可以在相同的功能中一起使用。 require用于简单条件检查，而revert用于更复杂或以后的有条件恢复。