Enable JavaScript to interact with content and submit forms on Wolfram websites. Learn how

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

Condition

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 与未命名的模式结合使用，以允许使用一系列不相同的元素：

Top