问题标签 [preconditions]

要使用一个虚构的示例，假设我有一个 form.submit() 方法，并且我想在提交之前验证表单。验证应该在调用代码中的方法内部还是外部？

如果我将验证放在方法中，那么我可以确保它总是被检查，而不用担心有人在不满足条件的情况下调用该方法。但是，对于阅读调用代码的人来说，验证正在发生可能并不明显，导致他们通过在调用代码中添加自己的检查来检查两次。如果他们在调用代码中看到的只是 form.submit()，他们可能没有意识到它正在执行验证，从而导致他们通过在方法调用周围添加 if 条件来在调用代码中复制它。

处理这个问题的正确方法是什么？

或者

我只是想知道是否有人知道如何在伪代码中表示前提条件，因为我环顾四周找不到任何关于该主题的内容。

谢谢

想象一个默认属性：

我想添加一个前提条件：该set值只能是正数。是否可以在不添加成员变量样板的情况下做到这一点？

Guava Preconditions allow to check method parameters in Java easily.

These check methods raise exceptions if the conditions are not met.

Go has no exceptions but indicates errors with return values. So I wonder how an idiomatic Go version of the above code would look like.

这是针对我正在学习的 Java 课程的。这本书提到了前置条件和后置条件，但没有给出如何编码它们的任何示例。它继续谈论断言，我把它记下来了，但是我正在做的任务专门说明插入先决条件并用断言测试先决条件。

任何帮助都会很棒。

我很难区分这两者。如果它们通常不重叠，它们有何不同？什么是先决条件但不是不变量的示例？

I've been searching around all day on the web but found nothing. In my web.config I set:

And

And this is preventing MyModule (hooked to PostAuthenticateRequest in this example) from being fired on static resources like images, css, js and so on. But the module is still fired by .axd files inside the page, in particular it's fired from WebResource.axd

下面提供了 gcd 方法的前置条件和后置条件。

但是，我在遵循后置条件时遇到了麻烦......对我来说，它基本上说找到任何可以被两者整除的整数。它如何获得最大除数，实际条件是什么？

我正在尝试编写前置条件和后置条件来找到集合“col”的最大值。我不确定如何递归，所以我想知道是否有人可以提供帮助！

在Andrzej 的移动构造函数文章的评论中，我发布了一个被移动的对象可以调用任何没有前置条件的成员函数。我把这个例子std::vector::front作为一个函数给出，你不能在 move-from 上调用它，std::vector因为它具有向量不为空的先决条件。我给出了std::vector::empty,std::vector::push_back和std::vector::reserveas 的示例，您可以（但不应该）在 move-from 上调用std::vector它们，因为它们没有先决条件。

然而，这让我开始思考。std::vector::push_back要求主机系统上有足够的连续内存可用。这与其说是对std::vector对象的要求，不如说是关于它正在运行的系统，但在我看来，这仍然是一个先决条件。

移动构造函数使对象处于有效但未指定状态的上下文是什么，它是否适用于潜在的内存不足情况std::vector::push_back？特别是，如果std::vector::push_back在移动之前可以工作，它是否保证在之后工作（忽略其他进程耗尽内存等问题）？

供参考：§ 17.6.3.1