如何使用 C++ Expects 运算符？

Question

我正在使用 C++ 开始一个项目，在少数学校项目之外我之前没有使用过 - 远不及我现在要处理的范围。

我的目标是尽最大努力遵循C++ Core Guidelines，因为我努力避免错误、提高性能，最重要的是：提高代码的可维护性。

我遇到了字面上数百的问题，从我的 g++ / Clang++ 版本不正确到标准库未找到到 g++ 使用错误版本的 C++ 进行编译到非常基本的功能表现不如预期 - 而且我什至还没有开始研究自动工具，所以我预计会有更多令人头疼的问题。

不过，这个问题只针对 C++ 核心指南的一部分。 Interfaces 6: Prefer Expects() for expressing preconditions

我尝试编写以下简单代码：

#include <iostream>

using namespace std;

int square(int x) {
    Expects(x > 0);
    return x * x;
}

int main() {
    cout << square(3) << endl;
    return 0;
}

这在 g++ 中引发了错误：

$> g++ -std=c++17 main.cpp
main.cpp: In function ‘int square(int)’:
main.cpp:7:2: error: ‘Expects’ was not declared in this scope
  Expects(x > 0);
  ^~~~~~~
-> [1]

我也尝试过使用 Clang，但它有一个完全不同（且不相关）的问题：

$> clang++ -x c++ main.cpp
main.cpp:1:10: fatal error: 'iostream' file not found
#include <iostream>
         ^~~~~~~~~~
1 error generated.
-> [1]

我还没有想出如何解决这个问题，所以我不打扰它。

Answer 1

Expects 是 GSL 库的一部分。你必须使用一些 GSL 库实现，你可以在 Github 上找到：

• https://github.com/martinmoene/gsl-lite
• https://github.com/Microsoft/GSL

这些都是我想不到的。

如果您只需要合同部分（Expects、Ensures 等），只需包含 gsl/gsl_assert 标头即可。例如：gsl_assert from Microsoft。 Martin 的实现没有做分离，所以你必须包含entire GSL header。

CPP 指南可能提到the "contracts" proposal，它通过属性提供相同的检查。它原计划用于 C++20，但后来由于对其范围缺乏共识而被删除。请参阅p1823r0 和标准委员会成员的Reddit thread，了解导致删除的理由。

Answer 2

除了 GSL，Excepts 也存在于 C++20 中，而不是 C++17 中，语法略有不同

• https://en.cppreference.com/w/cpp/language/attributes/contract