匿名函数

---恢复内容开始---

　　匿名函数用 fn 关键字创建。

fn

　　parameter-list -> body

　　parameter-list -> body

end

　　例如，下面定义了一个函数，将其绑定到变量sum

sum = fn (a, b) -> a + b end　　　　　　#也可以写为 fn a, b -> a + b end

sum.(1, 2)            #输出3   命名函数中没有使用点调用

　　如果没有参数，还可以使用圆括号调用：

greet = fn -> IO.puts "hello" end

greet.()

 

函数的模式匹配，与Elixir特性一文中相同。

 

一个函数，多个函数体

　　在单个函数定义中，可以定义不同的实现，取决于传入的参数类型和内容。

handle_open = fn
{:ok, file } -> "Read data: #{IO.read(file, :line)}"
{_, error } -> "Error: #{:file.format_error(error)}"
end

handle_open.(File.open("XXXX"))    #文件存在与否，会输出不同的值

 

能返回函数的函数

　　

fun = fn -> ( fn -> "Hello" end ) end

fun.().()                # "Hello"

other = fun.()　　　　#返回内部函数
other.()                # "Hello"        

 

闭包

　　作用域将其中的变量绑定封闭起来，并将它们打包到稍后能被保存且使用的东西上。

　　现有如下函数：

greeter = fn name -> ( fn -> "Hello #{name}" end ) end

dave_greeter = greeter.("Dave")

dave_greeter.()        # "Hello Dave"

　　在这里，内部函数使用了外部函数的 name 参数， 而那时greeter.("Dave")已经返回，外部函数结束了执行，而且参数的生命周期也以结束。当定义内部函数的时候，它继承了外部函数的作用域并将 name 的绑定值传递到里面，这就是闭包。

　　例：

add_n = fn n -> ( fn other -> n + other end ) end

add_two = add_n.(2)

add_two.(3)            # 5

 

&运算符

　　&运算符将跟在其后的表达式转换为函数，在表达式内部，占位符 &1、&2对应第一、第二以及接下来的函数参数。

add_one  = &(&1 + 1)        #等同于 add_one = fn (n) -> n + 1 end
add_one.(44)        # 45

speak = &(OP.puts(&1))
speak.("Hello")        # Hello