JavaScript模式匹配的未来

今天，揭开一个令人兴奋的功能的面纱，这个功能通常在 Elixir 这样的函数式编程语言中看到，现在被提议用于 JavaScript ——模式匹配。

"你好，JavaScript!"

动手试试。这里有一个超基础的函数叫做greet，它接受一个带有'ID'和'role'的用户，并根据用户角色返回问候语。听起来简单吗？

function greet({id, role}) {
    if (role == 'user'){
        return `Hello User ${id}`;
    }
    if (role == 'admin'){
        return `Hello Admin ${id}`;
    }
    if (role == 'owner'){
        return `Hello Owner ${id}`;
    }
    throw `Invalid role: ${role}`;
}

这很像一个switch语句，但我们很难说这完全准确——它笨拙，充斥着讨厌的if语句，对于一个未定义的角色还有一个错误陷阱。

function greet({id, role}) {
    switch (role){
        case 'user':
            return `Hello User ${id}`;
        case 'admin':
            return `Hello Admin ${id}`;
        case 'owner':
            return `Hello Owner ${id}`;
        default:
            throw `Invalid role: ${role}`;
    }
}

switch还可以，但这里我们遇到了一个问题--如果不使用一些奇怪的黑客手段，例如在true上进行切换，它就无法完成足够的工作。

简化复杂性的模式匹配艺术

模式匹配可以结束这种复杂性。想象一个你有一个when子句可以救我们摆脱这种冗长的迷宫的世界。

简单地说，模式匹配允许我们检查一个输入是否符合一个模式或一个特定的类型。

在继续之前，需求注意的——现在看的是一个提议。所以，这可能还不是最终的语法。

let greet = match (input) {
  when { role: "user" }: `Hello User ${input.id}`,
  when { role: "admin" }: `Hello Admin ${input.id}`,
  when { role: "owner" }: `Hello Owner ${input.id}`,
  _: throw `Invalid role: ${input.role}`,
}

在这里，match函数接受输入，when子句检查input中的角色是否匹配指定的角色 -user,admin,owner。

这样更清晰，不是吗？不再有if或switch clutter- 只有一个简洁而干净的表达式。这不仅允许更易读和可维护的代码，而且为基于输入属性的更简单的“行内”决策铺平了道路，使条件、行为和结果非常容易同时阅读。

这会改变JavaScript的未来吗？

我真的相信模式匹配可以极大地改善JavaScript的未来。通过直接从Elixir这样的其他语言中获取关键的想法，并与JavaScript的强大灵活性结合，我们肯定可以为“JavaScript之家”增加一个顶石。

但是，我希望看到我们最喜欢的语言走得更远，尤其是当模式匹配与函数定义结合使用时。这可能会让我们走出舒适区，但一旦你开始探索它，你就会意识到它所拥有的力量和它带来的简单性。

def greet(%{role: "user", id: id}), do: `Hello User #{id}`
def greet(%{role: "admin", id: id}), do: `Hello Admin #{id}`
def greet(%{role: "owner", id: id}), do: `Hello Owner #{id}`
def greet(%{role: _}), do: throw `Invalid role`

在这个 Elixir 代码示例中，我们根据输入重新定义了函数三次。除了它给予的直接清晰性外，解剖这一点，我们注意到它做了两件事——它修剪了句法复杂性，显著减少了理解代码所需的心智负担。

希望有一天JavaScript能够实现这种基于模式的函数重载，相信这将带来一些最好的编程体验。就JavaScript的未来而言，作者认为模式匹配是最令人兴奋的前景之一。