回答情况：
提问时间：
问题标签：
2回答
我开始严重依赖haskell的类型系统来避免bug，并且正在寻找它是否也可以用来确保(弱？)代码正确性的形式。我想到的代码正确性的形式如下：
如果保证f :: a -> b为f类型的任何输入生成b类型的输出，则函数a是正确的。对于众所周知的函数头(head:: [a] -> a)来说，这显然是失败的。我知道类型系统无法保证这种形式的<
浏览 1修改于2014-03-14得票数 4
回答已采纳
在TopCoder或ACM竞赛中编写中、高难度程序的优秀程序员，在提交前必须保证算法的正确性。更新:虽然看起来是，但是在竞争环境的严格限制下，分析和保证算法的结果是不可能的</e
浏览 4修改于2013-07-11得票数 7
回答已采纳
我注意到numpy.all(np.array([]))的计算结果是True。我找不到关于这个特殊情况的任何文档。这是一种未定义的行为，还是保证对于空数组，all的计算结果为True？
浏览 1提问于2017-05-07得票数 3
在阅读了MS编程指南和几个在线教程之后，我发现可以更改readonly引用类型对象(class)的成员( const可以应用于内置类型)：
public readonly Point Origin =与C++ const正确性相比，const的C#实现似乎是语言设计中的一个巨大缺陷。我漏掉了什么？还有其他方法来保证引用类型对象的恒定正确性吗？
浏览 8提问于2014-01-10得票数 1
回答已采纳
只想重复检查: C++标准保证成员变量按照隐式复制构造函数的声明顺序复制，对吗？在下面的示例中，a是在b之前复制的，对吗？(假设A和B都有非平凡的复制构造函数，并且在复制a之前复制a对正确性非常重要。) A a;};
我感兴趣的是它是否得到了标准的保证，还是它依赖于实现？
浏览 2修改于2020-04-22得票数 1
回答已采纳
我在找一种能按姓氏找到客户的方法。但是我不能保证名字的正确性。如何配置Solr，使其即使搜索"Levenstein“也能找到人员"Levenshtein”？
浏览 1修改于2019-03-26得票数 8
对于本地作用域中的任何对象，我的默认行为是使其为const。因此，在类型系统中也反映这一点是合乎逻辑的。if (tastes_fine(cake)) {}
据我所知，并不保证cake副本将被删除(但我不确定这一点)。即使物体的生命周期已经接近尾声了。我们不能从我们承诺不改变的</e
浏览 7修改于2020-05-24得票数 14
回答已采纳
3回答
谁能列出字节码验证器必须执行的主要任务，以保证程序的正确性？在JVM规范中是否定义了标准的、最小的职责集？我还想知道验证是否跨越了其他阶段，如加载和初始化。
浏览 2修改于2017-08-15得票数 21
回答已采纳
RepeatableRead = 65536, Snapshot = 16777216,但是Serializable锁定数据，从而为并发正确性提供比Snapshot更多的保证。那么，快照价值更高的原因是什么呢？
浏览 2修改于2014-02-17得票数 1
回答已采纳
为了解决Verilog中不同时钟域引起的亚稳态问题，采用了双寄存器方法.那么，我的问题是如何用双寄存器方法保证输出的正确性呢？
谢谢。
浏览 6提问于2016-11-28得票数 3
回答已采纳
有什么好的方法来消除下面的const_cast，同时保持const的正确性？
如果没有const_cast，下面的代码就不会编译。set::find获得对集合的键类型的const引用，因此在我们的示例中，它保证不更改传入的指针值；但是，它保证不更改指针指向的内容。
浏览 5修改于2016-05-09得票数 10
回答已采纳
我需要使用c#应用程序中的一些舍入算法：
随机性和控制.NET框架是否为该算法提供了数学支持(可能有任何免费的c#库可供使用)，或者我需要自己实现这个函数？如果我实现了这些算法，我如何检查它们的正确性，以确保它们是正确的？有人有样本输入和输出数据吗？有什么免费的应用程序，我可以比较我的计算结果的样本输入吗？
浏览 3修改于2012-04-24得票数 2
我知道，我们可以通过锁定或使用一个专门的线程来保证正确性，该线程的唯一任务是通过队列与其进行读写和通信。
但是这种方法在逻辑上似乎是可以的，所以我想避免实现它们，特别是因为两者都有性能损失。
浏览 5提问于2017-03-04得票数 0
回答已采纳
我要计算当前百分比在我的多线程下载programme.But有一个奇怪的问题。第二次下载期间的lastDownloadSize必须是lastDown的写和lastDownloadSize之和。这是我的密码 synchronized (this) {
final AtomicLong totalWriteCount
浏览 4修改于2018-06-01得票数 1
回答已采纳
我试着找出我的问题的答案，但我找不到。也许我不知道该怎么问。2 | LINE 3-2 | LINE 3-2 | LINE 3-2 | LINE 3-2 | LINE 3-2 | LINE 3-2 | LINE 3-2 <元素的末尾？如果我将li更改为display: inline-block，那么颜色将到达末尾，但较短的l
浏览 2修改于2018-11-27得票数 2
困难的部分是当有人想要改变客户的组时。对我来说，更改该客户所有订单和账单的groupId是唯一的解决方案吗？
如果更新数量超过500次怎么办--我面临的风险是我不能批量更新，所以我不能保证正确性。对于在sql中只需要将orders/bills表与customers表连接的这种用例，推荐的模式是什么？
浏览 0提问于2021-04-24得票数 0
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号