Go!漂亮的语言!

这一周,利用每天晚上下班回来后的一小时,学习了Google开发的Go语言,算是对其有了个基本的了解。确实是门漂亮的语言。

首先,从它的设计目标是设计一种高效的、静态编译的、易于编写的语言。它涉足的是系统级的编程,试图与C/C++抗衡。

详细来说,它的设计目标有如下几点(来自wikipediagolang FAQ):

  • 安全:类型安全与内存安全。没有继承,无需处理类型的依赖关系,弱化类型的使用;变量默认初始化,简化设计负担。
  • 并发和通信的支持。内建的并发机制使得多线程编程变得非常简单;内建的chan(channel)类型简化了线程间通讯。
  • 完全的内存垃圾回收机制。
  • 高速编译。没有头文件、Makefile等复杂的工程依赖关系,使得编译速度更快,工程更容易组织。

而在我看来,通过一周的学习,给我留下最深印象的,是如下几个方面:

  1. 更符合自然语言的语法。类型的声明放在变量后面,实战发现确实比放在前面更易读。
  2. 方便的内建类型。string、map、数组等,这些复杂的类型都内建于语言中。
  3. 内建的并发机制。对于多线程程序的编写支持非常好。
  4. 没有类、只有结构和接口。只是很不习惯,目前还没有发现这样做的好处。
  5. 文档。从基本的语法、包的文档,到教程、设计建议等。对于理解Go,写好Go非常有帮助。

下面我将以我在教程中写的一些代码为例,说说我对上面几点的理解。

自然的语法

go语言的语法,非常符合英语语法的习惯(英语语法较汉语更具有逻辑性,更能清楚的解释问题)。

比如

定义一个变量:x int,用英语来读就是x of type int;

定义一个函数:func add(x, y int) int,读出来就是:a function named add, with parameter x & y of type int, that returns int。非常自然。

当然,要显示出这种定义的自然性,我们可以看一个复杂的例子,函数指针:

首先看看C语言的定义方式:

int (*fp)(int (*ff)(int x, int y), int b)
它定义了一个函数指针fp,指向一个以函数指针ff和b为参数,并返回int的函数。其中ff指向一个以x,y为参数,并返回int的函数。x!真复杂

如果用Go呢?

fp func(ff func(x, y int) int, b int) int

是不是刚好与上面的描述符合?

这种符合自然语言语法的定义方式,简化了代码理解的步骤,也不容易出错。

关于此部分更详细的内容,可以参考Go's Declaration Syntax

下面给出一个hello world程序,一睹为快:

// 类似Java,用包名来组织代码
package main

import "fmt"

// 程序的“入口”,main函数。
func main() {
	fmt.Println("Hello, 世界")
	// 没有return语句
}


方便的内建类型

这里我以tour.golang.org中的一个练习为例子,介绍go语言中的map和string。

这个练习要求:

实现WordCount函数。此函数输入一句英文语句,并返回一个map类型,存储每个单词对应的重复次数。主函数以及写好,包含一个wc.Test函数,用于测试WordCount函数的正确性。

提示:strings.Fields可能会很有帮助。

下面是我的实现:

package main

import (
	"tour/wc"
	"strings"
)

func WordCount(s string) map[string]int {
	// 创建一个键为string,值为int的map
	// make可以用来创建任何类型的变量。
	// 比如make([]int, 3)是创建3个元素的int数组
	m := make(map[string]int)
	// 变量的使用可以不用显示的指明类型
	// 这里,words的类型即Fields的返回值类型,是个字符串数组
	words := strings.Fields(s)

	// Go语言没有while、do-while
	// for 条件 { 执行体 } 即相当于while
	// for { 执行体 } 即无限循环
	// 这里,使用for的range特性,取words的索引和值
	// 分别给_和word,下划线_相当于一个占位符,不赋值给具体的变量
	// 同样,还可以使用:i, _ := range words,表示只需要其索引
	// 甚至可以使用:_, _ := range words,表示只需要循环相应次数即可
	for _, word := range words {
		// 根据键取map中的值,并修改
		// Go是内存安全的语言,如果m中不存在word键
		// 将会自动创建一个word,并初始化其值为0
		m[word]++;
	}
	return m
}

func main() {
	wc.Test(WordCount)
}

由这个例子,我们可以了解到Go语言的很多特性,比如_, word := range words这样的多个赋值同时进行(也可用于函数返回值),比如内建的string、map类型,比如简化的循环体(没有括号,去掉while,do-while,支持多种循环条件的定义),还有代码的组织方式等。


结构体和接口

Go语言没有类的概念,没有构造、析构函数,更没有继承。只有结构体和接口。

下面以Exercise: Images为例,介绍Go语言的结构体和接口的使用:

package main

import (
	"image"
	"image/color"
	"tour/pic"
)

// 定义Image类型
// 类似的定义还可以这样:type MyInt int
// 相当于typedef
type Image struct{
	content [][]uint32	// 二维数组,存储图片内容
				// 包含每个像素点的RGBA值。
	width, height int	// 图片宽度和高度
}

// 自定义的像素点函数,返回给定点的RGBA值
func valueOfPointer(x, y int) uint32 {
	return uint32(0xfffff*x^(0xfffff*y + 0xff))
}

// 自定义的图片生成函数,用于使用给定的像素点函数生成一幅图片
func makePic(w, h int, f func(int,int) uint32) *Image {
	img := new(Image)
	img.width = w
	img.height = h
	
	// 此处先申请一个长度为w,类型为[]uint32的数组
	img.content = make([][]uint32, w)
	for x := 0; x < w; x++ {
		// 再为每个数组的元素申请h长度的uint32型数组
		// 由此而创建出一块 w x h 的二维数组
		img.content[x] = make([]uint32, h)
		
		// 使用f函数为每个像素赋值
		for y := 0; y < h; y++ {
			img.content[x][y] = f(x, y)
		}
	}
	
	return img
}

////////////////////////////////////////////
// 接下来的几个函数是接口image.Image的函数实现
// Go语言中,无需显示的申明实现接口
// 只需要实现接口的所有函数,即实现了接口

// Bounds 函数返回图片的可用区域
// 在 func 和函数名之间加上类型,表示此函数是该类型的成员函数
// 注意,此处的类型不仅限于结构体,比如浮点数、整数都可以。
func (img *Image) Bounds() image.Rectangle {
	return image.Rect(0, 0, img.width, img.height)
}

// ColorModel 函数指明图片使用的颜色模式
// 这里,我们选用RGBA模式
func (img *Image) ColorModel() color.Model {
	return color.RGBAModel
}

// At 函数,返回指定像素点的颜色属性
func (img *Image) At(x, y int) color.Color {
	// 根据练习的说明设置超出范围的点的颜色
	if x >= img.width || y >= img.height {
		return color.RGBA{uint8(x), uint8(y), 0xff, 0xff}
	}
	
	// 根据存储的二维数组,生成RGBA模式的颜色并返回
	var c = img.content[x][y]
	return color.RGBA{
		uint8((c >> 24) & 0xff),
		uint8((c >> 16) & 0xff),
		uint8((c >> 8) & 0xff),
		uint8(c & 0xff) }
}

func main() {
	m := makePic(200, 100, valueOfPointer)
	// 调用pic类的ShowImage来显示生成的图片
	pic.ShowImage(m)
}

可能是我还未理解Go语言的精髓,暂时没有发现这种没有类、甚至没有显示继承关系的设计有怎样的优势。如果有知道的朋友一定要告诉我,非常感谢!

内建的并发机制

Go语言内建了并发机制,无需第三方库的支持就可以方便的创建线程。并且,Go语言包含一个chan类型用于线程间的变量传递,降低了使用共享内存传递的风险,有些类似于unix里的管道。

下面先以一个Equivalent Binary Trees的例子,来介绍并发以及chan的使用,并进一步熟悉Go语言:

package main

import (
	"fmt"
	"tour/tree"
	"sort"
)

// Walk 遍历t,将其所有的内容由ch发送出去
// 我使用递归的方式实现了它
// 注意,Go语言的channel是有类型的
func Walk(t *tree.Tree, ch chan int) {
	if t.Left != nil {
		Walk(t.Left, ch)
	}
	if t.Right != nil {
		Walk(t.Right, ch)
	}
	// 使用 <- 符号将变量值发送到chan
	ch <- t.Value
}

// Same 决定t1、t2是否是具有相同内容的两棵树
func Same(t1, t2 *tree.Tree) bool {
	// 创建两个具有缓存的管道
	// 管理发送的线程将不停的发送,直至缓存溢出,
	// 等到管理接收的线程取出值以后,才能继续发送
	// 这相当于一个固定大小的队列。
	ch1 := make(chan int, 10)
	ch2 := make(chan int, 10)
	// 使用两个数组来存储树的内容	
	a1  := make([]int, 10)
	a2  := make([]int, 10)
	
	// 新建两个线程,同时开始遍历
	go Walk(t1, ch1)
	go Walk(t2, ch2)
	
	// 主线程将不停的接收另外两个线程传来的数据
	for i := 0; i < 10; i++ {
		a1[i] = <- ch1
		a2[i] = <- ch2
	}
	
	// 排序以便于检查其内容是否一致
	sort.Ints(a1)
	sort.Ints(a2)
	for i := 0; i < 10; i++ {
		if a1[i] != a2[i] {
			return false
		}
	}
	
	return true
}

func main() {
	// tree.New(k)可以创建内容包含k, 2k, 3k, ..., nk的树
	t1 := tree.New(1)
	t2 := tree.New(2)
	ch := make(chan int, 10)
	
	// 打印t1树
	fmt.Print("t1: ")
	go Walk(t1, ch)
	for i := 0; i < 10; i++ {
		fmt.Printf("%2d, ", <- ch)
	}
	fmt.Println()
	
	// 打印t2树
	fmt.Print("t2: ")
	go Walk(t2, ch)
	for i := 0; i < 10; i++ {
		fmt.Printf("%2d, ", <- ch)
	}
	fmt.Println()
	
	// 测试Same函数
	fmt.Printf("Is %v that t1 equal t1.\n", Same(t1, t1))
	fmt.Printf("Is %v that t1 equal t2.\n", Same(t1, t2))
}

由例子可以看到管道的使用方式: <- 。发送可以用 channel <- value,接收可以用 variable := <- channel。非常形象。

Go语言中的并发是基于函数的。使用 go function() 即可使此函数在新的线程中运行,父线程将继续运行,不会等待函数结束。

并发更复杂更灵活的运用,请看练习:Web Crawler


OK,关于Go的简单介绍就到这里,更详细的文档请参阅Go语言官方网站:http://golang.org/

本专题(Go语言学习)所涉及的代码已经同步到GitHub上,便于分享,下面是链接:

https://github.com/tankery/study-go


注:从今天起,我将以每星期至少一篇的频率写这份博客。

至于每周一篇的频率,是由我常年加班的工作性质决定的。每周一篇,法定节日休息。。。


本文来自:CSDN博客

感谢作者:tankery

查看原文:Go!漂亮的语言!

郑重声明:本站内容如果来自互联网及其他传播媒体,其版权均属原媒体及文章作者所有。转载目的在于传递更多信息及用于网络分享,并不代表本站赞同其观点和对其真实性负责,也不构成任何其他建议。