Golang Tour part2

Transcript

1. Golang  Tour By  Raymond Part  2
2. 并发与分布式 多核化和集群化是互联网时代的典型特征，那语言需要哪些特性来应对这些特征呢？ 第一个话题是并发执行的“执行体”。执行体是个抽象的概念，在操作系统层面有 多个概念与之对应，比如操作系统自己掌管的进程（ process）、进程内的线程 （ thread）以及进程内的协程（corou8ne，也叫轻量级线程）。多数语言在语法层 面并不直接支持协程，而通过库的方式支持的协程的功能也并不完整，比如仅仅提 供协程的创建、销毁与切换等能力。如果在这样的协程中调用一个同步 IO操作，比 如网络通信、本地文件读写，都会阻塞其他的并发执行协程，从而无法真正达到协 程本身期望达到的目标。 Go语言在语言级别支持协程，叫 gorou8ne。Go语言标准库提供的所有系统调用 （ syscall）操作，当然也包括所有同步 IO操作，都会出让 CPU给其他gorou8ne， 这让事情变得非常简单。我们对比一下Java和Go，近距离观摩下两者对“执行 体”的支持。
3. Java标准库中的线程，而不是协程，具体代码如下： public  class  MyThread  implements  Runnable  {     String  arg;     public  MyThread(String  a)  {    arg  =  a;     }     public  void  run()  {      //  ...     }     public  sta8c  void  main(String[]  args)  {      new  Thread(new  MyThread("test")).start();      //  ...   }   }
4. 相同功能的代码，在 Go语言中是这样的： func  run(arg  string)  {    //  ...   }   func  main()  {    go  run("test")    //...   } 对比非常鲜明。我相信你已经明白为什么 Go语言会叫 Go语言了：Go语 言献给这个时代最好的礼物，就是加了 go这个关键字。当然也有人会说， 叫 Go语言是因为它是 Google出的。
5. 执行体间的通信 先说“执行体之间的互斥与同步”。当执行体之间存在共享资源（一般是共享 内存）时，为保证内存访问逻辑的确定性，需要对访问该共享资源的相关执 行体进行互斥。当多个执行体之间的逻辑存在时序上的依赖时，也往往需要 在执行体之间进行同步。互斥与同步是执行体间最基础的交互方式。 多数语言在库层面提供了线程间的互斥与同步支持，那么协程之间的互斥与 同步呢？呃，不好意思，没有。事实上多数语言标准库中连协程都是看不到 的。 再说“执行体之间的消息传递”。在并发编程模型的选择上，有两个流派，一 个是共享内存模型，一个是消息传递模型。多数传统语言选择了前者，少数 语言选择后者，其中选择“消息传递模型”的最典型代表是 Erlang语言。业界 有专门的术语叫“ Erlang风格的并发模型”，其主体思想是两点：一是“轻 量级的进程（ Erlang中‘进程’这个术语就是我们上面说的‘执行体’）”， 二是“消息乃进程间通信的唯一方式”。当执行体之间需要相互传递消息时， 通常需要基于一个消息队列（message  queue）或者进程邮箱（ process  mail   box）这样的设施进行通信。
6. Go语言推荐采用“ Erlang风格的并发模型”的编程范式，尽管传统的 “共享内存模型”仍然被保留，允许适度地使用。在 Go语言中内置了 消息队列的支持，只不过它叫通道（ channel）。两个gorou8ne之间可 以通过通道来进行交互。 Erlang?     }}}}}}}}}}}}}}}}}}}}}}}}}
7. 软件工程 单机时代的语言可以只关心问题本身的解决，但是随着工程规模的不断扩大， 软件复杂度的不断增加，软件工程也成为语言设计层面要考虑的重要课题。多 数软件需要一个团队共同去完成，在团队协作的过程中，人们需要建立统一的 交互语言来降低沟通的成本。规范化体现在多个层面，如： 代码风格规范 错误处理规范 包管理 契约规范（接口） 单元测试规范 功能开发的流程规范
8. Go语言很可能是第一个将代码风格强制统一的语言，例如 Go语言要求 public的变量必须以大写字母开头，private变量则以小写字母开头，这种做 法不仅免除了public、private关键字，更重要的是统一了命名风格。 另外，Go语言对 {  }应该怎么写进行了强制， 比如以下风格是正确的： if  expression  {      ...     } if  expression     {      ...     } 但下面这个写法就是错误的： 而C和Java语言中则对花括号的位置没有任何要求。哪种更有利，这个见仁见 智。但很显然的是，所有的 Go代码的花括号位置肯定是非常统一的。
9. 最有意思的其实还是 Go语言首创的错误处理规范： f,  err  :=  os.Open(filename)   if  err  !=  nil  {      log.Println("Open  file  failed:",  err)      return   }     defer  f.Close()    ...  //  操作已经打开的 f文件 这里有两个关键点。其一是 defer关键字。 defer语句的含义是不管程序是否出 现异常，均在函数退出时自动执行相关代码。在上面的例子中，正是因为有了 defer，才使得无论后续是否会出现异常，都可以确保文件被正确关闭。其二是 Go语言的函数允许返回多个值。大多数函数的最后一个返回值会为 error类型， 以在错误情况下返回详细信息。
10. error类型只是一个系统内置的interface类型，如下： type  error  interface  {  Error()  string  } 有了error类型，程序出现错误的逻辑看起来就相当统一。在Java中，你可能这样 写代码来保证资源正确释放： Connec8on  conn  =  ...;   try  {      Statement  stmt  =  ...;      try  {      ResultSet  rset  =  ...;        try  {        ...  //  正常代码      }        finally  {        rset.close();      }      }      finally  {      stmt.close();    }     }     finally  {    conn.close();     }
11. 完成同样的功能，相应的 Go代码只需要写成这样： conn  :=  ...     defer  conn.Close()     stmt  :=  ...       defer  stmt.Close()   rset  :=  ...       defer  rset.Close()    ...  //  正常代码 对比两段代码， Go语言处理错误的优势显而易见。当然，其实 Go语言 带给我们的惊喜还有很多。
12. 编程哲学 Go语言有着完全不同的设计哲学，既然函数重载带来了负担，并且这个特性并 不对解决任何问题有显著的价值，那么 Go就不提供它。其次，Go语言支持类、 类成员方法、类的组合，但反对继承，反对虚函数（ virtual  func8on）和虚函 数重载。确切地说， Go也提供了继承，只不过是采用了组合的文法来提供： type  Foo  struct  {      Base  ...   }   func  (foo  *Foo)  Bar()  {      ...     } 再次，Go语言也放弃了构造函数（ constructor）和析构函数（destructor）。 由于Go语言中没有虚函数，也就没有 vptr，支持构造函数和析构函数就没有 太大的价值。本着“如果一个特性并不对解决任何问题有显著的价值，那么 Go就不提供它”的原则，构造函数和析构函数就这样被Go语言的作者们干掉 了。
13. 在放弃了大量的 OOP特性后，Go语言送上了一份非常棒的礼物：接口 （ interface）。你可能会说，除了 C这么原始的语言外，还有什么语言 没有接口呢？是的，多数语言都提供接口，但它们的接口都不同于 Go 语言的接口。 Go语言中的接口与其他语言最大的一点区别是它的非侵入性。在 C++、 Java和C#中，为了实现一个接口，你需要从该接口继承，具体代码如下： class  Foo  implements  IFoo  {      //  Java文法 ...     }     class  Foo  :  public  Ifoo   {      //  C++文法 ...     }     IFoo*  foo  =  new  Foo;
14. 在Go语言中，实现类的时候无需从接口派生，具体代码如下： type  Foo  struct  {      //  Go  文法 ...     }   var  foo  IFoo  =  new(Foo) 只要Foo实现了接口IFoo要求的所有方法，就实现了该接口，可以进行赋值。 Go语言的非侵入式接口，看似只是做了很小的文法调整，实则影响深远。     其一，Go语言的标准库再也不需要绘制类库的继承树图。你只需要知道这个 类实现了哪些方法，每个方法是啥含义就足够了。     其二，不用再纠结接口需要拆得多细才合理，比如我们实现了 File类，它有下 面这些方法： Read(buf  []byte)  (n  int,  err  error)     Write(buf  []byte)  (n  int,  err  error)     Seek(off  int64,  whence  int)  (pos  int64,  err  error)     Close()  error
15. 那么，到底是应该定义一个 IFile接口，还是应该定义一系列的 IReader、 IWriter、 ISeeker和ICloser接口，然后让File从它们派生好呢？事实上，脱离了实 际的用户场景，讨论这两个设计哪个更好并无意义。问题在于，实现 File类的时 候，我怎么知道外部会如何用它呢？ 其三，不用为了实现一个接口而专门导入一个包，而目的仅仅是引用其中的某个 接口的定义。在Go语言中，只要两个接口拥有相同的方法列表，那么它们就是 等同的，可以相互赋值，如对于以下两个接口，第一个接口： package  one   type  ReadWriter  interface  {    Read(buf  []  byte)  (n  int,  err  error)    Write(buf  []  byte)  (n  int,  err  error)   } 第二个接口： package  two   type  IStream  interface  {    Write(buf  []  byte)  (n  int,  err  error)    Read(buf  []  byte)  (n  int,  err  error)   }
16. 这里我们定义了两个接口，一个叫 one.ReadWriter，一个叫 two.IStream， 两者都定义了Read()和Write()方法，只是定义的次序相反。      one.ReadWriter先定义了 Read()再定义 Write()，而two.IStream反之。 在任何地方使用 one.ReadWriter接口，与使用 two.IStream并无差异。所 以在Go语言中，为了引用另一个包中的接口而导入这个包的做法是不被 推荐的。因为多引用一个外部的包，就意味着更多的耦合。