YouTube

Got a YouTube account?

New: enable viewer-created translations and captions on your YouTube channel!

Chinese, Simplified subtitles

← 02-46 自动推导,解答

Get Embed Code
4 Languages

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

  1. 答案来了。
  2. 答案就是,如果想让输入变量有正确的范围,
  3. 输出变量也正确,
  4. 我们就需要在调用平方根函数时,进行这些范围(的检测)。
  5. 本例中,x的正确范围是0到最大的整数。
  6. 如果我们以0来调用平方根,或是用最大的整数来调用,
  7. 得到的就是x >= 0,
  8. 且<= 最大的整数,
  9. 这就是正确的范围了。
  10. 同理,已知返回值总是>= 0,
  11. 并<= 最大整数的平方根。
  12. 如果我们用1来调用的话,则没有变化(1开方还是1)。
  13. 我们可以扩展下这个范围,但不会得到0。(不明白)
  14. 实际上这个并不需要。
  15. 如果我们调用的是-1,就违反了隐含的先决条件。
  16. 希望开平方函数会失败,
  17. 这样Daikon就可以推断出,如果我们调用开平方函数时,
  18. 参数是个负数的话,就会失败。所以,这两个是正确的值。