问题标签 [correctness]

我是从 C++ 来到 Java 的。在 C++ 世界中，我们关注异常安全性，并注意，面对由 mutator 本身或它委托给的方法（最小、强、无抛出）抛出的异常，mutator 可以提供不同的保证。实现具有强异常保证的方法需要保证某些基本操作永远不会抛出异常。JLS 声明哪些操作可以抛出哪些类型的异常，但VirtualMachineError错误会带来问题。关于JLS：

内部错误或资源限制阻止 Java 虚拟机实现 Java 编程语言的语义；VirtualMachineError在这种情况下，抛出一个子类的实例 。

JLS 不再提及VirtualMachineError. “内部错误”意味着 JVM 中的错误，所以我对这种情况不感兴趣：面对 JVM 中的错误，所有的赌注都没有了。但是“资源限制”案例呢？由于资源限制，是否有任何操作可以保证永远不会失败？

我一直在开发一个程序，它可以获取 www.bing.com 的内容并将其保存到一个文件中，但是在两种方法中，我尝试了一种使用套接字，另一种使用 HtmlUnit 时都没有显示 100% 正确的内容我打开文件。我知道还有其他选择，但我正在寻找一种可以保证正确获取 www.bing.com/ 内容的选择。因此，如果有人能指出实现这一目标的方法，我将不胜感激。

我试图了解我的一些前辈代码，这些代码有用地使用了 'var' 来声明所有内容。

我有一个 using 语句，如下所示：

当我在此处设置断点时，postStream 在 Autos 窗口中显示为 System.Net.ConnectStream。而不是 'var' 我想使用 'ConnectStream' 但编译器不喜欢这样。

我错过了什么，为什么我不能这样写我的代码：

我知道这是微不足道的，但我总是被教导不要使用'var'，除非你有特定的理由这样做（例如在处理 LINQ 时）。我错了吗？

一个 Dispose 方法应该做多少工作？在构造函数中，我一直采取的立场是，你应该只做实例化对象绝对必要的事情。在这种情况下，我也一直采用这样的方法，即您应该只在处置时清理开放资源。关闭文件、释放内存、处置子一次性对象等。您不应该在 Dispose 方法中执行诸如触摸文件、访问数据库等冗长的过程。

我错了吗？只要您处理任何可能的异常以使它们不会从方法中冒出来，这些操作就可以吗？我只是不认为在 Dispose 中做很多事情是一个好主意。我想知道社区的想法。

我正在尝试制作一个类似于本机日历应用程序的 UITableView：

但我正在努力学习做到这一点的最佳方法。I'm able to get this for the most part with a switch statement in the cellForRowAtIndexPath method, but I'm having troubles changing the textColor when a cell is selected.

出于某种原因，cell.isSelected 始终为“否”，并且无论如何选择了另一个单元格后，我都无法重新加载表格视图。

我应该为这么简单的东西子类 UITableViewCell 并存储一个单元格数组吗？

任何帮助将不胜感激，谢谢。

我使用了这个加权随机数生成器。

如下：

我经常在结果中看到7, 8, 9, 10。

是否有一些证据或保证这对概率论是正确的？

问题是：

这个规则有效吗？

我将如何处理这样的事情？我所能想到的就是试图找到一个错误的例子。

我一直在尝试想出它，以便 P1 && P2 的组合使 Q1 和 Q2 都为假，但我想不出任何一个。所以我倾向于这是有效的，但我不知道去哪里证明它......这门课的文字绝对是垃圾，我在网上找不到任何资源来组合正确性陈述......

我想提出一些关于计算机视觉研究的抽象问题。通过搜索网络和阅读论文，我还不能完全回答这些问题。

1. 有人如何知道计算机视觉算法是否正确？
2. 我们如何在计算机视觉的背景下定义“正确”？
3. 形式化证明对理解计算机视觉算法的正确性有影响吗？

一点背景知识：我即将开始攻读计算机科学博士学位。我喜欢设计快速并行算法并证明这些算法的正确性。我也在一些课堂项目中使用过 OpenCV，尽管我没有接受过太多计算机视觉方面的正式培训。

一位潜在的论文顾问找到了我，他致力于为计算机视觉设计更快、更具可扩展性的算法（例如快速图像分割）。我试图了解解决计算机视觉问题的常见做法。

考虑：

是否std::ref需要编写正确且可移植的代码？（没有它编译很好）

背景：

如果我删除std::ref我的代码构建良好，没有任何警告（g++-4.6 -Wall），但不能正确运行。

如果感兴趣，定义A：

我一直在对 Comb Sort 进行一些研究，并试图弄清楚该算法是否已被证明是正确的。但是，我似乎无法找到有关该算法的大量文档。不过，这是一个非常简单的算法——基本上是冒泡排序的一种变体——我猜这个证明并不复杂。有没有人知道我在哪里可以找到更多关于这方面的信息，或者关于如何从头开始证明它的想法？

对于不熟悉 Comb Sort 的人，您可以在Wikipedia 文章中找到伪代码。