ConfirmBy

ConfirmBy[expr,f]

确认 f[expr] 返回 True，否则会向周围最近的 Enclose 抛出一个异常.

ConfirmBy[expr,f,info]

如果 expr 没有被确认，则对 info 进行计算，并将其值包括进抛出的异常中.

ConfirmBy[expr,f,info,tag]

对任何抛出的异常使用指定标签.

更多信息

  • 若成功确认了 expr，则 ConfirmBy[expr,…] 返回 expr.
  • 当给定标签时，ConfirmBy 的作用域动态变化. 否则，根据语义变化作用域. »
  • info 的默认值是 Null.
  • 由 ConfirmBy 生成的 Failure 对象包括下列域：
  • "Information"ConfirmBy[expr,f,info,…] 中的 info
    "Expression"ConfirmBy[expr,…] 中的 expr
    "Function"ConfirmBy[expr,f,…] 中的 f
  • 可使用 failure["prop"] 或直接通过 Enclose[expr,"prop"] 提取这些域的值.

范例

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

基本范例  (2)

若 f[expr] 的结果为 True，则 ConfirmBy[expr,f] 给出 expr：

由于 "foo" 不是一个数字，ConfirmBy 停止计算并向周围的 Enclose 抛出一个异常：

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

范围  (3)

ConfirmBy 停止计算，并在其抛出错误时返回到其匹配的 Enclose：

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

创建一个可以调用有标签的 ConfirmBy 使其可以被动态捕捉：

若未给定任何标签，则 ConfirmBy 的作用域通过语义变化：

应用  (1)

当检测到失败时打印信息：

属性和关系  (1)

ConfirmBy 可用 ConfirmMatch 模拟：

可能存在的问题  (3)

必须给定 ConfirmBy 一个标签，或其必须处于一个语义 Enclose 中：

通过用带有标签的变量替换符号 ConfirmBy 的实例可以让未被标签的 ConfirmBy 工作：

被标签的 ConfirmBy 需要一个嗲有匹配标签的 Enclose：

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

文本

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

CMS

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

APA

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

BibTeX

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

BibLaTeX

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