C++ 假设

Question

有一次我在 C++ 中看到了一种假设某些事情的方法，例如：

int x=7;

assume (x==7);//if not right a red error will appear and program will end.

有人可以告诉我确切的代码是什么吗？我做了很多研究，但一无所获，因为我忘记了原来的短语。 （我想用它来调试）

Answer 1

您可能正在寻找

assert

，参见。 https://en.cppreference.com/w/cpp/error/assert。

还有

static_assert

，它在编译时进行检查。

有人提议在 C++ 中添加更明显的“假设”系统，称为合约 (http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2005/n1866.html) ，但该语言的引入被推迟了。如果您正在学习，您实际上不需要阅读最后一个 URL 下的文档。