结构体含私有存储属性时默认成员初始化器私有原因及自定义初始化器差异

一、为何包含私有存储属性的结构体，默认成员初始化器会变为私有？ #

Swift访问控制的核心是最小权限原则，核心目的是保障私有数据的访问边界不被突破。结构体的默认成员初始化器需要接收所有存储属性的值来完成实例创建——如果存在私有存储属性，意味着该属性仅能在其定义的模块/文件内部访问。

若默认初始化器保持公共权限，外部代码就能通过这个初始化器直接设置私有属性的值，这完全违背了私有属性的访问限制。举个直观的例子：

fileprivate struct User {
    private var id: String
    var name: String
}
// 若默认初始化器是public，外部就能直接操作私有id，这显然不符合设计初衷
// let user = User(id: "123", name: "Alice")

因此Swift会自动将默认成员初始化器的权限降至与最严格的存储属性一致，确保私有属性的访问规则不被绕过。

二、为何该规则不适用于自定义初始化器？ #

自定义初始化器由开发者手动实现，权限可完全由开发者自主控制，原因在于：

• 自定义初始化器可以避免直接暴露私有属性的设置入口。比如你可以编写仅接收公开属性的初始化器，私有属性的赋值逻辑完全在内部完成，外部无需知晓私有属性的存在：

fileprivate struct User {
    private var id: String
    var name: String
    
    // 自定义初始化器仅对外暴露name参数，id内部自动生成
    public init(name: String) {
        self.id = UUID().uuidString
        self.name = name
    }
}
// 外部可正常调用public初始化器，不会触及私有id
let user = User(name: "Alice")

• Swift信任开发者能根据业务需求合理设置自定义初始化器的访问权限，不会强制降低其权限。开发者可灵活控制初始化器的可见性，只要确保初始化过程不违反属性的访问规则即可。

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