Swift语言的类型推断
来源:互联网 发布:java 状态机 编辑:程序博客网 时间:2024/05/18 00:12
之前我曾经自问过自己,Swift到底是静态语言还是动态语言,当时我的回答是静态语言,因为Swift对数据类型是严格限制的,是类型安全的语言,那么是什么让我形成这样的问题呢?Swift又是怎么做到那么像动态语言的呢?下面我们一起来找找答案。
初见Swift的人都会看到这样的语句:
var currentLoginAttempt = 0
这和JavaScript很像,不用指定数据类型,而不指定数据类型恰恰是动态语言的一个显性特征,所以这个表面形象让我们一度怀疑Swift的静态性。
既然是静态的,那么类型是如何确定的呢?答案是类型推断,Type Inference
类型推断是一种编译器技术,也常常是函数式编程语言的特征之一。也就是说,Swift中的数据类型不是在运行时确定的,而是在编译期由编译器确定的,因此是静态语言。而这一编译器行为就是类型推断。具体而言,就是编译器通过对各种字面常量的隐含理解(如整数是Int,小数是Double,双引号的是String等)及表达式的运算,最终能确定唯一的一种数据类型。编译器通过类型推断技术能够确定的数据类型就不用开发人员书写了,被省略了,其实完整的语句应该是:
var currentLoginAttempt : Int = 0
如果编译器推断不出来这个唯一的数据类型,那么Swift会报出类型错误,需要开发人员指定明确的数据类型,如:
var currentLoginAttempt
就会遇到编译错误,因为没有线索能让编译器确定数据类型,这时只能通过增加类型信息来通过编译:
var currentLoginAttempt : Int
正是有了编译器的类型推断,让代码得以简约,比如我们在Swift手册中看到的简化的闭包写法:
reversed = sorted(names, { s1, s2 in return s1 > s2 } )
这里s1, s2的类型以及闭包返回值的类型都由类型推断技术确定。
可见,类型推断技术的使用使得代码得到了简化,但是这改变不了Swift是静态语言的本质,Swift仍然是类型安全的,开发人员必须明确知道每一个数值的数据类型。
——欢迎转载,请注明原文出处 http://blog.csdn.net/caowenbin ——
——欢迎关注微信号“曹文斌的软件思考”,共同探讨软件人生——
——欢迎关注微信号“曹文斌的软件思考”,共同探讨软件人生——
0 0
- Swift语言的类型推断
- 【Swift】类型推断
- swift学习记录(swift的类型推断)
- Swift的类型推断会不会造成类型不确定的困扰?
- C#语言中的类型推断
- 第四节Swift 类型的安全检查,类型推断和类型别名
- swift_009(Swift 类型别名/安全/推断)
- 类型参数的类型推断
- 类型参数的类型推断
- 1.3 Swift类型转换,类型推断和类型安全
- 泛型的类型推断
- 模板类型参数的类型推断
- 类型推断
- 类型推断
- 5.4.3 值的类型推断
- 5.4.3 值的类型推断
- decltype详解之指针类型的推断
- cpp11 的变量类型自动推断
- http://www.zznews.cn/wenyi/etdx/ 01esbgrk
- unity3D之角色背包的设计
- [基础]物体的移动方式
- 常用网管工具
- 羊羔疯治疗方法 01etjgge
- Swift语言的类型推断
- Scroll View 笔记
- http://busumen.com/education/ 01gjuorl
- 学习shader之前必须知道的东西之计算机图形学(一)渲染...
- 最短路 模板
- Unity物理学公式
- 使用Dockerfile创建简单java应用镜像
- 西药治疗癫痫病 01gkcuvh
- NGUI之为什么Scene视图中不显示Polygon Collider2D