iOS及Web使用语言特性

前言

关于iOS及Web的使用语言Object-C、Swift、JavaScript，大家都耳熟能详，那它们到底是什么类型的静态语言？以及什么强弱类型语言？很多同学只是简单的背出它们是什么语言及类型，但并没有理解到，现在来举例说明和分享一下。

分析

Object-C

我用的最多的当然是Object-C，毕竟是做iOS开发出身，对这个语言了解最深。首先，因为黑魔法RunTime机制，Object-C是一个运行时的动态类型的强类型语言，举例如下：

1. 以下两种情况都可以看出，Xcode编译时并不会报错，说明是一个动态语言，运行时才会去检验类型

NSString *test = @"1231231";
test = [[NSDate alloc] init];

NSDate *test2 = @"1231231"; // test2的真实类型是什么，运行时会得到String类型，并不是声明时的NSDate类型

2. Object-C是强类型语言，因为变量必须声明类型才能使用，说实话，Object-C的代码简洁性，是真的不怎么高

NSString *certsPath = [[NSBundle mainBundle] pathForResource:@"server" ofType:@"crt"];
NSError *error;
NSString *contentInUTF8 = [NSString stringWithContentsOfFile:certsPath encoding:NSUTF8StringEncoding error:&error];

Swift

iOS的这两种开发语言，Swift和OC，Swift更简洁了，减少了代码的冗余性，最开始接触它的时候，我还以为它是一门弱语言类型的语言，后来发现我错了，下面会娓娓道来，它实际是一门静态类型的强类型语言。

1. 以下情况代码编译会报错：’Cannot assign value of type ‘NSDate’ to type ‘String’’ ，类型错误，由此看出Swift是静态类型语言

var tmp = "asdfas"
let date = NSDate.init()
tmp = date

2. 为什么一开始会觉得它是弱类型语言呢？

Swift 变量不强制的指定类型，而是用 var 和 let 表示可变与不可变。所以，误Swift是一门弱类型的语言。

像下面的代码块，变量赋值时并没声明类型

let num = 1
let str = "2"

基于以上，从自身理解，误以为Swift是弱类型语言

但是，实际上，这里没有强制声明类型，看似一个弱类型的语言，其实不然。Swift 编译器能够推断出 num 是 Int 类型。那么 num 就不能再被赋值为 String 类型。更不能写成如下的形式：

let num = 1
let str = "2"
let result = num + str

编译器将会报如下的错误：

error: binary operator '+' cannot be applied to operands of type 'Int' and 'String'
let result = num + str
             ~~~ ^ ~~~
note: overloads for '+' exist with these partially matching parameter lists: (Int, Int), (String, String), (Int, UnsafeMutablePointer<Pointee>), (Int, UnsafePointer<Pointee>)
let result = num + str

这说明了，Swift 是一门强类型语言。Swift 的类型声明，你可以看成是在定义变量的时候，隐式声明的（由编译器推断出），当然也可以显式的声明。如下：

let num: Int = 1

JavaScript

Web中的常用语言JavaScript，如果有语言基础的话，是一门很快上手的语言，我也很喜欢JavaScript，当然也有使用中比较头疼的事，因为它是一门动态类型的弱类型语言，往往项目中在项目运行成功后，控制台意想不到的报错，不像强语言类型那样，直接编译不过，而我又有Swift的编写思想，想着它类型编译通过了，运行肯定就没问题，往往会出现比如编译没问题，类型错误的问题，而且它没有iOS中nil可以调用任何方法的容错机制，如果这个对象为nil再调用其某个方法也会报错，所以写的时候必须要判断是否为空，增加代码冗余性，但是，好处大于弊端，比如代码简洁性，可以动态写很多业务逻辑，我还是很喜欢它。

1. 动态类型语言，以下情况，编译没问题，动态运行时赋值类型

let tmpFlag = false
let test = 'asdfasdfas'
test = tmpFlag // 所以最终test为Bool类型了

2. 弱类型语言，书写变量时不用声明类型也可

let tmpFlag = false
let test = 'asdfasdfas'
let jjjj = Date.now()

扩展

TypeScript

TypeScript是JavaScript的一个超集，TypeScript可以使用JavaScript中的所有代码和编码概念，TypeScript是为了使 JavaScript的开发变得更加容易而创建的，它是关于尽早捕获错误并使您成为更高效的开发人员，它是什么类型的语言？我们把在JavaScript上实验的代码，放在ts里一试便知道。

1. 以下情况是js上实验的代码，在ts里编译报错，说明TypeScript是静态类型语言

let tmpFlag = false
let test = 'asdfasdfas'
test = tmpFlag

报错如下：

43:9 Type 'false' is not assignable to type 'string'.

2. 相同代码又在ts里实验，编译未报错，故TypeScript是弱类型语言

let tmpFlag = false
let test = 'asdfasdfas'
let jjjj = Date.now()

以下代码也未报错：

let num = 1
let str = '2'
let result = num + str

综上可知，TypeScript是一门静态类型的弱类型语言。