@contract注解 两个属性: value 属性包含描述调用参数和返回值之间的因果关系的 contract 子句。pure 属性适用于不更改其对象状态的方法,但只返回一个新值。该属性可以用作“忽略方法调用的结果”检查的提示,以指示在调用时应该使用方法的返回值。它是假(false)(默认情况下),也可以为真(true)。目前只学习到上面这部分