检查以确保可靠的代码行成功运行

【问题标题】：Check to make sure a solidity line of code ran successfully检查以确保可靠的代码行成功运行
【发布时间】：2022-01-22 17:58:34
【问题描述】：

我如何确认这行代码成功运行

claimed[msg.sender] = claimed[msg.sender].add(1); // make sure this goes first before transfer to prevent reentrancy

【问题讨论】：

【解决方案1】：

假设它是SafeMath 库函数add()，它包含一个assert() 条件以防整数下限。如果claimed[msg.sender] 值溢出，则会抛出异常，未捕获的异常会导致事务恢复。

因此，如果执行此行的事务没有恢复（假设没有 try/catch 块），则该行已成功执行。

【讨论】：