定义一个函数，为第二个自变量设定一个默认值：

两个自变量均明确指定的函数：

第二个自变量现在取其默认值：

在任何模式匹配函数中都可使用 Optional，包括 ReplaceAll：

Cases：

以及 MatchQ：

使用 Optional 和 BlankSequence：

使用的是默认值：

使用给定值：

值的序列赋值 x：

Optional 的第一个参数可以为任何模式，而不仅是 Blank 的其中一种形式：

为函数指定一个默认值：

使用默认参数定义一个下值：

如果给出第三个参数，则使用其值：

如果第三个参数不存在，则值取自函数的默认值：

默认值不需要与可选参数的模式匹配：

5 匹配模式：

字符串 "xyz" 不匹配该模式：

当没有指定参数时，即使默认值不能匹配模式，也将返回默认值：

三元形式 sym:pat:def 的头部为 Optional：

形式 s_:d 和 s:_:d 恒等：

如果没有给出明确的默认值，则从头部的 DefaultValues 中推断出默认值：

1 来自 DefaultValues[Times]：

始终可以提供一个明确的默认值：

缩写形式 x_. 等价于 Optional[Pattern[x,Blank[]]：

当限制一个默认参数时，模式将完全无法匹配一个不符合要求的参数：

只有当参数完全缺失时，才会使用默认值：

Optional 不会阻止默认值的计算：

因此，所有调用 f 都使用相同的默认值：

使用 HoldPattern 将默认值的计算延迟到其被使用时：

对 g 的每次调用都使用一个唯一的默认值：

使用 BlankSequence 和 Optional 定义一个函数；该函数使用默认值进行计算：

使用 BlankNullSequence 定义一个函数；该函数在计算时不使用任何值：

由于 BlankNullSequence 匹配的参数长度为零，所以 x___:d 形式永远不会使用 d：

只有当 s 是 Blank[…] 或 Pattern[sym,Blank[…]] 的特殊输入形式时，输入 s:v 才有头部 Optional：

也允许 BlankSequence[…] 和 BlankNullSequence[…]：

如果 s 是一个符号，那么 s:v 代表 Pattern[s,v]：

如果 s 是任何其他的表达式，那么该形式就不是有效输入：

Condition 和 PatternTest 不能应用于 Optional：

取而代之的是，对 Optional 的第一个参数应用该检验：

无论给定的参数是零还是一个，函数 f 和 g 的行为都符合期望：

Pattern 不能绑定到一个 Optional 对象：

取而代之的是，把模式放在 Optional 的第一个参数里面：

如果模式不匹配，符号 x 被赋予默认值：

注意，Optional 对象可以用三元形式 s:p:d 写得更简洁：