optional是swift语言设计中的一个核心特性，它的引入是为了解决编程中常见的空值nil的问题，并提高代码的安全性和可读性。

一、设计缘由

1. 明确处理空值

在oc和其他语言中，空值nil是一个潜在的危险源，容易导致运行时奔溃。

swift的可选类型强制开发者明确处理可能为空的值，避免了意外的空值访问。

2. 提高代码安全性

可选类型通过编译器的类型检查，确保开发者在使用一个可能为空的值时，必须显式的解包或者处理空值情况。

3. 增强代码可读性

可选类型使代码意图更加清晰。通过类型声明，开发者可以清楚的知道某个值是否可能为空。

4. 避免隐式空值

在oc中，对象可以是隐式空值nil，可能会导致难以发现的问题。

swift的可选类型要求开发者显示声明可能为空的值，减少了隐式空值带来的问题。

二、如果没有可选类型，可能带来的弊端

1. 运行时奔溃

如果没有可选类型，开发者可能直接访问空值，导致运行时奔溃。

2. 代码安全性降低

开发者需要手动检查空值，容易遗漏检查，导致潜在的错误。

3. 代码可读性降低

如果没有可选类型，代码中可能会充斥大量的空值检查，降低代码的可读性和维护性。

4. 缺乏类型系统的支持

可选类型是swift类型系统的一部分，它使得编译器可以在编译时检查空值问题

如果没有可选类型，编译器无法提供这种检查，开发者需要依赖运行时检查。

三、可选类型的优势

1. 编译时检查

可选类型使得空值问题可以在编译时发现，而不是运行时奔溃。

2. 清晰的代码意图

可选类型使得代码的意图更加清晰，开发者可以清楚地知道某个值是否可能为空。

3. 安全的解包机制

swift提供了多种安全的解包机制（if let、 guard let、 ？？）使得开发者可以方便的处理空值

四、总结

1. 可选类型的设计缘由：

明确处理空值、提高代码安全性、提高代码可读性、避免隐式空值。

2. 没有可选类型的弊端：

运行时奔溃、代码安全性降低、代码可读性降低、缺乏类型系统的支持。