correctness相关内容

什么是最好的练习或Java代码的形式(示例)

我目前正在做CS50。而且我觉得有点迷失了,我不知道做事情或写正确代码的最好方法。 我觉得在C和Python语言中,做事情的线条更清晰。(不要重复代码,使其清晰等)在Java脚本中,我们可以用很多方法来做事情,我不知道哪种方法是正确的。 例如,我花了几天时间处理琐事,这个问题要求我们制作按钮,如果按钮的答案不正确,则会变成红色,如果答案正确,则会变成绿色。我知道,将所有的Java脚本放在一个 ..
发布时间:2022-08-22 16:30:05 前端开发

带返回的 switch 语句——代码正确性

假设我的 C 代码具有大致这种结构: 开关(东西){案例0:返回“废话";休息;情况1:案例4:返回“富";休息;案例2:案例3:返回“酒吧";休息;默认:返回“foobar";休息;} 现在显然,break 并不是代码正确运行所必需的,但如果我不把它们放在那里,这似乎是一种不好的做法. 你怎么看?删除它们可以吗?或者您会保留它们以提高“正确性"吗? 解决方案 删除 break ..
发布时间:2022-01-19 10:37:50 其他开发

不抛出 VirtualMachineError 保证

我是从 C++ 来到 Java 的.在 C++ 世界中,我们关注异常安全性,并注意到,面对由 mutator 本身或它委托给的方法抛出的异常(最小、强、无抛出),mutator 可以提供不同的保证.实现具有强异常保证的方法需要保证某些基本操作永远不会抛出异常.JLS 声明哪些操作可以抛出哪些类型的异常,但是 VirtualMachineError 错误会带来问题.JLS: 内部错误或资源限制 ..
发布时间:2022-01-08 11:48:25 Java开发

哪个编译器是对的?需要模板化返回类型之前的“模板"?

此代码段(摘自 this question) 用 g++ 编译得很好(如所见),只要返回类型之前的 template 就在那里.相比之下,VC10 不会编译该代码并出现以下错误: 错误 C2244:'A::getAttr':无法将函数定义与现有声明相匹配 如果我删除 template,VC10 很高兴,但 g++ 会发出这个错误: 错误:用作模板的非模板“AttributeTyp ..
发布时间:2021-12-22 18:50:06 C/C++开发

无抛出 VirtualMachineError 保证

我是从 C++ 到 Java 的.在 C++ 世界中,我们关注异常安全,并注意到在面对由 mutator 本身或它委托给的方法抛出的异常(minimum、strong、no-throw)时,mutator 可以提供不同的保证.实现具有强异常保证的方法需要保证一些基本操作永远不会抛出异常.JLS 声明哪些操作可以抛出哪些类型的异常,但是 VirtualMachineError 错误提出了一个问题.引 ..
发布时间:2021-11-25 20:11:27 Java开发

安全地添加整数,并证明安全性

编程课程作业要求 编写一个将两个整数相加的(安全)函数,并且 表明该函数是安全的. 以下代码代表我的解决方案.我不是 C 标准(或形式验证方法)方面的专家.所以我想问一下:是否有更好(或不同)的解决方案? 谢谢 #include /*尝试添加整数 op1 和 op2.返回0(成功)或1(防止溢出).如果成功,将总和写入 res.*/int safe_int_add(int * ..
发布时间:2021-09-17 19:23:15 C/C++开发

最小掉期数对数组进行排序的正确性

问题来自这里: https:// www。 geeksforgeeks.org/minimum-number-swaps-required-sort-array/ 我将在下面重复: 给定一个数组n 示例: 输入:{ 4,3,2,1} 输出:2 说明:将索引3与1和1与2与 交换,形成排序后的数组{1,2,3,4}。 / p> 输入:{1、5、4、3、2} 输出:2 ..
发布时间:2020-06-03 20:54:44 其他开发

拦截WSGI start_response的适当方法是什么?

我有WSGI中间件,该中间件需要捕获中间件内层通过调用start_response返回的HTTP状态(例如200 OK).目前,我正在执行以下操作,但是滥用列表似乎并不是我的“正确"解决方案: class TransactionalMiddlewareInterface(object): def __init__(self, application, **config): ..
发布时间:2020-05-09 21:02:40 Python

算法的正确性和逻辑性:最少步长为一

问题陈述: 对于正整数,您可以执行以下3个步骤之一. 从中减去1. (n = n-1) 如果将其除以2,再除以2.(如果n%2 == 0,则n = n/2) 如果将其除以3,则除以3.(如果n%3 == 0,则n = n/3) 给出一个正整数n,您的任务是找到将n减为1的最小步数. 当N被3整除时,我的递归解决方案(在C ++中)比较了所有3种情况,而常规解决方 ..
发布时间:2020-05-03 08:57:39 C/C++开发

计算数字的尾随零是由因子计算的

我正在尝试计算由阶乘产生的数字的尾随零(意味着数字变得非常大)。下面的代码取一个数字,计算数字的阶乘,并计算尾随零。但是,当数字大约为25!时,numZeros不起作用。 public static void main(String [ ] args){ BufferedReader br = new BufferedReader(new InputStreamReader(System ..
发布时间:2018-11-29 18:56:41 Java开发

无抛出VirtualMachineError保证

我从C ++开始使用Java。在C ++世界中,我们注意异常安全,并注意,mutator可以在mutator本身抛出的异常或它委托给它的方法(最小,强,无抛出)时提供不同的保证。实现具有强大异常保证的方法需要保证一些基本操作永远不会抛出异常。 JLS声明哪些操作可以抛出哪种异常,但 VirtualMachineError 错误会出现问题。请参阅 JLS : 内部错误或资源限制阻止Java虚拟 ..
发布时间:2018-11-26 21:17:30 Java开发

Java如何处理整数下溢和溢出以及如何检查它?

Java如何处理整数下溢和溢出? 从那开始,你会如何检查/测试这种情况发生? 解决方案 如果它溢出,它会回到最小值并从那里继续。如果它下溢,则返回最大值并继续从那里开始。 您可以事先检查如下: public static boolean willAdditionOverflow(int left,int right){ if(right ..
发布时间:2018-08-06 20:15:16 Java开发

在Haskell / Idris中打开类型级别证明

在Idris / Haskell中,可以通过注释类型和使用GADT构造函数来证明数据的属性,例如使用Vect,但是,这需要将属性硬编码为类型(例如,Vect必须是与列表)。 是否有可能拥有一组开放属性的类型(例如带有长度和平均运行时间的列表),例如通过重载构造函数或使用效果函数中的某些东西? $ b $我相信麦克布莱德已经在他的装饰纸(pdf)。你正在寻找的概念是一个代数装饰(重点是我的): ..
发布时间:2018-06-04 16:00:44 其他开发

哪个编译器是正确的? 'template'before模板返回类型需要?

此代码段(摘自这个问题)使用g ++(如所示)编译良好,所以只要模板在返回类型之前。相反,VC10不会编译该代码,并出现以下错误: 错误C2244:'A :: getAttr':无法匹配函数定义到现有的声明 如果我删除模板但是g ++尖叫这个错误: 错误:非模板'AttributeType'用作模板 注意: A :: template AttributeType'来表示它是 ..
发布时间:2016-10-14 10:33:26 C/C++开发

如何使用System.Net.ConnectStream?

我试图让我周围的一些我的前辈代码谁,有益,采用“无功”申报一切头。 我有一个使用声明,是如下: 使用(VAR postStream = request.GetRequestStream()) { postStream.Write (byteData,0,byteData.Length); } 当我把这里断点,postStream显示了在汽车窗口系统.Net.Co ..
发布时间:2016-09-21 14:21:48 C#/.NET