投稿
  1. 岳阳北大青鸟海纳软件学校首页
  2. 编程技巧

漫画：为什么程序员喜欢使用 0 ≤ i < 10 左闭右开形式写 for 循环？

岳阳海纳 • • 编程技巧 • 阅读 993

漫画：为什么程序员喜欢使用 0 ≤ i < 10 左闭右开形式写 for 循环？

 

漫画：为什么程序员喜欢使用 0 ≤ i < 10 左闭右开形式写 for 循环？

漫画：为什么程序员喜欢使用 0 ≤ i < 10 左闭右开形式写 for 循环？

 

漫画：为什么程序员喜欢使用 0 ≤ i < 10 左闭右开形式写 for 循环？

漫画：为什么程序员喜欢使用 0 ≤ i < 10 左闭右开形式写 for 循环？

漫画：为什么程序员喜欢使用 0 ≤ i < 10 左闭右开形式写 for 循环？

漫画：为什么程序员喜欢使用 0 ≤ i < 10 左闭右开形式写 for 循环？

漫画：为什么程序员喜欢使用 0 ≤ i < 10 左闭右开形式写 for 循环？

当我们想要写一个循环体，期望执行10次的时候，我们会使用以下方式：
for (int i=0; i<10; i++){}

可以看到，为了保证循环10次，我们定义了一个整数变量从0开始，然后循环10次，结束条件是i < 10。
其实这个本质就是使用了0 ≤ i < 10这种表达形式。
之所以很多人都这么写，有一个最主要的原因就是刚开始学编程的时候，老师都是这么教的…
漫画：为什么程序员喜欢使用 0 ≤ i < 10 左闭右开形式写 for 循环？
漫画：为什么程序员喜欢使用 0 ≤ i < 10 左闭右开形式写 for 循环？
漫画：为什么程序员喜欢使用 0 ≤ i < 10 左闭右开形式写 for 循环？
漫画：为什么程序员喜欢使用 0 ≤ i < 10 左闭右开形式写 for 循环？
关于这个问题，其实还有一位伟大的数学家曾经讨论过他的合理性。
这个人就是Dijkstra，他也是离散数学中应用广泛的最短路径算法的提出者，并且还提出了银行家算法。
他在1982年发表了一篇说明《Why numbering should start at zero》，这里面有部分内容阐述了这个观点。
他首先提出一个问题，让我们通过一个条件表达式表示 2,3,4,5,6,7,8,9,10,11,12 这11个数字，其实一般有以下四种写法：
  • a) 2 ≤ i < 13
  • b) 1 < i ≤ 12
  • c) 2 ≤ i ≤ 12
  • d) 1 < i < 13
这几种也是我们在写for循环的时候可能会用到的一些表示式，那着四种写法有没有好坏之分呢？
答案是有的。
漫画：为什么程序员喜欢使用 0 ≤ i < 10 左闭右开形式写 for 循环？
漫画：为什么程序员喜欢使用 0 ≤ i < 10 左闭右开形式写 for 循环？
漫画：为什么程序员喜欢使用 0 ≤ i < 10 左闭右开形式写 for 循环？
我们其实可以观察到，a) 和 b)有个优点，上下边界的相减得到的差，正好等于子序列的长度，即13-2 = 12-1 = 11; 这样的写法可以让我们快速知道这个表示表达式中一共包含多少个自然数。
当然，这并不是正菜，只是开胃而已…
接下来，Dijkstra分别从表达式的上下界讨论了到底使用≤还是<更合理。
首先，他论证了一下表达式的下界使用哪种形式合理。
他认为，当我们想要表达自然数2-12的时候，如果使用1 < i作为这个序列的下界的话，这个下界的起始值进入了非自然数的区域。而使用2 ≤ i，那么就可以严格的保证这个下界就是一个自然数2 。所以，他认为下界使用≤更加合理。
符合这种形式的就是a) 和 c)两种。
那么a) 和 c)还有一个区别，就是上界一个用了≤一个用了<，那该使用哪种方式更加合适呢？
Dijkstra提出，如果想要表达一个空序列，使用a) 形式可以很容易的表达，如 0<= i <0就可以表示一个空序列。
但是如果上界和下界都用<= 就无法表示了，除非用1 <= i <= 0，但是这种形式就很不合逻辑。
所以，综上，他认为a) 2 ≤ i < 13 这种表达方式更加合理一些。
也就是说，使用左闭右开的形式定义表达式合理也更加优雅！
漫画：为什么程序员喜欢使用 0 ≤ i < 10 左闭右开形式写 for 循环？
漫画：为什么程序员喜欢使用 0 ≤ i < 10 左闭右开形式写 for 循环？
漫画：为什么程序员喜欢使用 0 ≤ i < 10 左闭右开形式写 for 循环？

附：以上文章来源于漫话编程 ，作者漫话编程

原创文章，作者：岳阳海纳，如若转载，请注明出处：http://news.yy-accp.com/archives/3429

赞 (0)
岳阳海纳岳阳海纳编辑用户
0 0
上一篇 2020年7月1日 am8:48
下一篇 2020年7月4日 pm12:39

相关推荐