缺省情况下，Replace 将规则仅应用到整个表达式上：

它并不作用到子集中：

规则列表的列表给出一个结果列表：

使用操作符形式的 Replace：

应用单个可能的替换：

应用第一个匹配的规则：

分别应用每个规则：

如果没有相匹配的规则，则返回原来的表达式：

在第 1 层的替换：

替换列表中测试方程的结果为 True 的元素：

替换列表中满足布尔表达式的元素：

用特定的标头替换矩阵的元素：

替换表达式最深层的部分（不含有子部分的部分）：

在第1 层到第 3 层进行替换：

在第 0 层到第 2 层进行替换：

替换所有层：

Replace 还可用于 RuleDelayed：

根据结构插入保留表达式中：

在替换前不对规则的右侧进行运算：

在替换前对规则的右侧进行运算：

Dispatch 可以代替规则列表：

Association 可以代替规则列表：

对 Association 中的所有值应用函数：

反转 Association 中的键和值：

把 Association 的规则提取到列表中：

在第 1 层进行替换，解构关联：

定义函数 f：

通常情况下，在得到最终结果之前将重复进行计算：

Hold 输入，用 f 的 DownValues 来替换，对运算的单个步骤进行检查：

再前进一层：

空列表被视为不含有匹配的规则：

当用列表的列表进行替换时，结果为同样长度的列表：

层规定 All 等价于 {0,-1} 和 {0,∞}：

如果规则与多个层相匹配，Replace 将会对所有匹配子表达式进行转换：

这里展示了替换发生的次序：

当给定多层时，Replace 使用深度优先搜索扫描表达式：

缺省情况下，Replace 替换整个表达式：

也允许替换指定层：

ReplaceAll 替换所有匹配的部分：

带有参数 All 的 Replace 将尝试只对每个子表达式进行一次替换：

ReplaceAll 对所能替换的最大的子表达式进行替换，然后停止操作：

ReplaceRepeated 重复应用 ReplaceAll 直到表达式不再变化为止：

Replace 在特定层进行模式匹配：

ReplacePart 重写指定位置上的子表达式：

ReplaceList 给出所有可能的匹配组成的列表：

Replace 给出第一个标准匹配：

Replace 可以对整个关联进行转换：

但是进入关联后则只替换值，不替换键：

Replace 匹配给定层级的个别表达式：

SequenceReplace 匹配第一层的表达式序列：

当且仅当 MatchQ[expr,lhs] 得到 True 结果时，Replace[expr,lhsrhs] 返回转换后的结果：

应用较长的规则列表会比较慢：

使用 Dispatch 会大幅提高速度：

可以用关联来指定替换规则，但是把键视为 Verbatim 值：

与下式比较：

等价于关联的规则列表如下所示：