|
|
1
6
您希望循环条件与所需的post条件完全相反。
您可以很容易地看到,循环post条件与循环终止条件完全匹配。没有秘密。 此外,您可以从初始条件和主体证明它将达到100,而不会“以某种方式”神奇地跳过一个值。
如果你使用 Weakest Precondition techniques 为了从post条件导出循环,循环条件将是如上所示的简单匹配条件。
这个
|
|
|
2
6
如果我希望循环在x为 确切地
这在计数器控制的循环中更常见。 编辑:再想一想,我总是在计数器控制的循环中使用语法,所以这个例子应该是
|
|
3
6
使用
|
|
|
4
5
顺便说一句,你可能想试试
|
|
|
5
4
使用“!=”over“<”的主要优点是,有些东西会失败,它应该失败 大的 .
例如,如果某个bug导致x进入设置为110的循环,那么
|
|
|
6
3
我不认为<一定比!=为您提供更多的保护。如果你有一个案例
这样,当循环超出边界时,您的程序就会立即死亡(过早崩溃,频繁崩溃),并且您知道您的代码是一团糟的。 |
|
|
7
2
我怀疑这可能与C++迭代器有关。
如果使用整数或指针,
例如,在运行列表时,C++方式将是:
|
|
|
8
1
我相信它们在语义上是相同的,唯一的区别在于!=超过100的数字显然也会满足以下条件,即<将阻止任何大于100的数字通过。 但是,在给定的情况下,两个运算符将产生相同的输出。现在,如果x和y变量在该代码之外以某种方式起作用,“<”将是一种更好的方法,可以确保在100处有一个截止点,即使输入值为90,并且如果输入值为4000,则根本无法继续。显然,你当时所做的事情的意图决定了你选择了哪一个操作符,通常有几种方法来实现相同的结果,但并不总是一种“正确”的方法。 |
|
|
9
0
对它们在语义上是相同的。 使用“<”运算符的第二种语法是人们在本例中通常使用的语法,看起来更直观(因为变量的值在循环中递增)。 |
|
|
10
-1
最好使用小于<消息灵通的代码中的错误可能会导致计数器增加两次。这意味着循环将突然变成一个无限循环(或者直到你吹MAXINT)。 |
|
|
user29759326 · 如何返回递归函数中的最后一个值? 1 年前 |
|
|
malife89 · 将java中的字符串读取为正确的日期格式 1 年前 |
|
|
Tim · 在java中,有没有更快的方法将字节数组写入文件? 1 年前 |
|
|
rudraraj · java中未声明最终变量 1 年前 |
|
|
Bala Ji · 以下BFS的实施效率如何? 1 年前 |