WOLFRAM

Wolfram 语言与系统参考资料中心

patt/;test

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

lhs:>rhs/;test

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

lhs:=rhs/;test

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

更多信息
Details and Options Details and Options
范例  
基本范例  
范围  
属性和关系  
可能存在的问题  
参见
技术笔记
相关指南
相关的工作流程
历史
按以下格式引用：

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 为正数：

Wolfram Language code: f[x_] := ppp[x] /; x > 0
Wolfram Language code: f[5]
Wolfram Language code: f[-6]

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

Wolfram Language code: {6, -7, 3, 2, -1, -2} /. x_ /; x < 0 -> w

范围  (2)

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

Wolfram Language code: f[x_] := Module[{u}, u ^ 2 /; ((u = x - 1) > 0)]
Wolfram Language code: f[0]
Wolfram Language code: f[6]

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

Wolfram Language code: f[x_] := Module[{a}, a = Prime[10 ^ x]; (FactorInteger[a + 1]) /; a < 10 ^ 6]
Wolfram Language code: f[4]
Wolfram Language code: f[5]

属性和关系  (2)

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

Wolfram Language code: Cases[{{a, b}, {1, 2, 3}, {{d, 6}, {d, 10}}}, {x_, y_} /; !ListQ[x] && !ListQ[y]]

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

Wolfram Language code: Cases[{{a, b}, {1, 2, 3}, {{d, 6}, {d, 10}}}, {_, _} ? VectorQ]

使用 Except 有效否定 Condition：

Wolfram Language code: Replace[{1, 7, "Hi", 3, z}, Except[x_ /; NumericQ[x]] :> 0, 1]

可能存在的问题  (1)

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

Wolfram Language code: MatchQ[{3, 3, 3}, {(x_ /; IntegerQ[x / 3])..} ]
Wolfram Language code: MatchQ[{3, 6, 9}, {(x_ /; IntegerQ[x / 3])..} ]

RepeatedNull 也是如此：

Wolfram Language code: MatchQ[{3, 6, 9}, {(x_ /; IntegerQ[x / 3])...} ]

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

Wolfram Language code: MatchQ[{3, 6, 9}, {(_ ? (IntegerQ[# / 3]&))..} ]
Wolfram Language code: MatchQ[{3, 6, 9}, {(_ ? (IntegerQ[# / 3]&))...} ]
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_2026_condition, author="Wolfram Research", title="{Condition}", year="1988", howpublished="\url{https://reference.wolfram.com/language/ref/Condition.html}", note=[Accessed: 10-September-2026]}

BibLaTeX

@online{reference.wolfram_2026_condition, organization={Wolfram Research}, title={Condition}, year={1988}, url={https://reference.wolfram.com/language/ref/Condition.html}, note=[Accessed: 10-September-2026]}