c++ - 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++添加更明显的“假设”系统，称为契约(Contract)(http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2005/n1866.html)，但是推迟了对该语言的介绍。如果您正在学习，则实际上不需要阅读该最后一个URL下的文档。