声明函数 f 的选项：

验证 f 是否仅使用一个位置参数和已知选项调用：

如果 f 的参数无效，则发出适当的消息：

检查位置参数个数在 1 到 3 之间的函数参数：

要求至少 2 个位置参数：

调用具有 1 个无效参数的 f：

要求至少 3 个位置参数：

允许不出现在 Options[f] 中的“隐藏”选项：

选项 a0 不是 f 的已知选项：

允许设置名为 hidden 的选项以及 Graphics 的任何选项：

将位置在 min+1 至 max 的未知尾随选项视为位置参数，而不是 f 的选项：

规则 b2 被视为位置参数：

使用默认的 "OptionsMode""Longest"，将为未知选项发出一条消息：

设置 "OptionsMode""Shortest"，已知选项仍被视为 f 的选项：

将所有元素视为位置参数，而不是 f 的选项：

定义具有两个参数的函数：

对于任何其他数量的参数，发出消息，并以未运算的形式返回：

下式会正常运算：

如果参数数目不正确，则会发出一条消息：

定义一个函数，如果该函数使用最多一个参数调用，则调用辅助函数：

当最多使用一个参数调用时，将调用该辅助函数：

当使用多个参数调用时，f 以未运算的形式返回，并发出一条消息：

对于 f 的无效输入，CheckArguments[f[…],…] 将为 f 发出一条消息，并返回 False：

如果 f 不接受选项，则认为所有参数均为位置参数：

CheckArguments[…,{min,max}] 将始终将第一个 min 参数视为位置参数：

这里，即使 b0 匹配 OptionsPattern[]，也被视为位置参数：

如果规则 b0 在位置参数之后给出，则被视为位置选项：

如果匹配 OptionsPattern[] 的尾随规则是 f 的已知选项，则将它们视为选项：

即使给出 "OptionsMode""Shortest" 也是如此：

包含已知和未知选项的选项规范会生成一条消息：

在 "OptionsMode""Shortest" 中，具有已知和未知选项的列表被尽可能视为位置参数：

超过最大位置参数个数的未知选项仍然会生成一条消息：

只有与 OptionsPattern[] 匹配的规则才是有效的选项规范：

规则 12 不匹配 OptionsPattern[]：

因此，它被视为位置参数：

如果 12 在位置参数后给出，则被视为无效的选项规范：

当 ArgumentsOptions 返回 Failure[…] 时，CheckArguments 返回 False：

在最小参数数目或之前的所有参数均被视为位置参数：

尽管可以作为 StringCases 的选项，IgnoreCaseTrue 仍被视为一个参数：

CheckArguments 不检查选项值是否正确：

Infinity 不是 Heads 的有效值：