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

Question

如何确认这是可靠的代码行成功运行。

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

Answer 1

假设它是SafeMath库函数add()，在整数过低的情况下，它包含一个assert()条件。如果claimed[msg.sender]值溢出，它将抛出一个异常，而未显示的异常将导致事务恢复。

因此，如果执行这一行的事务没有恢复(假设没有try/catch块)，则行已成功执行。