elixir官方入门教程 case，cond和if

为什么80%的码农都做不了架构师？>>>   

#case，cond和if

本章，我们将学习case，cond和if控制流结构。

#case

case允许我们将一个值与多个模式进行匹配，直到匹配成功：

如果你想对已存在的变量进行模式匹配，你需要使用^操作符：

卫语句中允许包含额外的条件：

第一条语句在x是正数时才能匹配。

#卫语句中的表达式

Elixir默认在卫语句中可以使用以下表达式：

如果没有语句匹配到，会抛出一个错误：

注意匿名函数也可以拥有多个卫语句：

匿名函数的分语句中参数的数量应当相同，否则会抛出错误。

#cond

当你想要匹配不同的值时可以用case。然而，我们有时想要检查不同的情形并找出其中第一个结果为真的。这时，我们可以使用cond：

这和许多命令语言中的else if从句是一样的(虽然在这里不经常用到)。

如果没有一种情况返回为真，则抛出一个错误(CondClauseError)。所以，有必要在最后加上一个等于true的最终情况：

最后，注意cond会将任何不是nil或false的值认为真：

#if和unless

除了case和cond，Elixir也提供了if/2和unless/2这两个宏，让你在只需要检查一种情况时使用：

如果传送给if/2的情况返回值是false或nil，do/end中的代码就不会执行并只返回nil。unless/2正相反。

它们也支持else块：

注意：在这里if/2和unless/2是被当作宏来执行的；而非其它许多语言中一样作为特殊的结构体。你可以在Kernel模块文档中查看说明文档和if/2的源代码。Kernel模块中定义了诸如+/2之类的操作符和'if_function/2`之类的函数，它们全都默认自动导入并在你的代码中可用。

#do/end块

目前，我们已经学习了四种控制结构：case，cond，if和unless，它们都包含了do/end块。所以我们也能够以如下方式写if语句：

注意在true和do:之间有一个逗号，这是因为Elixir中参数之间要以逗号隔开。我们称这种格式为关键字列表。我们也可以用关键字来传递else：

do/end块形式是在关键字形式的语法上经过化简所得的。这就是为什么do/end块形式不要求参数与块之间用逗号隔开。它消除了在书写块代码时的冗余信息。下列两种语法作用是相同的：

需要记住的是在使用do/end块时，它们总是和最外层的函数调用捆绑在一起。例如：

会被解释成：

产生错误的原因是Elixir试图调用is_number/1函数，却得到了两个参数(if true表达式也会产生错误，因为if需要它的第二个参数，也就是do/end块)。添加明确的括号能够消除歧义：

关键字列表在语言中扮演着重要的角色，在许多函数与宏中都很常见。在之后的章节中我们会继续他；探索它。现在，让我们谈谈“二进制，字符串和字符列表”。