当前位置: 首页 > 知识库问答 >
问题:

如何确定这道题中的最佳后置条件?

乐正光誉
2023-03-14
    null
/** Precondition: a[0]...a[n-1] is an initialized array of integers, and 0 < n <= a.length. **/
int c = 0;
for (int i = 0; i < n; i++)
  if (a[i] >= 0)
  {
    a[c] = a[i];
    c++++;
  }
n = c;
    null

共有1个答案

勾喜
2023-03-14

“如果初始列表中的元素都是负数怎么办?”果真如此,岂不是连一个负数都不能剥去?

一开始我也是这么想的,但是注意结尾n更新了:

n = c

如果只有负数,n将为零,而a[0]到a[n-1]将是一个空集,对于该空集,它不包含负数的语句为真。

 类似资料:
  • 下面是带有suppress运算符的窗口的简单定义: 所以我的问题是,suppress运算符如何检测一个事件是否是窗口的最后一个事件?让我们想象一下,我移除suppress运算符: 我知道,对于的每一个更改,都将生成两个事件: 具有值的记录,以删除上一条记录 具有新值的新记录 我要做的是移除运算符,自己检测最后一条记录: 这些信息是在DSL还是处理器API中公开的?

  • 在数学中,两个或两个以上整数的最大公约数(gcd),当其中至少有一个不是零时,是除数字而没有余数的最大正整数。例如,8和12的GCD是4。维基百科 以下方法能够确定GCD: 这种方法是如何工作的? 如果那么是可以同时进入和的最大数字。 但是为什么要再次调用相同的方法,但要切换参数,再次取模呢? 我不是在摸索部分背后的推理。 编辑: 添加一些语句以使其更清晰: stdout:

  • 我有一张表,上面的数据是从到。 我需要确定列中包含数据的最后一行(它都是连续的-数据/行中没有空隙)。 其他列中的数据行数也比列多,因此我只需要隔离列。(和/或只是列内的一个范围)。 我可以在电子表格级别使用 然而,在我对谷歌应用脚本解决方案的所有研究中,我似乎只发现需要执行包含几十行代码的多种功能——包括大量的内容...我可以通过直接从中抵消来做到这一点。 是否可能有特定于列的方法来修改此方法?

  • 问题内容: 我有一个这样的 LoginTime 表: 我想删除的最后一条记录。用户的最后一条记录可以通过识别。 如何使用一个查询执行此操作。 问题答案: 您需要按user_id(例如WHERE user_id = 1)过滤表,然后按时间(例如ORDER BY datetime)对其进行排序,然后将查询限制为一项(例如LIMIT1),然后删除此查询的结果。最后,您将获得如下查询:

  • 问题内容: 在另一个线程中,我表示我喜欢通过执行以下操作来居中GUI: 但是安德鲁·汤普森(Andrew Thompson)有不同的看法,而是打电话给 想问的人想知道为什么吗? 问题答案: 在我看来,屏幕中间的GUI看起来是这样的。我一直在等待它们消失,真正的 GUI出现! 从Java 1.5开始,我们可以使用。哪一个.. 设置此窗口是否应在下一次使该窗口可见时显示在本机窗口系统的默认位置还是当前

  • 问题内容: 因此,我正在使用net / http包。我正在获取一个我肯定知道要重定向的URL。在到达最终网址之前,它甚至可能重定向了几次。重定向在后台自动处理。 有没有一种简单的方法来确定最终的URL是什么,而没有涉及在http.Client对象上设置CheckRedirect字段的棘手的解决方法? 我想我应该提一提我想出了一种解决方法,但这有点of脚,因为它涉及使用全局变量并在自定义http.C