Chinese, Simplified subtitles

← 01ps-02 可选的提升

Get Embed Code
4 Languages

Showing Revision 2 created 06/24/2014 by Fran Ontanaya.

  1. 在你的作业中,我要求有这些变量的范围,如示。
  2. 但如果你想真正地挑战下,那就再加点难度吧。
  3. 比如,你可以记录这些类型的变量,
  4. 比如,x
  5. 或者,你可以检查集合里的模式。
  6. 比如,你记录下变量x
  7. 是2,4,16中的一个值。
  8. 那变量之间的关系--
  9. 在这个平方根函数里,y变量的值和返回值 自然永远一样。
  10. 不惊讶,因为返回的就是y,但这仍是个有趣的性质。
  11. 同样的,平方根函数的返回值
  12. 总是比要去求平方根的值小,(0-1之间的小数除外)。
  13. 你可以得到变量之间的这种关系,
  14. 只要提出一个模式,比如说 <= ,
  15. 用所有的变量来作例子,
  16. 看看在多次运行中,这个模式是否一直成立 。
  17. 这样,你就很享受构建你自己的动态不变量检查器的过程,
  18. 未来写断言也会更加轻松。本单元结束,谢谢。