Swift嵌套类型为何被擦除？UICollectionView单元格类型问题

我在实现一个包含三种单元格的UICollectionView（图片单元格、文本单元格、图片+文本单元格），代码结构如下：

class ParentCell: UICollectionViewCell {
    class ImageCell: ParentCell {
        class TextCell: ImageCell { }
    }
    class TextCell: ParentCell { }
}

func createTextCellId(classPrefix: ParentCell.Type) -> String {
    return String(reflecting: classPrefix.TextCell)
}

调用时出现了不符合预期的情况：

// 正常：返回 "ParentCell.TextCell"
createTextCellId(classPrefix: ParentCell.self)

// 异常：仍返回 "ParentCell.TextCell"，而非预期的 "ParentCell.ImageCell.TextCell"
createTextCellId(classPrefix: ParentCell.ImageCell.self)

甚至改用泛型函数也无法解决问题：

func createTextCellId<ParentCellType: ParentCell>(classPrefix: ParentCellType.Type) -> String {
    return String(reflecting: classPrefix.TextCell)
}

原因分析 #

这并非Swift“擦除”了嵌套类型，而是静态类型绑定的规则导致的：

• 当你在函数中通过classPrefix.TextCell访问嵌套类型时，编译器会根据classPrefix的静态类型（也就是ParentCell.Type，泛型版本则是约束为ParentCell的类型）来查找TextCell，而非传入参数的动态类型（比如ParentCell.ImageCell.Type）。
• 简单来说，编译器在编译阶段就把classPrefix.TextCell绑定到了ParentCell本身定义的TextCell，不会在运行时根据传入的子类动态切换。

解决方案 #

要让每个子类都能返回自己的嵌套TextCell，可以通过协议约束来实现，让每个类型明确声明自己对应的TextCell：

protocol HasTextCell {
    associatedtype TextCellType: UICollectionViewCell
    static var textCellType: TextCellType.Type { get }
}

class ParentCell: UICollectionViewCell, HasTextCell {
    class TextCell: ParentCell { }
    static var textCellType: TextCell.Type { TextCell.self }
    
    class ImageCell: ParentCell, HasTextCell {
        class TextCell: ImageCell { }
        static var textCellType: TextCell.Type { TextCell.self }
    }
}

func createTextCellId<ParentCellType: HasTextCell>(classPrefix: ParentCellType.Type) -> String {
    return String(reflecting: classPrefix.textCellType)
}

此时调用就能得到预期结果：

// 返回 "ParentCell.TextCell"
createTextCellId(classPrefix: ParentCell.self)
// 返回 "ParentCell.ImageCell.TextCell"
createTextCellId(classPrefix: ParentCell.ImageCell.self)

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