Assert

Assert[test]

代表 test 为 True 的断言. 如果启用断言，则 test 在遇到断言时被计算. 如果 test 非 True，则生成一个断言失败.

Assert[test,tag]

指定将用于标识断言失败的标签.

更多信息

  • 断言通常会放置在代码中以描述和检查由程序员所作出的假设.
  • 默认情况下，断言在一个普通的 Wolfram 语言会话中被设为不可用，但在 Wolfram 系统调试程序中可用.
  • On[Assert] 使断言在一个 Wolfram 语言会话被启用，并在断言失败时引发一则消息.
  • 当 Assert 出现在一个文件中时，该文件的名称和断言所处的行号在默认情况下自动用作断言标签.
  • 在 Wolfram 语言调试程序中，断言失败的情况下默认生成一个断点.
  • 当 test 的计算结果非 True 时，$AssertFunction 给出一个将用于 Assert[test,…] 中的函数.

范例

基本范例  (3)

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

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

当断言通过 On 启用时，一则消息生成：

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

此处表明行消息和程序包名称如何存储于 Assert 表达式中

现在，如果断言被触发，该消息将告诉您断言所在的程序包名称和行号：

使断言不可用：

通过指定 $AssertFunction，您可以改变断言失败时的行为. 这个函数在断言失败时抛出一个异常情况：

此处捕捉到了断言函数所抛的异常情况：

Wolfram Research (2010)，Assert，Wolfram 语言函数，https://reference.wolfram.com/language/ref/Assert.html.

文本

Wolfram Research (2010)，Assert，Wolfram 语言函数，https://reference.wolfram.com/language/ref/Assert.html.

CMS

Wolfram 语言. 2010. "Assert." Wolfram 语言与系统参考资料中心. Wolfram Research. https://reference.wolfram.com/language/ref/Assert.html.

APA

Wolfram 语言. (2010). Assert. 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.wolfram.com/language/ref/Assert.html}", note=[Accessed: 21-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_assert, organization={Wolfram Research}, title={Assert}, year={2010}, url={https://reference.wolfram.com/language/ref/Assert.html}, note=[Accessed: 21-November-2024 ]}