C++假设 我曾经在C++中看到过一种方法,比如: int x=7; assume (x==7);//if not right a red error will appear and program will end.

C++假设 我曾经在C++中看到过一种方法,比如: int x=7; assume (x==7);//if not right a red error will appear and program will end.,c++,c++11,C++,C++11,有人能告诉我确切的密码吗?我做了很多研究,但自从我忘记了原来的短语后,什么也没发现。 我想用它来调试您可能正在寻找assert,cf 还有静态的_断言,它在编译时进行检查 有一个提议,是在C++中加入更为明显的假设体系,称为契约,但是它对语言的介绍被推迟了。如果您正在学习,您实际上不需要阅读最后一个URL下的文档。您可能正在查找assert,cf 还有静态的_断言,它在编译时进行检查 有一个提议,是在C++中加入更为明显的假设体系,称为契约,但是它对语言的介绍被推迟了。如果您正在学习,您实际上不

有人能告诉我确切的密码吗?我做了很多研究,但自从我忘记了原来的短语后,什么也没发现。
我想用它来调试

您可能正在寻找assert,cf

还有静态的_断言,它在编译时进行检查


有一个提议,是在C++中加入更为明显的假设体系,称为契约,但是它对语言的介绍被推迟了。如果您正在学习,您实际上不需要阅读最后一个URL下的文档。

您可能正在查找assert,cf

还有静态的_断言,它在编译时进行检查


有一个提议,是在C++中加入更为明显的假设体系,称为契约,但是它对语言的介绍被推迟了。如果您正在学习,您实际上不需要阅读最后一个URL下的文档。

这是否回答了您的问题?Herb Sutter写了一篇比较断言和假设的文章:P2064 R0。这能回答你的问题吗?Herb Sutter写了一篇比较断言和假设的文章:P2064 R0。在这种情况下最好使用静态断言谢谢,你能看一下吗:我不明白answer@phuclv:x不是常量表达式,因此不能用于static_assert在这种情况下最好使用static_assert谢谢,你能看一看吗:我不懂这个answer@phuclv:x不是常量表达式,因此不能用于静态断言