Swift公共类型成员可抛出私有Error类型却无法返回？原因探究

这确实是个容易让人困惑的细节，我来帮你拆解背后的原因：

核心区别：抛出错误 vs 返回值的访问控制逻辑 #

Swift的访问控制规则对返回值和抛出错误的处理是不一样的：

1. 返回值的场景
   当你让公共方法返回一个私有类型（比如MyError）时，编译器会直接报错，因为返回值的类型是明确对外暴露的——调用者可以直接获取这个返回值的实例，这就违反了“私有类型不能被公共接口暴露”的规则，所以必须要求方法的访问级别和返回类型匹配。

比如你给出的错误示例：

private enum MyError: Error { case unexpectedError }
public struct MyStruct {
    // 错误提示：方法需声明为fileprivate，因其返回值使用私有类型
    static func returnError() -> MyError {
        return MyError.unexpectedError
    }
}

这里方法是public，但返回的MyError是private，外部代码可以直接拿到MyError实例，这就破坏了访问控制的边界，所以编译器不允许。

2. 抛出错误的场景
   当方法声明为throws时，它的“错误类型”实际上被擦定为了公共的Error协议，而不是你的私有MyError类型。你实际抛出的MyError实例会被向上转为Error类型对外暴露——对于外部调用者来说，他们只能看到Error类型的实例，无法直接访问MyError这个私有类型的具体定义。

比如你在main.swift里虽然能打印出unexpectedError，但如果尝试在catch里匹配具体的MyError case：

do {
    try MyStruct.throwError()
} catch MyError.unexpectedError { // 这里会编译失败！因为MyError是private的，外部无法访问
    print("caught specific error")
}

编译器会直接报错，因为外部代码根本看不到MyError的定义，这就符合访问控制的初衷：私有类型的具体细节不会被公共接口暴露出去。

本质原因 #

Swift允许这种情况，是因为抛出错误的机制并没有把私有类型的“具体定义”暴露给外部——外部只能通过Error协议来处理错误，而无法直接操作私有错误类型的具体成员。这既满足了内部代码抛出私有错误的需求，又没有破坏访问控制的规则。

内容的提问来源于stack exchange，提问作者R.B.