MMA函数定义优先级

Question

MMA同时定义多个f的话，MMA调用时，选取f的规则是什么？

Clear[f, g]
f[x_] := g[1][x]
f[x_Integer] := g[2][x]
f[x_?(Divisible[#, 7] && Divisible[#, 5] &)] := g[3][x]
f[140]

明明f[x_?(Divisible[#, 7] && Divisible[#, 5] &)] := g[3][x] 的约束条件最多，为什么f[140]返回的是g[2][140]而不是g[3][140]...这个优先级如何判定的，怎样获取他们的优先级指数...

Answer 1

Mma 内部有一个规则分析器，当键入的规则相对来说简单时，Mma 就会对规则进行分析，并按照自己的算法对规则进行排序，越特殊的规则排在越前面。当然当规则特别复杂时，Mma 就区分不了哪些规则更为特殊，基本上就是按照用户自己键入的顺序存储。不过大多数情况下，Mma 的排序都是正确的。如果 Mma 对规则的排序不正确的话，也是可以手动调整的。

你原始定义的规则顺序：

方法有二：

1. 改变函数定义时规则的定义顺序：

2 . 直接对定义的规则调整一下顺序：

PS: 建议在定义函数的时候就尽可能的按照规则优先级来定义，避免后面调整时的麻烦。

Answer 2

Amita的回答正解。我只是做些资料性补充。

楼主的问题，在Stephen Wolfram 的 An Elementary Introduction to the Wolfram Language 一书 第40章Q&A部分有说明（http://www.wolfram.com/language/elementary-introduction/40-defining-your-own-functions.html   ）   。大意是越具体的定义越优先，如Mahtematica无法判断，则越先定义的规则越优先。