c++ - gsl assert 与 c++ 中的 assert 的优势？

Question

我知道 assert 的用途在 C++ 中。想知道在使用 assert 之间有什么区别和任何好处(我认为 gsl_assert 根据 https://www.learncpp.com/cpp-tutorial/7-12a-assert-and-static_assert/ 中提到的成本更高，所以性能方面，两者是否相同？)在 assert ？为什么 gsl_assert已添加到 gsl 库中，因为已经存在 assert在 C++ 中支持(尽管 assert 来自“C”，因为我们添加了 #include<cassert> 以在 C++ 中使用 assert)？

#include <iostream>
#include <gsl/gsl_assert>
using namespace std;

int main()
{
    int val;
    cin >> val;
    Ensures( val > 5 );
    return 0;
}

Answer 1

这不是性能问题；这是灵 active 的问题。

C 断言

如果条件为真，这将终止(在调试版本中)，并且通常在发布版本中什么都不做。

GSL契约(Contract)检查

Depending on configuration ，这可以:

1. 抛出异常
2. 终止
3. 什么都不做
   • …除了向优化器发出我们希望条件成立的信号(如果支持的话)

---

在某些配置模式下，我想 GSL 的 Expects 和 Ensures 宏最终会做与 assert 几乎相同的事情。但不是全部。

但值得注意的是，GSL 行为似乎不依赖于构建配置(调试与发布)。我猜想(我只是在猜想)对于性能关键型代码，明智的项目维护者会在调试构建中选择模式#1 或#2，在发布构建中选择模式#3(或可能是#2)。