Go语言特性记录及与java、python对比之包、变量和函数

Go 编程语言是一个开源项目，它使程序员更具生产力。
Go 语言具有很强的表达能力，它简洁、清晰而高效。得益于其并发机制，用它编写的程序能够非常有效地利用多核与联网的计算机，其新颖的类型系统则使程序结构变得灵活而模块化。 Go代码编译成机器码不仅非常迅速，还具有方便的垃圾收集机制和强大的运行时反射机制。
它是一个快速的、静态类型的编译型语言，感觉却像动态类型的解释型语言。

Go起初是基于对C的改进，语法与C相近，增加了内存安全，GC（垃圾回收），结构形态及 CSP-style 并发计算等功能。
与C++相比，Go并不包括如枚举、异常处理、继承、泛型、断言、虚函数等功能，但增加了 切片(Slice) 型、并发、管道、垃圾回收、接口（Interface）等特性的语言级支持。Go2.0版本将支持泛型，对于断言的存在，则持负面态度，同时也为自己不提供类型继承来辩护。 不同于Java，Go内嵌了关联数组（也称为哈希表（Hashes）或字典（Dictionaries）），就像字符串类型一样。

本文是学习Go语言之旅后的学习笔记，主体知识是原文，部分内容加以自己的理解进行表述，还会加入一些自己的感悟和理解。

导入导出包

每个 Go 程序都是由包构成的，程序从 main 包开始运行。如果需要一些其他特性（内置函数），就如同Java和Python一样需要导入包，不过和后两者直接导入名字的导入方式有所不同，Go和C的include类似需要双引号，分组导入则需要使用“（）”进行闭合，稍微繁琐了一点。

package main

import (
	"fmt"
	"math/rand"
)

func main() {
	fmt.Println("My favorite number is", rand.Intn(10))
}

在 Go 中，在导入一个包引用其内置的成员时，需要注意成员首字母是大写的，这代表这个成员是“已导出的”（我理解为合法），你只能引用其中已导出的名字，任何“未导出”的名字在该包外均无法访问。

如果不遵守这个规则，就会出现 cannot refer to unexported name xxx的错误

函数传参

Go函数可以没有参数或接受多个参数，一个特点是类型在变量名之后，当连续两个或多个函数的已命名形参类型相同时，除最后一个类型以外，其它都可以省略。Go和java一样没有引用传递，不存在引用变量。

func add1(x int, y int) int {
	return x + y
}

func add2(x, y int) int {
	return x + y
}

函数返回值

Go函数可以返回任意数量的返回值，而且返回值类型放在参数小括号后边与函数体大括号之间，分组返回需要用小括号闭合，而在函数名前使用func进行函数定义，和J、C相比这都是比较新颖的地方，和P倒是有点相似。

func swap(x, y string) (string, string) {
	return y, x
}

命名返回值
Go 的返回值可被命名，它们会被视作定义在函数顶部的变量，也就是说接下来函数体可以直接使用。
返回值的名称应当具有一定的意义，它可以作为文档使用，事实上每一处的命名都应该尽量规范有含义。
没有参数的 return 语句返回已命名的返回值。也就是 直接 返回。
直接返回语句应当仅用在下面这样的短函数中。在长的函数中它们会影响代码的可读性。

func split(sum int) (x, y int) {
	x = sum * 4 / 9
	y = sum - x
	return
}

变量

Go定义变量是使用var语句声明一个变量列表，类似函数定义先在最前边放出这是什么东西（关键字），然后类型在最后。var语句可以出现在包或函数级别，注意这里初始化赋值是“=”而不是“:=’”。

var a, b, c bool

初始化
同其他很多语言一样，变量声明时就可以给出每个变量对应的初始值。值得注意的是，如果初始化值已存在，则可以省略类型，变量会从初始值中获得类型。

var i, j int = 1, 2
var i, j = 1, 2

短变量声明
在函数中，简洁赋值语句 := 可在类型明确的地方代替 var 声明。在函数外的每个语句都必须以关键字开始（var, func 等等），因此 := 结构不能在函数外使用。

func main() {
	var i, j int = 1, 2  //普通变量声明
	k := 3 //短变量声明
}

基本类型
Go 的基本类型有

bool
string
int int8 int16 int32 int64 uint uint8 uint16 uint32 uint64 uintptr
byte // uint8 的别名
rune // int32 的别名 表示一个 Unicode 码点
float32 float64
complex64 complex128

本例展示了几种类型的变量。 同导入语句一样，变量声明也可以“分组”成一个语法块。

int, uint 和 uintptr 在 32 位系统上通常为 32 位宽，在 64 位系统上则为 64 位宽。 当你需要一个整数值时应使用 int 类型，除非你有特殊的理由使用固定大小或无符号的整数类型。

import (
	"math/cmplx"
)
var (
	ToBe   bool       = false
	MaxInt uint64     = 1<<64 - 1
	z      complex128 = cmplx.Sqrt(-5 + 12i)
)

零值
没有明确初始值的变量声明会被赋予它们的 零值，也就是说未初始化的变量的默认值统一为 “零值”
零值是：
数值类型为 0，
布尔类型为 false，
字符串为 “”（空字符串）。

类型转换
表达式 T(v) 将值 v 转换为类型 T。
一些关于数值的转换：

var i int = 42
var f float64 = float64(i)
var u uint = uint(f)

或者，更加简单的形式，通过短变量声明进行：

i := 42
f := float64(i)
u := uint(f)

与 C 不同的是，C数值类型转换的时候会自行变化，Go 在不同类型的项之间赋值时需要显式转换，如果没有显式转换会报错例如“cannot use f (type float64) as type uint in assignment”

类型推导
在声明一个变量而不指定其类型时（即使用不带类型的 := 语法或 var = 表达式语法），变量的类型由右值推导得出。

当右值声明了类型时，新变量的类型与其相同：

var i int
j := i // j 也是一个 int

不过当右边包含未指明类型的数值常量时，新变量的类型就可能是 int, float64 或 complex128 了，这取决于常量的精度：

i := 42           // int
f := 3.142        // float64
g := 0.867 + 0.5i // complex128

常量

常量的声明与变量类似，也有分组声明形式，只不过是使用的关键字是const。常量可以是字符、字符串、布尔值或数值。常量不能用 := 语法声明。

const Pi = 3.14
const (
	// 将 1 左移 100 位来创建一个非常大的数字
	// 即这个数的二进制是 1 后面跟着 100 个 0
	Big = 1 << 100
	// 再往右移 99 位，即 Small = 1 << 1，或者说 Small = 2
	Small = Big >> 99
)

数值常量
数值常量是高精度的 值。
一个未指定类型的常量由上下文来决定其类型。比如当作参数传给函数时，依据函数的参数变量类型而定。