kotlin介绍

kotlin简介

Kotlin是由JetBrains公司(IDEA开发者)所开发的编程语言,其名称来自于开发团队附近的科特林岛。

多平台开发

JVM :Android; Server-Side

Javascript:前端

Native(beta) :开发原生应用 windows、macos、linux

Swift与Kotlin非常像

http://nilhcem.com/swift-is-like-kotlin/

kotlin发展历程

java发展历程

JVM语言的原理

JVM规范与java规范是相互独立的

只要生成的编译文件匹配JVM字节码规范,任何语言都可以由JVM编译运行.

Kotlin也是一种JVM语言,完全兼容java,可以与java相互调用;Kotlin语言的设计受到Java、C#、JavaScript、Scala、Groovy等语言的启发

kotlin的特性

下面不会去列举语法,而是主要介绍kotlin中我认为比较重要的特性和背后的东西。

类型推断

空类型设计

函数式编程

类型推断

类型推断是指编程语言中在编译期自动推导出值的数据类型。推断类型的能力让很多编程任务变得容易,让程序员可以忽略类型标注的同时仍然允许类型检查。

在开发环境中,我们往往写出表达式,然后可以用快捷键来生成变量声明,往往都是很准的,这说明了编译器其实是可以很准确的推断出来类型的。编程语言所具备的类型推断能力可以把类型声明的任务由开发者转到了编译器.

java中声明变量的方式是类型写在最前面,后面跟着变量名,这就迫使开发者在声明变量时就要先思考变量的类型要定义成什么,而在一些情况下比如使用集合、泛型类型的变量,定义类型就会变得比较繁琐。

Kotlin中声明变量,类型可以省略,或者放到变量名后面,这可以降低类型的权重,从必选变为可选,降低开发者思维负担。java10中也引入了类型推断。

Javascript中声明变量也是用关键字var,但是还是有本质区别的,Kotlin中的类型推断并不是变成动态类型、弱类型,类型仍然是在编译期就已经决定了的,Kotlin仍然是静态类型、强类型的编程语言。javascript由于是弱类型语言,同一个变量可以不经过强制类型转换就被赋不同数据类型的值,

编程语言的一个趋势就是抽象程度越来越高,编译器做更多的事情。

空类型设计

空类型的由来

托尼·霍尔(Tony Hoare),图灵奖得主

托尼·霍尔是ALGOL语言的设计者,该语言在编程语言发展历史上非常重要,对其他编程语言产生重大影响,大多数近代编程语言(包括C语言)皆使用类似ALGOL的语法。他在一次大会上讨论了null应用的设计:

“我把 null 引用称为自己的十亿美元错误。它的发明是在1965 年,那时我用一个面向对象语言( ALGOL W )设计了第一个全面的引用类型系统。我加入了null引用设计,仅仅是因为实现起来非常容易。它导致了数不清的错误、漏洞和系统崩溃,可能在之后 40 年中造成了十亿美元的损失。”

null引用存在的问题

以java为例,看null引用的设计到底存在哪些问题

空指针问题NPE

编译时不能对空指针做出检查,运行时访问null对象就会出现错误,这个就是工程中常见的空指针异常。

null本身没有语义,会存在歧义

值未被初始化

值不存在

也许表示一种状态

逻辑上有漏洞

Java中,null可以赋值给任何引用,比如赋值给String类型变量,String a = null,但是null并不是String类型: a instanceof String 返回的是false,这个其实是有些矛盾的。所以当持有一个String类型的变量,就存在两种情况,null或者真正的String.

解决NPE的方式:

防御式代码

在访问对象前判空,但会有冗余代码;会规避问题,而隐藏真正的问题

抛出异常给调用方处理

方法中传参传入的空值、无效值,抛出受检查异常给上层调用方

增加注解

Android中可以增加@NonNull注解,编译时做额外检查

空状态对象设计模式

空状态对象是一个实现接口但是不做任何业务逻辑的对象,可以取代判空检查;这样的空状态对象也可以在数据不可用的时候提供默认的行为

java8 Optional类

java8中引入了Optional类,来解决广泛存在的null引用问题.官方javadoc文档介绍

A container object which may or may not contain a non-null value. If a value is present, isPresent() will return true and get() will return the value.

Additional methods that depend on the presence or absence of a contained value are provided, such as orElse() (return a default value if value not present) and ifPresent() (execute a block of code if the value is present).

来看一下是如何实现的。

举一个访问对象读取熟悉的例子

java 8 之前 :

java 8:

总结:

1.用Optional还是会比较繁琐,这个也说明了设计一个替代null的方案还是比较难的。

2. optional的耗时大约是普通判空的数十倍,主要是涉及泛型、使用时多创键了一个对象的创建;数据比较大时,会造成性能损失。

3. java8 引入Optional的意义在于提示调用者,用特殊类型包装的变量可能为空,在使用取出时需要判断

Kotlin的空类型设计

Kotlin中引入了可空类型和不可空类型的区分,可以区分一个引用可以容纳null,还是不能容纳null。

String vs String?

String 类型表示变量不能为空,String?则表示变量可以为空 String?含义是String or null.这两种是不同的类型.

比如:

var a:String = “abc” //ok

var a:String = null //不允许

var b :String? = null //ok

a=b // 不允许

String?类型的值不能给String类型的值赋值

这样就将类型分成了可空类型和不可能类型,每一个类型都有这样的处理;Kotlin中访问非空类型变量永远不会出现空指针异常。

同样上面的例子,采用Kotlin去写,就会简洁很多

编程范式-函数式编程

编程范式是什么?

编程范式是程序员看待程序和写程序的观点

主要的类型:

非结构化编程、结构化编程、面向对象编程、命令式编程、函数式编程

这些类型并不是彼此互斥的,而是按照不同的维度做的划分,一种编程语言可能都支持多个编程范式

非结构化编程

第一代的高级语言往往是非结构化编程 比如 BASIC语言

每一行的代码前面都有一个数字作为行号,通常使用GOTO的跳跃指令来实现判断和循环.

看一下下面这段代码是做什么的:

实际上做的是:程序在屏幕上显示数字 1 到 10 及其对应的平方 

采用这种方式写程序,大量的使用goto实现逻辑的跳转,代码一长,可读性和维护性就比较差了,形成“面条式代码”

结构化编程

采用顺序、分支、循环结构来表达,禁用或者少用GOTO;

并用子程序来组织代码,采用自顶向下的方式来写程序

代表语言是C语言

实现同样的逻辑:

可见采用结构化编程,代码的逻辑会更清晰。

面向对象编程

思想:

将计算机程序视为一组对象的集合,而每个对象都可以接收其他对象发过来的消息,并处理这些消息,计算机程序的执行就是一系列消息在各个对象之间传递。

特性: 封装性、继承性、多态性。

命令式编程

把计算机程序视为一系列的命令集合

主要思想是关注计算机执行的步骤,即一步一步告诉计算机先做什么再做什么。 “先做这,再做那”,强调“怎么做”

实现:

用变量来储存数据,用语句来执行指令,改变变量状态。

基本所有的常见的编程语言都具有此范式

函数式编程

声明式语法,描述要什么,而不是怎么做

类似于SQL语句

语言: kotlin swift python javascript scala

特点:

1. 函数是第一等公民

可以赋值给变量,可作为参数传入另一个函数,也可作为函数的返回值

2. 纯函数 y=f(x)

只要输入相同,返回值不变

没有副作用:不修改函数的外部状态

举个栗子

公司部门要进行outing,去哪里是个问题,要考虑多个因素,比如花费、距离、天数等等,有多个备选地点进行选择。

定义一个数据类:

要进行筛选了,分别用sql,kotlin,java来实现

找出花费低于2000元的outing地点信息

SQL

Kotlin

java 7

可见kotin的写法还是比较接近于sql的思想的,声明式的写法,而不管具体如何实现;其中的:place->place.money<2000 就是函数,可以作为参数传递给fliter这个高阶函数;而且这个函数没有副作用,不改变外部状态。

再来一个复杂一点的:

找出花费低于5000元,时间不多于4天,按照距离排序的outing地点名称

SQL

Kotlin:

java 7

由此可见用kotlin的函数式写法,会更简洁,逻辑也更清晰,这段代码的目标一目了然,这种清晰在于实现了业务逻辑与控制逻辑的分离,业务逻辑就是由函数实现的,比如place->place.money<500,而控制逻辑是由filter,sorterBy等高阶函数实现的。

而java的传统写法是基于对数据的操作,避免不了遍历的操作,业务逻辑与控制逻辑交织在了一起,这段代码的目的就不是那么容易清晰看到的了。

总结

kotlin是实用的现代编程语言,吸收了众多编程语言的优点,支持类型推断、空类型安全、函数式编程、DSL等特性,非常值得学习和使用。

建议参考:

https://kotlinlang.org/ 

https://www.kotlincn.net

《Kotlin核心编程》

《Kotlin实战》

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 159,835评论 4 364
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 67,598评论 1 295
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 109,569评论 0 244
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 44,159评论 0 213
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 52,533评论 3 287
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 40,710评论 1 222
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 31,923评论 2 313
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 30,674评论 0 203
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 34,421评论 1 246
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 30,622评论 2 245
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 32,115评论 1 260
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 28,428评论 2 254
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 33,114评论 3 238
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 26,097评论 0 8
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 26,875评论 0 197
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 35,753评论 2 276
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 35,649评论 2 271

推荐阅读更多精彩内容