Condition

patt/;test

是一个模式，仅当 test 为 True 时才匹配.

lhs:>rhs/;test

表示一个规则，仅当 test 为 True 时才应用.

lhs:=rhs/;test

是一个仅当 test 为 True 时使用的定义.

更多信息

  • 用于 test 中的所有模式变量必须也在 patt 中出现.
  • lhs:=Module[{vars},rhs/;test] 允许在 test 和 rhs 之间共享局部变量，您可以通过 Block 和 With 使用相同的结构. »

范例

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

基本范例  (2)

建立一个定义，条件是 x 为正数：

对符合负值条件的所有元素进行替换：

范围  (2)

在条件和函数体之间共享变量：

在函数体内部使用 Condition 以控制计算：

属性和关系  (2)

Condition 在模式的命名部分上运算布尔表达式：

PatternTest 将检验函数应用于不需要名称的模式：

使用 Except 有效否定 Condition：

可能存在的问题  (1)

Repeated[p /; test] 要求 p 中的每个命名模式在整个序列中都具有相同的值：

RepeatedNull 也是如此：

将 PatternTest 与未命名的模式结合使用，以允许使用一系列不相同的元素：

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

文本

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

CMS

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

APA

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

BibTeX

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

BibLaTeX

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