Swift 4中为何仍保留init!语法？

在Swift 3版本里，隐式解包可选类型（IUO，即T!）的行为做了关键调整，这让不少开发者疑惑：既然init?和init!在多数场景下语义近乎一致，为什么还要保留init!这个语法？咱们一步步理清楚：

先明确IUO的核心修改 #

Swift 3调整了IUO的类型推断规则：当你把一个IUO赋值给未声明类型的标识符时，系统会将其推断为普通可选类型T?，而非原来的T!。这个规则同样覆盖了init!初始化器——也就是说，调用init!后如果不指定变量类型，得到的结果会被推断成T?，这就和init?的表现越来越接近了。

保留init!的两大核心原因 #

• 提升代码可读性，传递设计意图：init!存在的最大意义之一是表达开发者的预期——这个初始化器理论上不应该失败，只是出于某些极端场景（比如依赖外部资源、兼容历史代码）才标记为可失败。相比init?（完全中立的“可能失败”），init!能更清晰地告诉其他开发者：这个初始化器的成功是常态，失败是例外。
• 兼容未标注nullability的Objective-C代码：在Objective-C的老代码里，很多初始化器没有明确标注nullable或nonnull。如果Swift直接把这些初始化器导入为init?，会导致开发者每次调用都要显式解包，不符合OC代码原本的使用习惯；而init!刚好能平衡这种情况——既保留了“潜在可能失败”的语义，又不用每次都手动解包，更贴合OC代码的实际使用场景。

内容的提问来源于stack exchange，提问作者edaniels