90后“老头儿”和00后Go小子的硬盘夜话
虽然这个目录中各种编程语言写的程序层出不穷,但Java还是怀念不幸罹难的C老头儿。他经常给同一目录中的Python ,Ruby说C老头儿知识多么渊博,贴近硬件运行,速度飞快,能从他身上学到很多东西等等。
(老刘注:参加《C老头儿和Java小子的硬盘夜话》)
今天目录里入驻了一个新家伙,Java一看文件名"hello.go"就知道这是一门新的语言,难道这们语言叫做Go吗? 用一个动词作为语言名称,挺少见的啊!
Java赶紧上网搜索,我赛,这个小伙子是2009年出生的,都快10后了,太年轻了。我们这些90后真的成为老家伙了!
一群90后的老家伙们Java, Python, Ruby.....把00后的Go程序团团围住,仔细地打量:“新来的,你有什么本事?”
Go 有点害怕:“你们要干嘛, Ken Thompson, Rob Pike是我亲爹 ,你们小心点儿!”
Python悄悄地问Java :“这俩人是什么鬼?”
“孤陋寡闻了吧” Java 其实也是刚刚上网搜过,现学现卖:“ Ken Thompson是Unix 和C的创始人,Rob Pike是 UTF-8的设计者! 这不是主要的,关键是Google在为这小子站台背书。”
大家听到这小子背景如此深厚,不由得怯了下来。
“按照惯例,新人都要来一个Hello World,交个投名状吧!”
"又来了一个把类型放到变量名后边的!" Java一看到这种语法就气不打一处来!
“Java先生,您JVM平台上的Scala和Kotlin不都是如此吗?” 00后Go小伙儿所知甚多,以己之道还治彼身。
“那俩小子敢到这儿来,我一定把他们痛打一顿,你们的这种语法,总是让老夫感到真气逆行!” Java竟然自称老夫,真是老了。
“好了,消消气吧,年龄大了,真气逆行,走火入魔了可不好啊!” Python 安慰到。
“不过这小子的变量都得指定类型,看起来也是个静态类型的语言,是我辈中人。” Java感到了一丝安慰。
“谁是你辈中人? 你仔细再看看这个变量声明,根本没有指定类型,语句后边连分号都没有,和我们Python 才是一家人。” Python 开始和Go 套近乎。
Java “老头儿”不屑地说:“这点儿小把戏你都不懂? 这是自动类型推断,我们家Kotlin早就玩烂了! 就说那个name吧,已经被声明为字符串类型了,不能再改动了,你把它赋值为一个整数试试? 我打赌编译器一定报错!”
由于来了一个静态类型同盟军,Java 对Go建立了一点好感,他问道:“小伙子,对于一门语言来说,肯定得有几种最基本的数据结构,例如数组了,列表了,HashMap了,你应该内置的都有吧?”
“那是自然,现在不是C语言时代了,语言中都得内置常用的数据类型,没有它们怎么混江湖啊!” Go马上回复。
“流程控制语句估计差不多,我也不想看了, 你怎么实现用户自定义的类啊?” Java自居为这个目录的老大,代表大家继续盘问。
Go说:“很简单,我们从C老头儿那里学了一个struct 过来”
一听说偶像C老头儿,Java的眼睛就亮了,这语法果然和C差不多。
“嗯? 这只是属性数据啊, 没有相关的方法吗?” Python 不让Java独大,急忙追问。
“简单,写个方法就行了!”
“方法和属性分开了,不在一起,好古怪啊!” 大家纷纷叫道。
“我们都有public, private 这样的权限限定符,你那里怎么处理?” Ruby 问道。
“我这里很简单,如果一个标识符(如方法,变量等)以大写字母开头,就意味着是公开的,别的包的代码就可以访问,否则就是私有的!”
大家纷纷惊叹, 这...这也有点太天马行空了吧!
“你怎么处理继承?”
“我这里其实并没有继承,我这里只有组合:”
又是一片惊叹声, 大家纷纷拿这种方法和自己的实现做比较,Java老头儿想起了面向对象设计的一个重要原则:“优先使用组合而不是继承”, 心里觉得Go的这种思路还是挺不错的。
“那你能实现多态吗?”
“那还用说, 我实现的方式也很简单,不用强制一个类去实现一个接口,只要你拥有和接口一样的方法就可以当做那个接口来使用!”
“这不就是和我们的Duck Typing 一样嘛!” Python和Ruby 异口同声地说,“只要你看起来鸭子,走起路来摇摇晃晃像鸭子,那不管你是否实现了鸭子的接口,我们就会认为你是个鸭子!”
Java不支持Duck Typing , 心里略微不爽,他撇撇嘴说: “这有什么啊,都是一些奇技淫巧。 我问你,你的多线程编程实现得怎么样?这才是你能不能在服务器端,在高并发的苛刻环境中活下来的关键!”
Go说:“我没有多线程!”
没有线程? 大家都瞪大了眼睛,那你怎么支持并发啊?
“可是我有goroutine, 可以认为是一种轻量级的线程。”
“我说嘛,现代语言怎么可能不支持并发? 你这个goroutine有什么特点?” Java问道。
“goroutine和线程很像,就是一段可以运行的代码,你在一个函数调用之前加上关键字go 就启动了一个goroutine,简单不?“
“说说你具体是怎么实现的?”
“当你创建一个goroutine,它会被加入到一个全局的运行队列当中, 然后调度器会把他们分配给某个逻辑处理器,这个逻辑处理器会被绑定到唯一的操作系统线程,在上面真正地运行goroutine,如果一个逻辑处理器有多个goroutine要运行,那也要就形成队列,让逻辑处理器来调度执行。”
(逻辑处理器可以有多个)
“要是某个goroutine需要读写文件,阻塞了怎么办?” Java 很关心这个问题。
“简单,就让这个goroutine和逻辑处理器解脱关联,直接和系统线程绑定,等到读写文件完成以后,在回到某个逻辑处理器的队列去。”
“那你相当于自己实现了一个线程的调度器啊” Python 感叹到。
“是啊,你们不是这么玩的吗?” Go 反问道。
Java , Python,Ruby 自然不是这么玩的,根本没有逻辑处理器这个东西,像Java,会把用户空间的线程直接映射到系统的核心线程去执行。
“goroutine 虽说是轻量级的线程,他们之间怎么通信?” Java问道。
“我的创始人发明了一个叫做Channel的东西,你可以理解为一个通道,通过它各个goroutine就可以发送、接收数据了!”
goroutine其实就像在程序在用户空间实现的线程, 非常地轻量级,所需的空间非常小,切换也发生在用户空间,开销极小。所以非常适合创建大量的goroutine去并发地执行请求。
“咦,这小子生成了一个hello.exe来运行啊。” Ruby观察得挺仔细。
原来的C老头儿也是编译成exe执行的, Ruby的这个发现一下子激起了大家的妒忌,因为这里的90后们,无论是Java, Python, Ruby, PHP其实都有一个虚拟机帮他们执行程序, 他们都想体验下当个exe,直接在硬件上执行那如飞的感觉,奈何是没有机会啊。
Java 有个好处是Hotspot的虚拟机,能把部分热点代码变成机器指令,在硬件CPU上执行,这已经让Java吹嘘很多天了,没想到又来了一个直接生成exe执行的。
Java 想起之前C老头儿说的指针和内存管理的地狱,马上抛出一个撒手锏:“你有自动内存管理吗?”
这目录里边的大部分语言都是由虚拟机自动管理内存, 听到Java这么问,心里又来了一些优越感。
“当然有了!你只管创建对象,分配内存,垃圾回收Go会自己做的,我亲爹说过,一定要把C语言不好用的地方改进了!”
这些把大家震住了,一个exe程序,又能自动管理内存,以后我们还有活路吗?
“你们看,这个exe文件好大啊。” 有人叫道。
果真如此,一个小小的hello.exe竟然有1M多,怎么回事?
“我们Go语言默认是静态链接的,那个exe会把运行时所需要的所有东西都加进去,这样你就可以把exe复制到任何地方去运行了,多方便! 再说了我们那个exe文件还包含着垃圾回收不是?”
Java说:“啊,我明白了,其实你的每个exe文件当中已经包含了一个类似于虚拟机的runtime对不对? 要不然你怎么去自动地回收垃圾,进行goroutine的调度啊。”
大家伙的优越感又恢复了一点点,至少不会望人项背了。
夜已深,Java做了个最后的总结:“新来的Go小子代码写起来有点Python的感觉,简洁干练,但骨子中去却流淌着静态类型的血液。他的封装、继承、多态还有goroutine都显得如此与众不同,但是总能在某个语言中找到一点影子,虽然能编译成EXE,性能不错,但实际上也有runtime 。看来是吸收了不少语言的特点啊。”
大伙纷纷表示赞同,然后就鸟兽散了。
(完)
你看到的只是冰山一角, 更多精彩文章,请移步《2016文章精华》或者《2017上半年文章精华》
码农翻身
用故事讲述技术