问题标签 [correctness]

上周左右我一直在阅读和学习 OOP 和 MVC，所以我想知道我是否走在正确的轨道上。

这是我目前拥有的示例：

index.php 解析从 Apache mod_rewrite (.htaccess) 传入的 URL。在这个文件中，我还首先包含了我的站点特定设置和定义的变量，然后包含了相关的控制器文件，然后是视图。

转到控制器：在这个文件中，我确保设置了 $_POST 表单，然后调用模型（类）。

现在模型（类）代码：

这是使用 MVC 和 PHP OOP 的正确方法吗？

谢谢您的意见。

您知道一个 vbs 文件如何在不执行的情况下验证另一个 vbs 文件的正确性吗？

“验证正确性”是指可以编译第二个文件而不会出错。

我正在处理一些算法分配，并被问到以下问题：在 O(n) 中对一个数组进行排序，其中元素 'r' 或 'w' 就位，因此 'r' 总是在 'w' 之前。因此，如果输入看起来像 [w,r,w,r,w,r,w,w]，则在算法运行后数组看起来像 [r,r,r,w,w,w,w,w] .

从概念上讲，这似乎很清楚。我必须使用两个边界变量来保存第一个“w”元素的位置，一个用于最后一个“r”元素。

我的代码如下所示：

现在我认为它在 O(n) 中运行，直观地说，尽管嵌套了 for 循环。这是因为，总而言之，数组只被遍历一次。因为我们使用 lastRedPosition 和 firstWhitePosition 变量来跟踪我们的位置。

然而，我发现很难更正式地激励这一点，因为相同的嵌套 for 循环......有人可以给我一些指向正确directopm的指针吗？

我已经导出并实现了一个期望值的方程。为了证明我的代码没有错误，我多次使用蒙特卡罗计算来证明它收敛到与我推导出的方程相同的值。

由于我现在有数据，我该如何可视化呢？这甚至是正确的测试吗？我可以衡量一下我对结果正确的把握程度吗？

我对 c++ 相当陌生，并且正在尝试了解自定义运算符。我目前遇到的问题与定义我自己的 += 运算符以及解决它的最佳方法有关。这涉及一个简单的类，该类具有可以添加的公共 int 成员 (intValue)。据我所知，以下两个代码示例（我一次尝试过一个）在我的程序中的操作完全相同。“完全相同”是指我得到相同的结果并创建相同数量的对象。

哪一个更正确（标准做法），为什么？

或者

而且，如果重要的话，他们打电话给接线员：

每当调用其构造函数时，该类都会打印出一条消息，因此我可以判断是否正在创建一个新对象。基于这两种形式的 += 我在这里尝试导致创建相同数量的对象。

我有一个使用 Numpy 的项目。其中一个类需要一组称为权重的矩阵。出于多种原因，最好将所有这些矩阵值存储为一个长向量，并让每个单独的矩阵成为其中一部分的视图。

如果该类的用户执行类似 的操作foo.weights[i] = bar，那么这些权重将不再是原始权重向量的视图。

Python 是否提供了一种机制，通过该机制可以在完成索引等foo.weights[i] = bar操作时定义 getter 和 setter？

我是否应该将所有这些放在 load() 正文事件中，以便在页面呈现并创建 DOM 对象后加载？（我确实发现我必须使用 .innerhtml 而不是 .value 才能工作。）如果是这样，如何...

（*我知道这是垃圾代码，但它比我上次的尝试好，比我的下一次尝试更糟糕。一旦我有时间回到这个问题，我将使用带有内部函数的文字构造函数重新创建它。我不希望在功能上进一步使用这个 Javascript。我拥有的后端 php 将处理安全和检查）

我实现了一种用于字符串排列的递归方法。但是我有一个问题：如何用归纳法证明这段代码的正确性？我真的不知道。

我现在正在学习 SQL，并且发现了一些不同的更新和设置表的方法。

对于这个例子，我想知道这样做的“最正确方法”是什么？

或者

谢谢。

我有以下情况：

如您所见，我使用了几个具有相同维度但运行在不同索引上的数组。在此代码中，以下错误可能导致ArrayIndexOutOfBoundsException, 因为mu范围大于i：

原则上，我可以捕捉到这个错误。但是，以下错误更难捕捉：

这里不会有运行时异常，因为mu与p. 但是，此错误确实会导致代码中出现语义问题。

最后，我的问题是：对这些数组进行编程的最佳方法是什么，使得数组a只能使用正确的索引（i在mu这种情况下）访问？

谢谢！