Swift编译期动态类型属性咨询：协议实例能否访问类型专属属性？

你遇到的核心问题是：any P是存在类型，编译期只能确定它符合协议P，但无法知晓具体是A还是B，因此直接访问具体类型的独有属性会报错。以下是几种可行的实现方案：

方案1：显式类型转换（最直接的兼容方案） #

通过as?（安全可选转换）或as!（强制转换）将any P转为具体类型，再访问独有属性：

// 安全转换：用可选绑定处理类型不匹配的情况
if let aInstance = ins1 as? A {
    var mutableA = aInstance
    mutableA.onlyAHas = "a only"
    ins1 = mutableA // 若需要更新原实例，重新赋值回去
}

// 确定类型时使用强制转换（注意：类型不匹配会触发运行时崩溃）
var mutableB = ins2 as! B
mutableB.onlyBHas = "b only"
ins2 = mutableB

• 优点：无需修改现有协议和结构体代码，快速适配现有逻辑
• 缺点：编译期无法保证类型安全，强制转换存在崩溃风险

方案2：使用带关联类型的协议（编译期类型确定） #

如果允许修改协议，可以通过关联类型让协议绑定具体类型的信息，实现编译期的类型确定。注意：带关联类型的协议无法直接作为any存在类型使用，需基于泛型约束编写逻辑：

protocol P {
    associatedtype SpecificPropertyType
    var specificProperty: SpecificPropertyType { get set }
}

struct A: P {
    typealias SpecificPropertyType = String
    var specificProperty: String // 对应原onlyAHas
}

struct B: P {
    typealias SpecificPropertyType = String
    var specificProperty: String // 对应原onlyBHas
}

// 用泛型函数处理具体类型实例
func updateProperty<T: P>(_ instance: inout T, with value: T.SpecificPropertyType) {
    instance.specificProperty = value
}

// 使用时直接操作具体类型实例，编译期自动推导类型
var a = A()
var b = B()
updateProperty(&a, with: "a only")
updateProperty(&b, with: "b only")

• 优点：完全编译期类型安全，无需类型转换
• 缺点：协议无法再作为any存在类型使用，逻辑需基于泛型实现

方案3：协议中抽象属性（仅适用于属性语义可统一的场景） #

如果onlyAHas和onlyBHas的语义可以抽象统一，可以将属性定义到协议中，直接通过any P访问：

protocol P {
    var uniqueProperty: String { get set }
}

struct A: P {
    var uniqueProperty: String
}

struct B: P {
    var uniqueProperty: String
}

var ins1: any P = A()
var ins2: any P = B()

ins1.uniqueProperty = "a only"
ins2.uniqueProperty = "b only"

• 优点：无需类型转换，直接通过协议类型访问属性
• 缺点：仅适用于属性语义可统一的场景，不符合你“各自独有属性”的初始需求，仅作补充参考

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