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

RuleDelayed

lhs:>rhs 或 lhsrhs

表示将 lhs 转换为 rhs 的规则，仅当使用规则后计算 rhs.

更多信息

字符  可以输入为 :> 或 ∖[RuleDelayed].
RuleDelayed 有 HoldRest 属性.
您可以用 Replace 来应用规则.
lhs:=rhs 赋值指定无论何时都应使用规则 lhs->rhs.
当应用特定规则时，您可以用 Condition 来指定.
在 StandardForm 中，RuleDelayed 输入为 .

范例

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

基本范例 (1)

:> 保持右边不计算的形式：

每次使用时分别对右边计算：

应用 (3)

每次替换 x 时，增加 n：

每次调用时，分别计算 StepMonitor 表达式：

产生有随机元素的对角矩阵：

属性和关系 (6)

-> 在首次输入时计算；:> 在使用时计算：

Module 和 With 不会影响 RuleDelayed 的局部变量：

Module 有效地使用了 y 的一个重命名实例：

通过计算 RuleDelayed 的变量，避免了局部作用域：

KeyValuePattern 可被用来对规则列表进行转换：

KeyValuePattern 区别对待 Rule 和 RuleDelayed：

顶部