编程语言 go

Google最近发布新型的编程语言，Go。它被设计为将现代编程语言的先进性带入到目前仍由C语言占统治地位的系统层面。然而，这一语言仍在试验阶段并在不断演变。

Go语言的设计者计划设计一门简单、高效、安全和 并发的语言。这门语言简单到甚至不需要有一个符号表来进行词法分析。它可以快速地编译；整个工程的编译时间在秒以下的情况是常事。它具备垃圾回收功能，因此从内存的角度是安全的。它进行静态类型检查，并且不允许强制类型转换，因而对于类型而言是安全的。同时语言还内建了强大的并发实现机制。

阅读Go

---

Go的语法传承了与C一样的风格。程序由函数组成，而函数体是一系列的语句序列。一段代码块用花括号括起来。这门语言保留有限的关键字。表达式使用同样的中缀运算符。语法上并无太多出奇之处。

Go语言的作者在设计这一语言时坚持一个单一的指导原则：简单明了至上。一些新的语法构件提供了简明地表达一些约定俗成的概念的方式，相较之下用C表达显得冗长。而其他方面则是针对几十年的使用所呈现出来的一些不合理的语言选择作出了改进。

变量声明

---

变量是如下声明的：


最值得注意的是，这些声明里的类型跟在变量名的后面。乍一看有点怪，但这更清晰明了。比如，以下面这个C片段来说：

[code=c]int* a, b;[/code]
它并明了，但这里实际的意思是a是一个指针，但b不是。如果要将两者都声明为指针，必须要重复星号。然后在Go语言里，通过如下方式可以将两者都 声明为指针：


如果一个变量初始化了，编译器通常能推断它的类型，所以程序员不必显式的敲出来：

然而，在这种情况下var几乎显得是多余了。因此，Go的作者引入了一个新的运 算符来 声明和初始化一个新的变量：

条件语句

---

Go语言当中的条件句与C当中所熟知的if-else构造一样，但条件不需要被打包在括号内。这样可以减少阅读代码时的视觉上的混乱。

括号并不是唯一被移去的视觉干扰。在条件之间可以包括一个简单的语句，所以如下的代码：


可以被精简成：


然而，在后面这个例子当中，result只在条件块内部有效—— 而前者 中，它在整个包含它的上下文中都是可存取的。

分支语句

---

分支语句同样是似曾相识，但也有增强。像条件语句一样，它允许一个简单的语句位于分支的表达式之前。然而，他们相对于在C语言中的分支而言走得更 远。

首先，为了让分支跳转更简明，作了两个修改。情况可以是逗号分隔的列表，而fall-throuth也不再是默认的行为。

因此，如下的C代码：


在Go里就变成了这样：


第二点，Go的分支跳转可以匹配比整数和字符更多的内容，任何有效的表达式都可以作为跳转语句值。只要它与分支条件的类型是一样的。

因此如下的C代码：


在Go里可以这样表达：


这些都是公共的约定俗成，比如如果分支值省略了，就是默认为真，所以上面的代码可以这样写：

循环

---

Go只有一个关键字用于引入循环。但它提供了除do-while外C语言当中所有可用的循环方式。

条件

初始，条件和步进
[code=java]for i := 0; i < 10; i++ { /* ... */ }[/code]

范围

---

range语句右边的表达式必须是array，slice，string或者map， 或是指向array的指针，也可以是channel。


无限循环
for { /* ever */ }

函数

---

声明函数的语法与C不同。就像变量声明一样，类型是在它们所描述的术语之后声明的。在C语言中：


在Go里面是这样描述的：

多返回值

---

在C语言当中常见的做法是保留一个返回值来表示错误(比如，read()返回 0)，或 者保留返回值来通知状态，并将传递存储结果的内存地址的指针。这容易产生了不安全的编程实践，因此在像Go语言这样有良好管理的语言中是不可行的。

认识到这一问题的影响已超出了函数结果与错误通讯的简单需求的范畴，Go的作者们在语言中内建了函数返回多个值的能力。

作为例子，这个函数将返回整数除法的两个部分：


有了多个返回值，有良好的代码文档会更好——而Go允许你给返回值命名，就像参数一样。你可以对这些返回的变量赋值，就像其它的变量一样。所以我们 可以重写divide：


多返回值的出现促进了"comma-ok"的模式。有可能失败的函数可以返回第二个布尔结果来表示成功。作为替代，也可以返回一个错误对象，因此像 下面这样的代码也就不见怪了：

匿名函数

---

有了垃圾收集器意味着为许多不同的特性敞开了大门——其中就包括匿名函数。Go为声明匿名函数提供了简单的语法。像许多动态语言一样，这些函数在它 们被定义的范围内创建了词法闭包。

考虑如下的程序：

基本类型

---

像C语言一样，Go提供了一系列的基本类型，常见的布尔，整数和浮点数类型都具备。它有一个Unicode的字符串类型和数组类型。同时该语言还引 入了两 种新的类型：slice 和map。
Go语言的基本类型包括：

数组和切片

---

Go语言当中的数组不是像C语言那样动态的。它们的大小是类型的一部分，在编译时就决定了。数组的索引还是使用的熟悉的C语法(如 a[ i ])，并且与C一样，索引是由0开始的。编译器提供了内建的功能在编译时求得一个数组的长度 (如 len(a))。如果试图超过数组界限写入，会产生一个运行时错误。

Go还提供了切片（slices），作为数组的变形。一个切片(slice)表示一个数组内的连续分段，支持程序员指定底层存储的明确部分。构建一 个切片 的语法与访问一个数组元素类似：


该切片所引用的数组分段可以通过将新的切片赋值给同一变量来更改：


切片的长度可以更改，只要不超出切片的容量。切片s的容量是数组 从s[0]到数组尾端的大小，并由内建的cap()函数返回。一个切片的长度永远不能超出它的容量。

这里有一个展示长度和容量交互的例子：


通常，一个切片就是一个程序所需要的全部了，在这种情况下，程序员根本用不着一个数组，Go有两种方式直接创建切片而不用引用底层存储：

Map类型

---

几乎每个现在流行的动态语言都有的数据类型，但在C中不具备的，就是dictionary。Go提供了一个基本的dictionary类型叫做 map。下 面的例子展示了如何创建和使用Go map：

面向对象

---

Go语言支持类似于C语言中使用的面向对象风格。数据被组织成structs，然后定义操作这些structs的函数。类似于Python，Go语言提供了定义函数并调用它们的方式，因此语法并不会笨拙。

Struct类型

---

定义一个新的struct类型很简单：


现在这一类型的值可以通过内建的函数new来分配，这将返回一个指针，指向一块 内存单元，其所占内存槽初始化为零。

[code=java]var p *Point = new(Point)
p.x = 3
p.y = 4[/code]
这显得很冗长，而Go语言的一个目标是尽可能的简明扼要。所以提供了一个同时分配和初始化struct的语法：

[code=java]var p1 Point = Point{3,4}  // Value
var p2 *Point = &Point{3,4} // Pointer[/code]

方法

---

一旦声明了类型，就可以将该类型显式的作为第一个参数来声明函数：

[code=java]func (self Point) Length() float {
  return math.Sqrt(self.x*self.x + self.y*self.y);
}[/code]
这些函数之后可作为struct的方法而被调用：


方法实际上既可以声明为值也可以声明为指针类型。Go将会适当的处理引用或解引用对象，所以既可以对类型T，也可以对类型*T声明方式，并合理地使用它们。

让我们为Point扩展一个变换器：


然后我们可以像这样调用：


很重要的一点是理解传递给MoveToXY的self和其它的参数一样，并且是值传递，而不是引用传递。如果它被声明为Point，那么在方法内修改的struct就不再跟调用方的一样——值在它们传递给方法的时候被 拷贝，并在调用结束后被丢弃。

接口

---

像Ruby这样的动态语言所强调面向对象编程的风格认为对象的行为比哪种对象是动态类型（duck typing）更为重要。Go所带来的一个最强大的特性之一就是提供了可以在编程时运用动态类型的思想而把行为定义的合法性检查的工作推到编译时。这一行为的名字被称作接口。

定义一个接口很简单：


这里定义了一个接口和一个写字节缓冲的方法。任何实现了这一方法的对象也实现了这一接口。不需要像Java一样进行声明，编译器能推断出来。这既给予了动态类型的表达能力又保留了静态类型检查的安全。

Go当中接口的运作方式支持开发者在编写程序的时候发现程序的类型。如果几个对象间存在公共行为，而开发者想要抽象这种行为，那么它就可以创建一个接口并使用它。

考虑如下的代码：


需要特别指出的很重要的一点就是所有的对象都实现了这个空接口：

interface {}

继承

---

Go语言不支持继承，至少与大多数语言的继承不一样。并不存在类型的层次结构。相较于继承，Go鼓励使用组合和委派，并为此提供了相应的语法甜点使 其更容易接受。

有了这样的定义：


于是我可以像下面这样编写：


当我声明Car这个struct的时候，我定义了一个匿名成员。 这是一 个只能被其类型识别的成员。匿名成员与其它的成员一样，并有着和类型一样的名字。因此我还可以写成c.Engine.Start()。 如果Car并没有其自身方法可以满足调用的话,编译器自动的会将在Car上的调用委派给它的Engine上面的方法。

由匿名成员提供的分离方法的规则是保守的。如果为一个类型定义了一个方法，就使用它。如果不是，就使用为匿名成员定义的方法。如果有两个匿名成员都提供一个方法，编译器将会报错，但只在该方法被调用的情况下。

这种组合是通过委派来实现的，而不是继承。一旦匿名成员的方法被调用，控制流整个都被委派给了该方法。所以你无法做到和下面的例子一样来模拟类型层次：


当你创建一个Foo对象时，它将会影响Base的两个方法。然而，当你调用MoreMagic时， 你将得不到期望的结果：
f := new(Foo)
f.Magic() //=> foo magic
f.MoreMagic() //=> base magic base magic

并发

---

Go的作者选择了消息传递模型来作为推荐的并发编程方法。该语言同样支持共享内存，然而作者自有道理：

不要通过共享内存来通信，相反，通过通信来共享内存。
该语言提供了两个基本的构件来支持这一范型：goroutines和channels。

Go例程

---

Goroutine是轻量级的并行程序执行路径，与线程，coroutine或者进程类似。然而，它们彼此相当不同，因此Go作者决定给它一个新的名字并放弃其它术语可能隐含的意义。

创建一个goroutine来运行名为DoThis的函数十分简单：


匿名的函数可以这样使用：


这些goroutine将会通过Go运行时而映射到适当的操作系统原语（比如，POSIX线程）。

通道类型

---

有了goroutine，代码的并行执行就容易了。然而，它们之间仍然需要通讯机制。Channel提供一个FIFO通信队列刚好能达到这一目的。

以下是使用channel的语法：


举例来说，如果我们想要进行长时间运行的数值计算，我们可以这样做：



channel的阻塞行为并非永远是最佳的。该语言提供了两种对其进行定制的方式：

程序员可以指定缓冲大小——想缓冲的channel发送消息不会阻塞，除非缓冲已满，同样从缓冲的channel读取也不会阻塞，除非缓冲是空的。
该语言同时还提供了不会被阻塞的发送和接收的能力，而操作成功是仍然要报告。

包

---

Go提供了一种简单的机制来组织代码：包。每个文件开头都会声明它属于哪一个包，每个文件也可以引入它所用到的包。任何首字母大写的名字是由包导出 的，并可以被其它的包所使用。

以下是一个完整的源文件：

缺失

---

Go语言的作者试图将代码的清晰明确作为设计该语言作出所有决定的指导思想。第二个目标是生产一个编译速度很快的语言。有了这两个标准作为方向，来自其它语言的许多特性就不那么适合了。许多程序员会发现他们最爱的语言特性在Go当中不存在，确实，有很多人也许会觉得Go语言由于缺乏其它语言所共有的 一些特性，还不太可用。

这当中两个缺失的特性就是异常和泛型，两者在其它语言当中都是非常有用的。而它们目前都不是Go的一分子。但因为该语言仍处于试验阶段，它们有可能最终会加入到语言里。然而，如果将Go与其它语言作比较的话，

我们应当记住Go是打算在系统编程层面作为C语言的替代

。明白这一点的话，那么缺失的这许多特性倒也不是很大的问题了。

最后，因为这一语言才刚刚发布，因此它没有什么类库或工具可以用，也没有Go语 言的集成编程环境。Go语言标准库有些有用的代码，但这与更为成熟的语言比 起来仍还是很少的。

---