为什么 Diffable Datasources 以不同的方式对待类和结构类型？

Question

Diffable 数据源需要指定 SectionIdentifierType 和 ItemIdentifierType，这些类型必须符合 Hashable

假设它们必须符合Hashable，以便数据源可以进行差异化。

那么为什么即使 == 和散列函数相同，它的行为也会根据标识符类型是类还是结构而有所不同呢？或者甚至为类重写 === 函数，使其更像值类型？

例子：

import UIKit

public class DebugViewController: UIViewController {

    typealias SectionType = IntWrapper
    typealias ItemType = IntWrapper
    
    public class IntWrapper: Hashable {
        public static func == (lhs: DebugViewController.IntWrapper, rhs: DebugViewController.IntWrapper) -> Bool {
            lhs.number == rhs.number
        }
        public static func === (lhs: DebugViewController.IntWrapper, rhs: DebugViewController.IntWrapper) -> Bool {
            lhs.number == rhs.number
        }
        public func hash(into hasher: inout Hasher) {
            hasher.combine(number)
        }
        var number: Int
        
        init(number: Int) {
            self.number = number
        }
    }
    
    private var dataSource: UITableViewDiffableDataSource<SectionType, ItemType>!
    
    @IBOutlet var tableView: UITableView!
    
    public override func viewDidLoad() {
        super.viewDidLoad()

        tableView.register(UITableViewCell.self, forCellReuseIdentifier: "DefaultCell")
        
        dataSource = UITableViewDiffableDataSource<SectionType, ItemType>(tableView: tableView) { (tableView, indexPath, item) -> UITableViewCell? in
            let cell = tableView.dequeueReusableCell(withIdentifier: "DefaultCell")!
            cell.textLabel?.text = "\(item.number)"
            return cell
        }
        
        apply()
    }
    
    @IBAction func buttonTapped(_ sender: Any) {
        apply()
    }
    
    func apply() {
        var snapshot = NSDiffableDataSourceSnapshot<SectionType, ItemType>()
        
        let sections = [IntWrapper(number: 0)]
        let items = [IntWrapper(number: 1)]
        snapshot.appendSections(sections)
        sections.forEach { snapshot.appendItems( items, toSection: $0) }
        dataSource.apply(snapshot, animatingDifferences: true)
    }
}

如果IntWrapper 是一个结构，则在调用apply() 时表视图什么也不做（apply() 本质上是加载相同的数据）对我来说，这是预期的行为。

如果IntWrapper 是一个类，则在调用apply() 时表视图会重新加载。此外，甚至没有调用 hash() 和 == 函数。

除非有人可以访问源（提示、提示）或除非我在示例中犯了错误，否则我认为无法回答此问题。

Answer 1

经过一番调查，我发现UITableViewDiffableDataSource 在后台使用NSOrderedSet。在将标识符数组传递给有序集合之前，它被转换为一个 Objective-C 对象数组（通过Swift._bridgeAnythingToObjectiveC<τ_0_0>(τ_0_0) -> Swift.AnyObject 函数）。因为 Swift 和 Objective-C 类共享same memory layout，所以它们按原样传递。然后NSOrderedSet 依赖于hash 和isEqual: Objective-C 方法而不是Hashable，并且Swift 提供了与NSObject 相同的默认实现，即使一个类不是NSObject 的子类，但是没有转接到Hashable 的呼叫（反之亦然）。

也就是说，在 diffable 数据源中使用类的唯一正确方法是从 NSObject 子类化它们，或者至少使用 @objc 注释实现 hash() 和 isEqual(_:) 方法。