ConfirmAssert

ConfirmAssert[test]

确认 test 为 True，否则会对周围最近的 Enclose 抛出一个错误.

ConfirmAssert[test,info]

若 test 非 True，则对 info 进行计算，并将其值包括在抛出的错误中.

ConfirmAssert[test,info,tag]

为任何抛出的错误使用指定标签.

更多信息

范例

打开所有单元关闭所有单元

基本范例  (2)

确认某条断言为真：

当断言失败时，停止计算并向周围 Enclose 抛出异常：

创建一个可以检查其参数的函数：

范围  (3)

当 ConfirmAssert 抛出异常时会停止计算并返回其匹配的 Enclose：

info 仅在 expr 不能被确认时计算：

创建一个可调用带标签的 ConfirmAssert 的函数，这样可以动态捕捉该函数：

若未给定标签，则 ConfirmAssert 的作用域根据语义变化：

应用  (1)

打印一条检测到失败的信息：

属性和关系  (2)

ConfirmAssert 可用 ConfirmBy 或 ConfirmMatch 进行模仿：

ConfirmAssert[f[expr]] 有效等价于 ConfirmBy[expr,f]，除了一点， ConfirmAssert[f[expr]] 返回 Null 而非 expr：

可能存在的问题  (3)

必须给定 ConfirmAssert 一个标签，或在一个语义 Enclose 内：

无标签的 ConfirmAssert 通过用有标签变量替换符号 ConfirmAssert 的实例实现工作：

有标签的 ConfirmAssert 需要一个有匹配标签的 Enclose：

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

文本

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

CMS

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

APA

Wolfram 语言. (2020). ConfirmAssert. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/ConfirmAssert.html 年

BibTeX

@misc{reference.wolfram_2024_confirmassert, author="Wolfram Research", title="{ConfirmAssert}", year="2020", howpublished="\url{https://reference.wolfram.com/language/ref/ConfirmAssert.html}", note=[Accessed: 17-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_confirmassert, organization={Wolfram Research}, title={ConfirmAssert}, year={2020}, url={https://reference.wolfram.com/language/ref/ConfirmAssert.html}, note=[Accessed: 17-November-2024 ]}