如何检查和处理违反前提条件的行为？

这真的归结为这个问题：当你说“先决条件”这个词时，你是什么意思？

你似乎使用这个词的方式是指的是“当你调用这个函数时被检查的东西”。Herb，C++标准，因此C++合约系统意味着它是“一个必须为真才能有效执行这个函数的事情，如果它不是真的，那么你做错了事情，世界就破碎了。

这种观点实际上归结为“合同”的含义。考虑 vs. 在 C++ 标准中没有前提条件协定;如果索引超出范围，则抛出。也就是说，它是接口的一部分，您可以将它传递到范围之外的值，并且它将以预期的、可预测的方式进行响应。vector::operator[]vector::at()atat

但事实并非如此。它不是该函数接口的一部分，您可以将其传递到超出范围的索引。因此，它有一个前提条件合约，即指数不会超出范围。如果向它传递超出范围的索引，则会出现未定义的行为。operator[]

所以，让我们看一些简单的例子。我将构建一个整数，然后从用户那里读取一个整数，然后使用它以三种不同的方式访问我构建的：vectorvector

int main()
{
    std::vector<int> ivec = {10, 209, 184, 96};

    int ix;
    std::cin >> ix;

    //case 1:
    try
    {
        std::cout << ivec.at(ix);
    }
    catch(const std::exception &)
    {
        std::cout << "Invalid input!\n";
    }

    //case 2:
    if(0 <= ix && ix < ivec.size())
        std::cout << ivec[ix];
    else
        std::cout << "Invalid Input!\n";

    //case 3:
    std::cout << ivec[ix];

    return 0;
}

在案例 1 中，我们看到 .在输入错误的情况下，我们会捕获异常并对其进行处理。at

在案例 2 中，我们看到 .我们检查输入是否在有效范围内，如果是，则调用 .operator[]operator[]

在案例 3 中，我们看到......我们代码中的一个错误。为什么？因为没有人对输入进行消毒。有人必须这样做，并且前提条件说这是呼叫者的工作。调用方未能审查其输入，因此表示代码已损坏。operator[]

这就是建立契约的意义：如果代码破坏了契约，那就是代码破坏了契约。

但正如我们所看到的，合约似乎是函数接口的基本部分。如果是这样，为什么接口的这一部分位于标准的文本中，而不是在人们可以看到它的函数的可见声明中？这就是合约语言特性的全部意义所在：允许用户在语言中表达这种特定的东西。

总而言之，合同是一段代码对世界状况做出的假设。如果这个假设是不正确的，那么它代表了一种不应该存在的世界状态，因此你的程序中有一个错误。这就是合约语言功能设计的基本思想。如果你的代码测试了它，它不是你假设的，你不应该使用前提条件来定义它。

如果是错误条件，则应使用首选的错误机制，而不是协定。