Swift子类化时Self类型存储属性协变问题及优化问询

你遇到的这个问题本质是Swift中存储属性不允许使用协变的Self类型——父类里定义var next: Self?时，Self在子类中会被替换成子类类型，但存储属性的类型在编译期需要确定，这种协变会导致类型系统无法保证内存布局的一致性，所以编译器直接报错了。

下面提供两种优雅的解决方案，既避免强制类型转换，又保持类型安全：

方案一：父类添加泛型参数指定next类型 #

通过给父类增加一个泛型参数，明确指定next的类型，子类继承时将该参数绑定为自身类型，这样next在子类中自然就是子类类型：

class LinkedNode<T, NextNode: LinkedNode<T, NextNode>> {
    var value: T
    var next: NextNode?
    
    required init(_ value: T) {
        self.value = value
    }
}

class DoublyNode<T>: LinkedNode<T, DoublyNode<T>> {
    weak var previous: DoublyNode<T>?
    
    override var next: DoublyNode<T>? {
        didSet {
            next?.previous = self
        }
    }
}

优点： #

• 完全保留类的继承关系，符合你最初的设计思路
• 类型安全，访问next时无需强制转换，直接就是DoublyNode<T>类型
• didSet中的逻辑可以直接安全访问next?.previous，无需类型转换

方案二：使用协议定义节点接口（更灵活） #

如果希望节点的设计更灵活，可以用协议来抽象节点的核心行为，利用关联类型实现next的类型约束：

protocol Node {
    associatedtype Value
    associatedtype NodeType: Node where NodeType.Value == Value
    
    var value: Value { get set }
    var next: NodeType? { get set }
}

class LinkedNode<T>: Node {
    typealias NodeType = LinkedNode<T>
    
    var value: T
    var next: LinkedNode<T>?
    
    required init(_ value: T) {
        self.value = value
    }
}

class DoublyNode<T>: LinkedNode<T> {
    weak var previous: DoublyNode<T>?
    
    // 重写next属性，将类型改为DoublyNode<T>
    override var next: DoublyNode<T>? {
        didSet {
            next?.previous = self
        }
    }
}

优点： #

• 协议的抽象性更强，后续可以扩展其他类型的节点（比如循环节点）
• 同样保证类型安全，next在DoublyNode中直接是子类类型

为什么你的原始改写方案不够优雅？ #

你之前的写法中，next被定义为父类LinkedNode<T>?，每次访问都需要强制转换，不仅繁琐，还存在运行时崩溃的风险（如果next不是DoublyNode类型的话）。上面的两种方案都从类型系统层面解决了这个问题，避免了不安全的强制转换。

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