本文对go和python、erlang做了一些有趣的分析对比,相信大家能从中感受到go语言的强大和与众不同。
本文主要是介绍go,从语言对比分析的角度切入。之所以选择与python、erlang对比,是因为做为高级语言,它们语言特性上有较大的相似性,不过最 主要的原因是这几个我比较熟悉。 go的很多语言特性借鉴与它的三个祖先:c,pascal和csp。go的语法、数据类型、控制流等继承于c,go的包、面对对象等思想来源于pascal分支, 而go最大的语言特色,基于管道通信的协程并发模型,则借鉴于csp分支。
go/python/erlang语言特性对比
如《 编程语言与范式 》一文所说,不管语言如何层出不穷,所有语言的设计离不开2个基本面:控制流和数据类型。为了提升语言描述能力,语言一般都提供控制抽象和数据抽象。本小节的语言特性对比也从这4个维度入手,详见下图( 点击见大图 )。
图中我们可以看出,相比于python的40个特性,go只有31个,可以说go在语言设计上是相当克制的。
比如,它没有隐式的数值转换,没有构造函数和 析构函数,没有运算符重载,没有默认参数,也没有继承,没有泛型,没有异常,没有宏,没有函数修饰,更没有线程局部存储。
但是go的特点也很鲜明,比如,它拥有协程、自动垃圾回收、包管理系统、一等公民的函数、栈空间管理等。
go作为静态类型语言,保证了go在运行效率、内存用量、类型安全都要强于python和erlang。
go的数据类型也更加丰富,除了支持表、字典等复杂的数据结构,还支持指针和接口类型,这是python和erlang所没有的。特别是接口类型特别强大, 它提供了管理类型系统的手段。
而指针类型提供了管理内存的手段,这让go进入底层软件开发提供了强有力的支持。
go在面对对象的特性支持上做了很多反思和取舍,它没有类、虚函数、继承、泛型等特性。
go语言中面向对象编程的核心是组合和方法(function)。
组合很类似于c语言的struct结构体的组合方式,方法类似于java的接口(interface),但是使用方法上与对象更加解耦,减少了对对象内部的侵入。
erlang 则不支持面对对象编程范式,相比而言,python对面对对象范式的支持最为全面。
在函数式编程的特性支持上,erlang作为函数式语言,支持最为全面。
但是基本的函数式语言特性,如lambda、高阶函数、curry等,三种语言都支持。 控制流的特性支持上,三种语言都差不多。
erlang支持尾递归优化,这给它在函数式编程上带来便利。而go在通过动态扩展协程栈的方式来支持深度递 归调用。python则在深度递归调用上经常被爆栈。 go和erlang的并发模型都来源于csp,但是erlang是基于actor和消息传递(mailbox)的并发实现,go是基于goroutine和管道(channel)的并发实 现。
不管erlang的actor还是go的goroutine,都满足协程的特点:由编程语言实现和调度,切换在用户态完成,创建销毁开销很小。
至于python,其多 线程的切换和调度是基于操作系统实现,而且因为gil的大坑级存在,无法真正做到并行。
而且从笔者的并发编程体验上看,erlang的函数式编程语法风格和其otp behavior框架提供的晦涩的回调(callback)使用方法,对大部分的程序员, 如c/c++和java出身的程序员来说,有一定的入门门槛和挑战。而被称为“互联网时代的c”的go,其类c的语法和控制流,以及面对对象的编程范式, 编程体验则好很多。
go/python/erlang语言语法对比
所有的语言特性都需要有形式化的表示方式,go、python、erlang三种语言语法的详细对比如下(点击见完整大图 第一部分 , 第二部分 , 第三部 分 )。
正如go语言的设计者之一rob pike所说,“软件的复杂性是乘法级相关的”。
这充分体现在语言关键词(keyword)数量的控制上,go的关键词是最少 的,只有25个,而erlang是27个,python是31个。
从根本上保证了go语言的简单易学。
go语言将数据类型分为四类:基础类型、复合类型、引用类型和接口类型。
基础类型包括:整型、浮点型、复数、字符串和布尔型。
复合数据类型有数 组和结构体。引用类型包括指针、切片、字典、函数、通道。
其他数据类型,如原子(atom)、比特(binary)、元组(tuple)、集合(set)、记录 (record),go则没有支持。
go对c语言的很多语法特性做了改良,正如rob pike在《 less is exponentially more 》中提到,go的“起点: c语言,解决一些明显的瑕疵、删除杂 质、增加一些缺少的特性。”
比如,switch/case的case子程序段默认break跳出,case语句支持数值范围、条件判断语句;所有类型默认初始化为0, 没有未初始化变量;把类型放在变量后面的声明语法( 链接 ),使复杂声明更加清晰易懂;没有头文件,文件的编译以包组织,改善封装能力;用空接 口(interface {})代替void *,提高类型系统能力等等。
go对函数,方法,接口做了清晰的区分。
与erlang类似,go的函数作为第一公民。
函数可以让我们将一个语句序列打包为一个单元,然后可以从程序中 其它地方多次调用。
函数和方法的区别是指有没有接收器,而不像其他语言那样是指有没有返回值。
接口类型具体描述了一系列方法的集合,而空接口 interfac{}表示可以接收任意类型。
接口的这2中使用方式,用面对对象编程范式来类比的话,可以类比于subtypepolymorphism(子类型多态)和ad hoc polymorphism(非参数多态)。
从图中示例可以看出,go的goroutine就是一个函数,以及在堆上为其分配的一个堆栈。所以其系统开销很小,可以轻松的创建上万个goroutine,并且 它们并不是被操作系统所调度执行。
goroutine只能使用channel来发送给指定的goroutine请求来查询更新变量。这也就是go的口头禅“不要使用共享 数据来通信,使用通信来共享数据”。channel支持容量限制和range迭代器。
go/python/erlang语言词法对比
tdd go编程示例
本小节以tdd方式4次重构开发一个斐波那契算法的方式,来简单展示go的特性、语法和使用方式,如go的单元测试技术,并发编程、匿名函数、闭包 等。 首先,看一下tdd最终形成的单元测试文件:
基于递归的实现方案:
测试结果:
基于goroutine实现的并发方案:
测试结果:
基于迭代的实现方案:
测试结果:
基于闭包的实现方案:
测试结果:
采用IMSPresence业务实现信息家电系统的设计
NI与Skyworks共携手,为实现革命性的5G应用
ARM全新GPU Mali-G51和视频处理器Mali-V61,视觉与处理新体验!
什么是结构化布线,与点对点网络布线哪个好
电子灭蚊灯电路的工作原理解析
Go和Python,Erlang的语言对比分析和Go编程示例概述
2023思尔芯EDA生态大会北京站顺利举办,定档3·15的大会有何精彩?
新基建最大程度提高电桩行业的效率,实现一致对外
WL232A无线串口收发器的原理及固件设计
GPU硬件加速时系统运行步骤
佳能推出VR应用程序 足不出户便可测试相机与镜头
超帅!Ilium VR发布新款枪形外设,下周一开启众筹
无变压器的12v电源实现方案分享
聊聊国内的汽车改装现状以及SUV车型中的CAN数据改装应用
搭载第一代骁龙8+手机优势对比分析
电脑是什么,电脑芯片由什么组成
机器翻译如何变得有道德
应用于复杂建筑楼宇的传感器系列产品
融合AI,持续创新: ST开启智能感知新时代
宝沃推出“性能版”SUV,被称为宝马的双胞胎兄弟!