Julia教程（四）：函数（1）

函数

在 Julia 里，函数是将参数值组成的元组映射到返回值的一个对象。Julia 的函数不是纯粹的数学函数，因为这些函数可以改变程序的全局状态并且可能受其影响。

在Julia中定义函数的基本语法是：

上述函数f接收两个参数x和y，并返回最后一个表达式的值，这里是x+y。

在Julia中定义函数还有第二种更简洁的语法。上述的传统函数声明语法等效于一下紧凑型的赋值形式。

尽管函数可以是复合表达式 (见 复合表达式)，但在赋值形式下，函数体必须是一个一行的表达式。简短的函数定义在 Julia 中是很常见的。非常惯用的短函数语法大大减少了打字和视觉方面的干扰。

使用传统的括号语法调用函数：

没有括号时，表达式f指的是函数对象，可以像值一样传递：

和变量名一样，Unicode 字符也可以用作函数名：

参数传递行为

Julia 函数参数遵循有时称为 “pass-by-sharing” 的约定，这意味着变量在被传递给函数时其值并不会被复制。函数参数本身充当新的变量绑定（指向变量值的新地址），它们所指向的值与所传递变量的值完全相同。调用者可以看到对函数内可变值（如数组）的修改。这与 Scheme，大多数 Lisps，Python，Ruby 和 Perl 以及其他动态语言中的行为相同。

y的初始值是3，定义函数z，可以看到，尽管在函数中对y进行了重新赋值，但是最终打印的变量y的值仍然是3，这就是变量在被传递的时候其值并不会被复制，函数参数本身充当新的变量绑定。

参数类型声明

参数类型声明通常对性能没有影响：无论声明什么参数类型（如果有），Julia 都会为实际参数类型编译函数的特例版本。

return关键字

函数返回的值是最后计算的表达式的值，默认情况下，它是函数定义主体中的最后一个表达式。在上一小节的示例函数 f 中，返回值是表达式的x + y值。与在 C 语言和大多数其他命令式或函数式语言中一样，return 关键字会让函数立即返回，从而提供返回值的表达式：

这里，g(x,y)中的x+y是没有意义的，因为永远不会被执行到。

返回类型

这个函数将忽略 x 和 y 的类型，返回 Int8 类型的值。

注意：返回类型声明在 Julia 中很少使用，通常，你应该编写“类型稳定”的函数，Julia 的编译器可以在其中自动推断返回类型。

返回nothing

对于不需要任何返回值的函数，Julia支持返回值为nothing

操作符也是函数

在 Julia中，大多数操作符只不过是支持特殊语法的函数。但是&&和||不能是函数。

元组

Julia 有一个和函数参数与返回值密切相关的内置数据结构叫做元组（tuple）。 一个元组是一个固定长度的容器，可以容纳任何值，但不可以被修改(是immutable的)。 元组通过圆括号和逗号来构造，其内容可以通过索引来访问：

注意，长度为1的元组必须使用逗号 (1,)，而 (1) 只是一个带括号的值。() 表示空元组（长度为0）。而且元组的下标是从1开始的。可以从x[2]="杜兰特"看出来。

具名元组

元组的元素可以有名字，这时候就有了具名元组：

具名元组中，可以使用元素的名称来访问某一个元素。