Ensures() - 指南支持库

Question

我想了解如何在代码中使用Ensures()。如example 中给出的，如果我尝试使用Ensures() 如下...

int main(void)
{
    int result = 0;
    // Some calculation
    Ensures(result == 255);
    return 0;
}

如果result 变量不等于255，程序将崩溃并显示以下输出"terminate called without an active exception"。我的问题是如何正确使用Ensures()？

Answer 1

您使用的是Microsoft GSL implementation 吗？然后，如果您检查the gsl_assert.h header file，您将看到如果定义了GSL_TERMINATE_ON_CONTRACT_VIOLATION（这是默认值），那么Ensures 将调用std::terminate，这会给您带来您得到的错误。

如果您希望抛出异常（带有文件和行号信息），那么您需要在包含 GSL 之前定义 GSL_THROW_ON_CONTRACT_VIOLATION。

至于你是否正确使用Ensures，那么是的。

---

2021 年更新

GSL_TERMINATE_ON_CONTRACT_VIOLATION 被删除，始终调用terminate()。