由于Swift支持类型推断（类型推断能使它自动推断出一个特定表达式的类型:包括整数类型，浮点类型，字符类型等），所以在定义常量或变量时，可以不用特意指定数据类型。其实Swift语言和其他语言一样，也是可以在定义时指定数据类型的。其语法形式如下：
整数类型
let/var 常量/变量名称：数据类型（数据类型的第一个字母需要大写）＝值 （由于Swift的支持类型推断，其实可以不用声明数据类型）
eg：
let value1:UInt8=100 //声明并定义一个类型为UInt8的常量
print(value1)
let value2:Int8=-120//声明并定义一个类型为Int8的常量
print(value2)
此时运行程序，会看到如下的结果。
100
－120
也就是说可以直接声明和定义变量或者常量：let/var 常量/变量名称＝值
浮点类型
Double比Float更加精确；
常量和变量也可以定义为一个浮点类型，这是就需要用到Double或者Float。使用Double定义常量变量的语法形式如下。
let常量名：Double=值
var变量名：Double=值
使用Float定义常量变量的语法形式如下所示。
let常量名：Float＝值
var变量名：Float=值
eg：let dvalue：Double=100.3
let fvalue: Float=3.1415
print(dvalue)
print(fvalue)
运行程序时，会看到如下的结果。
100.3
3.1415
字符类型
Swift提供了一种用于文本的类型即字符类型（Character），如"A","B"等。字符类型可以声明具有字符类型的常量变量。它的定义方式如下。
let/var 常量名/变量名:Character=字符（"A")（当然由于Swift有自动推断数据类型，其实可以不用声明数据类型，直接以let/var 常量名/变量名＝字符的形式定义和声明)
eg：
let myCharacter:Character="A"//声明定义常量字符
print(myCharacter)
程序运行的出结果为A
Swift还提供了一种用于处理文本的类型，即字符串类型(String)。所谓字符串，其实就是由一个或者多个字符组合而成的。如果想要将变量活着常量定义为字符串类型也是可以的，其语法形式如下。
let/var 常量名/变量名：String=字符串("Hello")（当然由于Swift有自动推断数据类型，其实可以不用声明数据类型，直接以let/var 常量名/变量名＝字符串的形式定义和声明)
eg:
let myString:String="Hello"//声明和定义敞亮字符串
print(String)
程序运行的出结果为Hello
布尔类型
布尔类型（Boolean)表示布尔逻辑量。布尔类型又叫作布尔（Bool),在编程中可以将变量活着常量声明为布尔类型，语法形式如下。
let/var 常量名/变量名:Bool＝布尔值
其中，布尔值是指代逻辑，因为它永远只有两个值true和false。Swift提供了两种布尔常量值true和false。
eg:
let myBool:Bool=true
print(myBool)
程序运行的出结果为ture.
可选类型
可选类型用来判断值是否存在。如果值存在就会输出，如果不存在，就会返回一个nil（nil是一个特定类型的空值。任何类型的可选变量都可以设置为nil），它是一个Swift专用类型。可选类型常量和变量的定义是使用问号实现的，其语法形式如何：
let/var 常量名/变量名：数据类型？
eg:
var value1:Int?//声明可选变量
print(value1)
let value2:Int?=nil//声明定义可选常量
print(value2)
let value3:Int?=66//声明定义可选常量
print(value3)
此时运行程序，会看到如下的结果。
nil
nil
Optional(66)
