functional-programming - 函数式语言中的 'Pattern Matching' 是什么？

Question

我正在阅读有关函数式编程的内容，我注意到许多文章中都提到模式匹配是函数式语言的核心特性之一。

有人可以为 Java/C++/JavaScript 开发人员解释这是什么意思吗？

Answer 1

模式匹配是您的语言的解释器将根据您提供的参数的结构和内容选择特定函数的地方。

它不仅是一种功能语言特性，而且适用于许多不同的语言。

我第一次遇到这个想法是在我学习 prolog 时，它是语言的真正核心。

例如

last([LastItem], LastItem).

last([Head|Tail], LastItem) :- last(Tail, LastItem).

上面的代码将给出列表的最后一项。输入 arg 是第一个，结果是第二个。

如果列表中只有一个项目，解释器将选择第一个版本，并且第二个参数将设置为等于第一个，即将为结果分配一个值。

如果列表既有头又有尾，解释器将选择第二个版本并递归，直到列表中只剩下一个项目。