Go1.1新特性介绍(语言和库更完善/性能提高约30%)

前几天GCC4.8发布, 已经部分包含Go1.1特性, 详细介绍:

成都创新互联公司是一家集网站建设,舒兰企业网站建设,舒兰品牌网站建设,网站定制,舒兰网站建设报价,网络营销,网络优化,舒兰网站推广为一体的创新建站企业，帮助传统企业提升企业形象加强企业竞争力。可充分满足这一群体相比中小企业更为丰富、高端、多元的互联网需求。同时我们时刻保持专业、时尚、前沿，时刻以成就客户成长自我，坚持不断学习、思考、沉淀、净化自己，让我们为更多的企业打造出实用型网站。

  • http://gcc.gnu.org/gcc-4.8/changes.html#go

根据golang-nuts的消息, 4月第1周可能会进入Go1.1发布流程(就是下周). 要修复的问题还剩20多一点的, 估计应该不会出现大的延期.

  • http://swtch.com/~rsc/go11.html

补充:Go1.1正式版本已经于2013.05.14正式发布.

补充:目前还标记为Go1.1的剩余BUG主要是gccgo相关的, gccgo1.1的发布流程和GCC4.8.1同步.

Go1.1主要的目标是性能的优化和一些bug的修复, 详细内容参考:

  • https://go.googlecode.com/hg/doc/go1.1.html
  • http://tip.golang.org/doc/go1.1

关于Go的性能测试数据(性能和C语言gcc -O2性能基本没有差异):

  • Go自带的测试程序结果
  • BenchmarksGame的测试结果

补充:BenchmarksGame的测试不同语言实现差别较大, 比如: Go的binary-trees开了很多goroutine, C的程序开了omp优化等.

Go1.1的更新主要涉及语言/实现/性能优化/标准库几个部分.

补充:Go1.1的二进制安装包将包含gotour程序(启动命令: go tool tour).

一、语言的改变

Go1发布时曾作出承诺, 保证在Go1.x发布后不会修改之前的语言特性. 这里有一些问题的修复, 还有一些新增加的特性.

整数除以零是编译错误

在Go1中, 整数被一个常量0除会导致一个运行时 panic:

 
 
 
    
  
  
  
  1. func f(x int) int { 
    2. 
  
  
  
  2.     return x/0
    3. 
  
  
  
  3. } 
    4.

在 Go1.1 中, 整数被一个常量0将会被当作一个编译错误处理.

Unicode代理区码点不能用于面值

字符串和 rune 字面值的定义更加严格. Unicode代理区码点不能用于面值. 细节请参考后面的 Unicode 章节.

方法值和方法表达式

Go1.1新实现了方法值(method values), 它是绑定到receiver值的一个闭包. 比如有一个实现了Writer 的 w 值, 那么 w.Write 将等价于下面的闭包函数:

 
 
 
    
  
  
  
  1. func (p []byte) (n int, err error) { 
    2. 
  
  
  
  2.     return w.Write(p) 
    3. 
  
  
  
  3. } 
    4.

方法值(method values)不同于方法表达式(method expressions), 方法表达式是从一个类型对应的函数. 比如 (*bufio.Writer).Write 和下面的普通函数类型:

 
 
 
    
  
  
  
  1. func (w *bufio.Writer, p []byte) (n int, err error) { 
    2. 
  
  
  
  2.     return w.Write(p) 
    3. 
  
  
  
  3. } 
    4.

更新: 现有的代码不需要更新, 这个是新加的特性.

GoSpec中给出了很多例子:

 
 
 
    
  
  
  
  1. f := t.Mv; f(7)   // like t.Mv(7) 
    2. 
  
  
  
  2. f := pt.Mp; f(7)  // like pt.Mp(7) 
    3. 
  
  
  
  3. f := pt.Mv; f(7)  // like (*pt).Mv(7) 
    4. 
  
  
  
  4. f := t.Mp; f(7)   // like (&t).Mp(7) 
    5. 
  
  
  
  5. f := makeT().Mp   // invalid: result of makeT() is not addressable 
    6.

有了方法值, Go1.1可以从interface值中取出方法值(Go1.0不支持方法值):

 
 
 
    
  
  
  
  1. var i interface { M(int) } = myVal 
    2. 
  
  
  
  2. f := i.M; f(7)  // like i.M(7) 
    3.

这样改动的好处是类型的方法和interface方法完全统一了.

Return requirements

在Go1.1之前, 函数如果有返回值的话, 则最后必须有一个retune或panic语句.

 
 
 
    
  
  
  
  1. func abs(x int) int { 
    2. 
  
  
  
  2.     if x >= 0 { 
    3. 
  
  
  
  3.         return x 
    4. 
  
  
  
  4.     } else { 
    5. 
  
  
  
  5.         return -x 
    6. 
  
  
  
  6.     } 
    7. 
  
  
  
  7. } 
    8.

会有以下编译错误:

function ends without a return statement

之前一般可以在末尾加一个panic来回避这个问题:

 
 
 
    
  
  
  
  1. func abs(x int) int { 
    2. 
  
  
  
  2.     if x >= 0 { 
    3. 
  
  
  
  3.         return x 
    4. 
  
  
  
  4.     } else { 
    5. 
  
  
  
  5.         return -x 
    6. 
  
  
  
  6.     } 
    7. 
  
  
  
  7.     panic("not reachable") 
    8. 
  
  
  
  8. } 
    9.

在Go1.1规范, 对函数的终结语句做了定义:

  • https://go.googlecode.com/hg/doc/gospec.html#Terminatingstatements

主要有以下几种类型:

  • return或者goto语句
  • 调用内置的panic函数
  • if语句: 必须带else, 并且if和else部分都有明确的终结语句
  • for语句: 死循环的类型(无退出条件和break语句)
  • switch语句: 没有break语句, 必须有default分支, 每个分支都有终结语句(或者是fallthrough到下个分支的终结语句)
  • select语句: 无break语句, 必须有default分支, 每个分支都有终结语句
  • 用于goto的Label

已有的代码可以不用更新, 当然有些代码可以写的更简化.

#p#

二、实现和工具的变化

gccgo的变化

上个月发布的 GCC 4.8.0 还没有完整的包含 Go1.1. 确实的主要功能是没有方法值, 标准库也有一些差异. 可以期望5月份发布GCC4.8.1时, gccgo能够完整支持Go1.1.

命令行参数解析

在目前的gc工具链中, 编译器和连接器使用的是同样的命令行参数解析规则, 基于Go语言的flag包实现. 和传统的UNIX命令行习惯有些不同. 这可能影响直接调用GC工具的脚本. 例如, 原有的 go tool 6c -Fw -Dfoo 命令, 现在要这样写 go tool 6c -F -w -D foo.

64位系统 int 大小为int64

语言规范运行实现自由选择 int 和 uint 为32位或64位. 在之前的实现中, int 和 uint都是32位. 现在, 在 AMD64/x86-64 平台, GC和gccgo实现的int 和 uint 都是64位的. 一个相关的变化是, 在64位系统切片将可以分配超出int32能表示的20多亿个元素.

更新: 大部分代码不受影响. 如果可能会影响涉及 int 类型转换有关的代码:

 
 
 
    
  
  
  
  1. x := ^uint32(0) // x is 0xffffffff 
    2. 
  
  
  
  2. i := int(x)     // i is -1 on 32-bit systems, 0xffffffff on 64-bit 
    3. 
  
  
  
  3. fmt.Println(i) 
    4.

下面是一种可移植的写法(-1在所有系统是可以确定的):

 
 
 
    
  
  
  
  1. i := int(int32(x)) 
    2.

64位平台的堆大小

对于64位平台, 堆的最大上限扩大很大, 从几个GB到几十个GB(具体细节取决于系统,并且可能会更改).

在32位系统, 堆的大小没有变化.

更新: 现有代码没有影响. 当时新程序可以使用更多的内存.

补充:Windows/amd64目前默认为32GB(以后会根据不同版本调整).

Unicode

主要是和UTF16相关的代理区码点有关:

  • 代理区码点不能用在字符/字符串面值中.
  • 代理区码点的输出也有变化

比如:

 
 
 
    
  
  
  
  1. import "fmt"
    2. 
  
  
  
  2. 
  
  
  
  3. func main() { 
    4. 
  
  
  
  4.     fmt.Printf("%+q\n", string(0xD800)) 
    5. 
  
  
  
  5. } 
    6.

Go 1.0输出为 "\ud800", Go 1.1 输出为 "\ufffd".

Race detector

go tool内置数据竞争检测工具. 目前只支持64位系统. 使用时需要指定-race选项.

比如以下的代码, 在2个不同goroutine中竞争访问m.

 
 
 
    
  
  
  
  1. func main() { 
    2. 
  
  
  
  2.     c := make(chan bool) 
    3. 
  
  
  
  3.     m := make(map[string]string) 
    4. 
  
  
  
  4.     go func() { 
    5. 
  
  
  
  5.         m["1"] = "a" // First conflicting access. 
    6. 
  
  
  
  6.         c <- true
    7. 
  
  
  
  7.     }() 
    8. 
  
  
  
  8.     m["2"] = "b" // Second conflicting access. 
    9. 
  
  
  
  9.     <-c 
    10. 
  
  
  
  10.     for k, v := range m { 
    11. 
  
  
  
  11.         fmt.Println(k, v) 
    12. 
  
  
  
  12.     } 
    13. 
  
  
  
  13. }
    14.

可以这样测试:

 
 
 
    
  
  
  
  1. $ go run -race mysrc.go  // to run the source file
    2.

补充:检测工具目前是基于LLVM的ThreadSanitizer race detector实现的.

gc assemblers

主要是为了适应64位系统int的默认大小变化, 和其他一些内部约定的变化.

go 的变化

go get时必须设置GOPATH, 并且GOPATH和GOROOT不能相同.

补充:建议兲朝用户手工下载, 因为go get默认使用的https协议经常被墙.

go test 的变化

当启动了剖析选项时, go test默认不在删除二进制测试程序. 有专门的选项-cpuprofile:

 
 
 
    
  
  
  
  1. $ go test -cpuprofile cpuprof.out mypackage
    2.

还有-blockprofile选项, 可以检测goroutines被阻塞情况.

更多细节请参考: go help test

go fix 的变化

现在go fix将不再支持Go1之前的代码到Go1的转换. 如果需要处理Go1之前的代码, 需要先使用Go1的工具做预处理.

新的构建约束

如果只在Go1.1+环境编译, 可以设置以下构建选项:

 
 
 
    
  
  
  
  1. // +build go1.1 
    2.

如果是Go1.0.x的变化条件, 则是:

 
 
 
    
  
  
  
  1. // +build !go1.1 
    2.

新支持的平台

Go1.1工具链实验性的增加freebsd/arm, netbsd/386, netbsd/amd64, netbsd/arm, openbsd/386 和 openbsd/amd64平台的支持.

对于 freebsd/arm 或 netbsd/arm 必须是ARMv6或更高的版本.

Go1.1对于linux/arm平台实验性的提供cgo的支持.

交叉编译

交叉编译时, 默认禁止CGO. 如果需要启动CGO, 需要手工设置CGO_ENABLED=1.

三、性能优化

主要有以下几个地方:

  • gc编译器生成代码优化, 特别是Intel 32-bit下的浮点运算
  • gc编译器采用更多的内联优化, 比如内置的append函数和interface的转换等
  • map的一个改进实现, 显著减少内存碎片和CPU时间
  • 在多核的CPU上, 可以并行的运行垃圾回收
  • 更精确的垃圾回收, 可以显著减少堆的大小, 特别是在32位系统
  • 运行时和网络库配合更紧密, 减少上下文切换代价
  • 标准库的优化

根据官方的说法, Go1.1性能提升基本有30%-40%, 有时更多(当然也有不明显的情况).

补充:Windows版本很多优化的代码还没有合并进来, 特别是运行时/网络部分.

四、标准库的变化

  • reflect包功能完善: 实现了select的支持; 类型转换支持; 变量到闭包的转换; chan/map/slice的支持等.
  • 新加的包: go/format/net/http/cookiejar/runtime/race
  • 其他很多包的问题修复/功能完善/性能优化 等.

这个部分细节太多, 具体查看官方文档吧.

新闻名称：Go1.1新特性介绍(语言和库更完善/性能提高约30%)
文章链接：http://www.mswzjz.cn/qtweb/news42/490692.html

攀枝花网站建设、攀枝花网站运维推广公司-贝锐智能，是专注品牌与效果的网络营销公司；服务项目有等

广告

声明：本网站发布的内容（图片、视频和文字）以用户投稿、用户转载内容为主，如果涉及侵权请尽快告知，我们将会在第一时间删除。文章观点不代表本网站立场，如需处理请联系客服。电话：028-86922220；邮箱：631063699@qq.com。内容未经允许不得转载，或转载时需注明来源： 贝锐智能

贝锐智能技术为您推荐以下文章

全网营销推广知识

同城分类信息

电商网店　　 　成都艺考培训　　 　主机托管　　 　高端网站建设　　 　娄底尾呼妄服装　　 　发光字制作　　 　成都网站建设公司　　 　网站改版维护　　 　古巴雪茄　　 　成都微信小程序开发　　 　做网站　　 　外贸网站建设　　 　ssl证书申请　　 　网站制作　　 　成都网站推广　　 　企业手机网站建设　　 　成都网站制作　　 　腾讯云香港虚拟主机　　 　手机网站建设　　 　成都网站建设