断言

断言[测试]

表示以下断言测试是真的。如果已启用断言，测试在遇到断言时进行计算。如果测试不是真的，然后生成断言失败。

断言[测试,标签]

指定在断言失败时用于标识断言的标记。

细节

  • 断言通常放在代码中，用于描述和检查程序员所做的假设。
  • 默认情况下，断言在普通Wolfram语言会话中禁用，但在Wolfram系统调试器中启用。
  • 打开[断言]在Wolfram语言会话中启用断言，并在断言失败时生成消息。
  • 什么时候？断言出现在文件中，默认情况下，文件名和出现的行号会自动用作断言的标记。
  • 在Wolfram语言调试器中，默认情况下断言失败会生成断点。
  • $断言函数给出要应用的函数断言[测试,…]什么时候测试不计算为真的.

示例

基本示例  (3)

定义一个函数，该函数包含一个断言，该断言取决于计算运行时的临时结果：

这不会测试断言，因为没有启用断言：

使用启用断言时打开，将生成消息：

如果加载的包包含带有断言的函数，则会记住包的名称和行号：

这显示了行信息和包名称是如何存储在断言表达式：

现在，如果触发断言，消息会告诉您包的名称和断言所在的行号：

禁用断言：

当断言失败时，可以通过将赋值给$断言函数。当断言失败时，此函数会引发异常：

此处捕获断言函数引发的异常：

Wolfram Research（2010），断言，Wolfram语言函数，https://reference.wolfram.com/language/ref/Assert.html。

文本

Wolfram Research（2010），断言，Wolfram语言函数，https://reference.wolfram.com/language/ref/Assert.html。

CMS公司

沃尔夫拉姆语言。2010年，“断言”，Wolfram语言与系统文档中心。Wolfram研究。https://reference.wolfram.com/language/ref/Assert.html。

亚太地区

沃尔夫拉姆语言。(2010). 断言。Wolfram语言与系统文档中心。检索自https://reference.wolfram.com/language/ref/Assert.html

BibTeX公司

@misc{reference.wolfram_2024_assert，author=“wolfram Research”，title=“{assert}”，year=“2010”，howpublished=“\url{https://reference.jolfram.com/language/ref/assert.html}”]}

BibLaTeX公司

@在线{reference.wolfram_2024_assert，organization={wolfram Research}，title={assert}，year={2010}，url={https://reference.jolfram.com/language/ref/assert.html}，note=[访问时间：2024年9月21日]}