各种类型复制的时候的花费

本节标题也可以叫做“各种类型的值的大小” (the sizes of values of all kinds of types),底层可被不同的值共享的数据的大小未被计算。

下面的表格中一个 word在32bit操作系统中代表4个字节,在64bit操作系统中代表8个字节,内容基于官方的Go 1.7的编译器。

TypeCost Of Value Copying (Value Size)
bool1 byte
int8, uint8, byte1 byte
int16, uint162 bytes
int32, uint32, rune4 bytes
int64, uint648 bytes
int, uint, uintptr1 word
string2 words
pointer1 word
slice3 words
map1 word
channel1 word
function1 word
interface2 words
structthe sum of sizes of all fields
array(element value size) * (array length)

可使用内建函数的类型 (lencapclosedeletemake)

lencapclosedeletemake
stringYes
array (and array pointer)YesYes
sliceYesYesYes
mapYesYesYes
channelYesYesYesYes

上面的所有类型都可以使用 range遍历。

可以用作len函数参数的类型也叫做容器类型。

内建容器类型的值比较

假定容器的值可寻址(addressable)。

Type长度可变元素可更新元素可寻址查找会更改容器的长度底层元素可以共享
stringNoNoNoNoYes
arrayNoYesYesNoNo
sliceNoYesYesNoYes
mapYesYesNoNoYes
channelYesNoNoYesYes

组合类型T{...}的值比较

Type (T)T{}是类型T的零值?
structYes
arrayYes
sliceNo (零值是 nil)
mapNo (零值是 nil)

零值是nil的类型

Type (T)Size Of T(nil)
pointer1 word
slice3 words
map1 word
channel1 word
function1 word
interface2 words

这些类型的零值的大小和上面类型的大小保持一致。

编译时被执行的函数

如果函数在编译时被执行,那么它的返回值是常量。

Function返回值编译时便计算?
unsafe.SizeofuintptrYes, 总是
unsafe.Alignof
unsafe.Offsetof
lenint有时候是 

Go 规范中讲到:
  • 如果s是字符串常量,则len(s)是常量.
  • 如果s是数组或者是数组指针,则len(s)是常量.
cap
realfloat64
(默认类型)
有时候是 

Go 规范中讲到: 如果s是复数常量,则real(s) 和imag(s) 是常量.
imag
complexcomplex128
(默认类型)
有时候是 

Go 规范中讲到: 如果sr 和si都是常量,则complex(sr, si)是常量.

不能被寻址的值

下面的值不能被寻址(addresses):

  • bytes in strings:字符串中的字节
  • map elements:map中的元素
  • dynamic values of interface values (exposed by type assertions):接口的动态值
  • constant values:常量
  • literal values:字面值
  • package level functions:包级别的函数
  • methods (used as function values):方法
  • intermediate values:中间值
    • function callings
    • explicit value conversions
    • all sorts of operations, except pointer dereference operations, but including:
      • channel receive operations
      • sub-string operations
      • sub-slice operations
      • addition, subtraction, multiplication, and division, etc.

注意, &T{}相当于tmp := T{}; (&tmp)的语法糖,所以&T{}可合法不意味着T{}可寻址。

下面的值可以寻址:

  • variables
  • fields of addressable structs
  • elements of addressable arrays
  • elements of any slices (whether the slices are addressable or not)
  • pointer dereference operations

不支持比较的类型

下面的类型不支持直接比较:

  • map
  • slice
  • function
  • struct types containing incomparable fields
  • array types with incomparable elements

这些不能直接比较的类型不能用做map的key值。

注意:尽管map、slice、function类型不支持直接比较,但是它们的值却可以和nil直接比较。如果两个接口的动态类型不能比较,运行时比较这两个接口会panic,除非其中一个的动态值是untyped nil。

可命名的源代码元素

下面的源代码元素可以命名,名称必须是 Identifier

可以使用 _ 做名称?
packageNo
importYes
typeYes
variableYes
constantYes
functionYes
labelYes

命名的源代码元素可以使用 ()分组声明

下面的类型可以使用()分组生命

  • import
  • type
  • variable
  • constant

函数和标签(label)不能使用()分组声明。

可以在函数内外声明的源代码元素

下面的类型可以声明在函数内,也可以声明在函数外:

  • type
  • variable
  • constant

import必须在其它元素的声明的前面(package语句的后面)。

函数在其它函数的外面声明。(译者注:函数变量/匿名函数可以在函数内声明)

标签(label)必须声明在函数内。

可以返回一个可选bool返回值的表达式

下面的表达式可以返回一个可选的bool值:

可选的bool返回值的意义忽略可选值会影响程序的行为?
map element accessmap中是否包含要No
channel value receive在channel关闭前收到的值是否已发出No
type assertion接口的动态类型是否符合asserted typeYes

(当可选值被忽略时,如果类型不match则会抛出panic)|

使用channel机制永远阻塞当前goroutine的方法

下面的方法都可以永远阻塞当前的goroutine:

1、receive from a channel which no values will be sent to

1
2
3
<-make(chan struct{}) 
// or
<-make(<-chan struct{})

2、send value to a channel which no ones will receive values from

1
2
3
make(chan struct{}) <- struct{}{}
// or
make(chan<- struct{}) <- struct{}{}

3、receive value from a nil channel

1
<-chan struct{}(nil)

4、send value to a nil channel

1
chan struct{}(nil) <- struct{}{}

5、use a bare select block

1
select{}

连接字符串的几种方法

下面几种方法都可以连接字符串(译者注:不考虑性能):

1、使用+连接字符串。如果连接的字符串少于6个,官方的编译器会对此优化,所以通常使用+简便而有效。
2、使用strings包中的strings.Join连接字符串。
3、使用fmt包中的fmt.Sprintffmt.Sprint 和 fmt.Sprintln连接字符串。这三个方法可以将任意的类型连接成字符串。fmt.Sprintln会在字符串之间加空格,在字符串尾部加新的换行符。如果两个值中的至少一个不是字符串,fmt.Sprint会在它们之间加空格。
4、包bytesBuffer类型(或者内建函数copy)可以用来构建 byte slice, byte slice可以方便地转换成字符串。