OneDayOneSwift [1] - The Basics

Type basic

Swift provides its own versions of all fundamental C and Objective-C types,including In for integers,Double and Float for floating-point values,Bool for Boolean values,and String for textual data.Swift also provides powerful versions of the three primary collection types,Array,Set,and Dictionary.

Differents with others

• tuples
• Optionals (at the heart of many of Swift's most powerful features) are an example of the fact that Swift is a type safe language

常量和变量

命名可以是任意字符，包括Unicode。但不能包含数学箭头，保留(或者非法的)Unicode码位，连线和制表符，也不能以数字开头。 ps:如必须要使用与Swift保留关键字相同的名称，可以用反引号(`)将关键字包围使用。

String interpolation

Swift 用字符串插值（string interpolation）的方式把常量名或者变量名当做占位符加入到长字符串中，Swift 会用当前常量或变量的值替换这些占位符。将常量或变量名放入圆括号中，并在开括号前使用反斜杠将其转义。如：print("Hello \(name)")

Int

一般来说不需要专门指定整数的长度。Swift提供了特殊的整数类型 Int ,长度与当前平台的原生字长相同：32位平台上和Int32长度相同，64平台上和Int64长度相同。

浮点数

Double精确度很高，至少有15位数字，而Float只有6位数字

Type safe

Swift is a type safe language.A type safe language encourages you to be clear about the types of values your code can work with.If part of your code expect a String you can't pass it an Int by mistake. 由于 Swift 是类型安全的，所以它会在编译你的代码时进行类型检查（type checks），并把不匹配的类型标记为错误。这可以让你在开发的时候尽早发现并修复错误。

Type inference

Swift 会使用类型推断（type inference）来选择合适的类型。有了类型推断，编译器可以在编译代码的时候自动推断出表达式的类型。原理很简单，只要检查你赋的值即可。

• 当推断浮点数的类型时，Swift 总是会选择Double而不是Float。
• 数值型字面值(literal value)
• 十进制，没有前缀
• 二进制，前缀是0b
• 八进制，前缀是0o
• 十六进制，前缀是0x
• 浮点字面量可以是十进制（没有前缀）或者是十六进制（前缀是0x）。小数点两边必须有至少一个十进制数字（或者是十六进制的数字）。十进制浮点数也可以有一个可选的指数（exponent)，通过大写或者小写的 e 来指定；十六进制浮点数必须有一个指数，通过大写或者小写的 p 来指定。eg.如果一个十进制数的指数为exp，那这个数相当于基数和10^exp的乘积：1.25e2 表示 1.25 × 10^2，等于 125.0。 1.25e-2 表示 1.25 × 10^-2，等于 0.0125。
• 数值类字面量可以包括额外的格式来增强可读性。整数和浮点数都可以添加额外的零并且包含下划线，并不会影响字面量：let oneMillion = 1_000_000
• 如果数字超出了常量或者变量可存储的范围，编译的时候会报错.如：let cannotBeNegative: UInt8 = -1// UInt8 类型不能存储负数，所以会报错
• 结合数字类常量和变量不同于结合数字类字面量。字面量3可以直接和字面量0.14159相加，因为数字字面量本身没有明确的类型。它们的类型只在编译器需要求值的时候被推测。

元组(tuples)

let http404Error: (Int, String) = (404, "Not found")
let (statusCode, statusMessage) = http404Error
let (justTheStatusCode, _) = http404Error

let http200Status = (statusCode: 200, description: "OK")
print("The status code is \(http200Status.statusCode)")
//输出 "The status code is 200"

ps: 元组在临时组织值的时候很有用，但是并不适合创建复杂的数据结构。如果你的数据结构并不是临时使用，请使用类或者结构体而不是元组。

Optionals

如果你声明一个可选常量或者变量但是没有赋值，它们会自动被设置为nil
使用可选绑定（optional binding）来判断可选类型是否包含值，如果包含就把值赋给一个临时常量或者变量。可选绑定可以用在if和while语句中，这条语句不仅可以用来判断可选类型中是否有值，同时可以将可选类型中的值赋给一个常量或者变量。你也可以包含多个可选绑定在if语句中，并使用where子句做布尔值判断。如下：

if let firstNumber = Int("4"), secondNumber = Int("42") where firstNumber < secondNumber {
    print("\(firstNumber) < \(secondNumber)")
}
// prints "4 < 42"

隐式解析可选类型（implicitly unwrapped optionals）

把想要用作可选的类型的后面的问号（String?）改成感叹号（String!）来声明一个隐式解析可选类型。
一个隐式解析可选类型其实就是一个普通的可选类型，但是可以被当做非可选类型来使用，并不需要每次都使用解析来获取可选值。

let possibleString: String? = "An optional string."
let forcedString: String = possibleString! // 需要惊叹号来获取值

let assumedString: String! = "An implicitly unwrapped optional string."
let implicitString: String = assumedString  // 不需要感叹号

你可以把隐式解析可选类型当做一个可以自动解析的可选类型。你要做的只是声明的时候把感叹号放到类型的结尾，而不是每次取值的可选名字的结尾。
ps: 如果你在隐式解析可选类型没有值的时候尝试取值，会触发运行时错误。和你在没有值的普通可选类型后面加一个惊叹号一样。

错误处理（error handling）

一个函数可以通过在声明中添加throws关键词来抛出错误消息。当你的函数能抛出错误消息时, 你应该在表达式中前置try关键词。

func makeASandwich() throws {
    // ...
}

do {
    try makeASandwich()
    eatASandwich()
} catch Error.OutOfCleanDishes {
    washDishes()
} catch Error.MissingIngredients(let ingredients) {
    buyGroceries(ingredients)
}

断言

可选类型可以让你判断值是否存在，你可以在代码中优雅地处理值缺失的情况。然而，在某些情况下，如果值缺失或者值并不满足特定的条件，你的代码可能没办法继续执行。这时，你可以在你的代码中触发一个断言（assertion）来结束代码运行并通过调试来找到值缺失的原因。
断言会在运行时判断一个逻辑条件是否为true。从字面意思来说，断言“断言”一个条件是否为真。你可以使用断言来保证在运行其他代码之前，某些重要的条件已经被满足。如果条件判断为true，代码运行会继续进行；如果条件判断为false，代码执行结束，你的应用被终止。

let age = -3
assert(age >= 0, "A person's age cannot be less than zero")
// 因为 age < 0，所以断言会触发

ps: 当代码使用优化编译的时候，断言将会被禁用，例如在 Xcode 中，使用默认的 target Release 配置选项来 build 时，断言会被禁用。