Go编程语言的简单介绍

（以下内容是我的硕士论文的摘录，几乎是整个 2.1 章节，向具有 CS 背景的人快速介绍 Go）

Go 是一门用于并发编程的命令式编程语言，它主要由创造者 Google 进行开发，最初主要由 Robert Griesemer、Rob Pike 和 Ken Thompson 开发。这门语言的设计起始于 2007 年，并在 2009 年推出最初版本；而第一个稳定版本是 2012 年发布的 1.0 版本。¹

Go 有 C 风格的语法（没有预处理器）、垃圾回收机制，而且类似它在贝尔实验室里被开发出来的前辈们：Newsqueak（Rob Pike）、Alef（Phil Winterbottom）和 Inferno（Pike、Ritchie 等人），使用所谓的 Go 协程goroutines和信道channels（一种基于 Hoare 的“通信顺序进程”理论的协程）提供内建的并发支持。²

Go 程序以包的形式组织。包本质是一个包含 Go 文件的文件夹。包内的所有文件共享相同的命名空间，而包内的符号有两种可见性：以大写字母开头的符号对于其他包是可见，而其他符号则是该包私有的：

func PublicFunction() {
    fmt.Println("Hello world")
}
 
func privateFunction() {
    fmt.Println("Hello package")
}

类型

Go 有一个相当简单的类型系统：没有子类型（但有类型转换），没有泛型，没有多态函数，只有一些基本的类型：

1. 基本类型：int、int64、int8、uint、float32、float64 等
2. struct
3. interface：一组方法的集合
4. map[K, V]：一个从键类型到值类型的映射
5. [number]Type：一些 Type 类型的元素组成的数组
6. []Type：某种类型的切片（具有长度和功能的数组的指针）
7. chan Type：一个线程安全的队列
8. 指针 *T 指向其他类型
9. 函数

10. 具名类型：可能具有关联方法的其他类型的别名（LCTT 译注：这里的别名并非指 Go 1.9 中的新特性“类型别名”）：

      type T struct { foo int }
      type T *T
      type T OtherNamedType

    具名类型完全不同于它们的底层类型，所以你不能让它们互相赋值，但一些操作符，例如 +，能够处理同一底层数值类型的具名类型对象们（所以你可以在上面的示例中把两个 T 加起来）。

映射、切片和信道是类似于引用的类型——它们实际上是包含指针的结构。包括数组（具有固定长度并可被拷贝）在内的其他类型则是值传递（拷贝）。

类型转换

类型转换类似于 C 或其他语言中的类型转换。它们写成这样子：

TypeName(value)

常量

Go 有“无类型”字面量和常量。

1 // 无类型整数字面量
const foo = 1 // 无类型整数常量
const foo int = 1 // int 类型常量

无类型值可以分为以下几类：UntypedBool、UntypedInt、UntypedRune、UntypedFloat、UntypedComplex、UntypedString 以及 UntypedNil（Go 称它们为基础类型，其他基础种类可用于具体类型，如 uint8）。一个无类型值可以赋值给一个从基础类型中派生的具名类型；例如：

type someType int
 
const untyped = 2 // UntypedInt
const bar someType = untyped // OK: untyped 可以被赋值给 someType
const typed int = 2 // int
const bar2 someType = typed // error: int 不能被赋值给 someType

接口和对象

正如上面所说的，接口是一组方法的集合。Go 本身不是一种面向对象的语言，但它支持将方法关联到具名类型上：当声明一个函数时，可以提供一个接收者。接收者是函数的一个额外参数，可以在函数之前传递并参与函数查找，就像这样：

type SomeType struct { ... }
type SomeType struct { ... }
 
func (s *SomeType) MyMethod() {
}
 
func main() {
    var s SomeType
    s.MyMethod()
}

（编辑：ASP站长网）