异常处理
Solidity使用状态恢复异常来处理错误。 这种异常将撤销对当前调用（及其所有子调用）中的状态所做的所有更改，并且还向调用者标记错误。 方法assert和require可用于检查条件，并在条件不符合时抛出异常。 assert方法只能用于测试内部错误，并检查常量。 应使用require方法来确保满足有效条件（例如输入或合约状态变量），或者验证从调用到外部合同的返回值。 如果使用得当，分析工具可以评估您的合约，以确定将达到失败assert的条件。 正确运行的代码不应该满足失败的assert语句; 如果发生这种情况，应该修复合约中的错误。
还有两种其他方式可以触发异常：revert可用于标记错误并恢复当前的call。 可以提供一个字符串消息，其中包含有关将传回给调用者的错误的详细信息。 不推荐使用关键字throw。
异常一般会由子调用向上传递。但是send和底层调用call、delegatecall、callcode除外，它们只会返回false（注意：如果被调用账户不存在，call、delegatecall和callcode返回true）。
revert 、assert 、 require的不同
首先，为了更好理解，可以将assert想象为一个过分自信的坏蛋，他们窃取你所有的gas。 然后设想require作为一种礼貌的管理者，他会调用你的错误，给你改过自新的机会。
- revert 会有返回值，会退还剩余gas，并回滚到调用前的状态。
- assert 适合测试代码。
- 字节码不同。assert 是0xfe opcode，require 是 0xfd opcode。在开发过程中，会经常遇到
invalid opcode
error，这是因为没有定义该错误对应的字节码，这是bug。
使用require：
- 校验用户输入：require(input<20);
- 校验外部合约调用返回值：require(external.send(amount));
- 最经常使用
- 在方法开头使用
使用revert：
- 适用于比require更复杂的逻辑。比如：很多的 if else 情况
使用assert：
- 校验上溢下溢：c = a+b; assert(c > b);
- 检验常量：assert(this.balance >= totalSupply);
消耗掉所有的 gas，防止或者惩罚恶意攻击
校验改动之后的结果
在方法末尾使用。确保一种可能却不发生