Opaque Result Types 让泛型语法更上一层楼

2023-09-26 02:05:25

模糊结果类型：提升 Swift 泛型编写的利器

导言

在 Swift 5.1 版本中，随着 SE-0244 提案的实现，模糊结果类型正式登场，为开发者带来了泛型语法编写方式的重大变革。这一特性显著简化了泛型代码的编写，使其更加直观和简洁。本文将深入探讨模糊结果类型，展示其优点、用法以及在实际应用中的强大功能。

模糊结果类型：简化泛型语法

传统上，在使用泛型方法时，开发者需要明确指定返回类型。这种繁琐的语法给代码可读性和可维护性带来了挑战。例如：

func findIndexOf<T: Equatable>(value: T, in array: [T]) -> Int? {
    for (index, element) in array.enumerated() {
        if element == value {
            return index
        }
    }
    return nil
}

模糊结果类型 的出现，让我们能够定义返回类型为未指定具体类型的模糊结果类型 。这通过使用 some 来实现，它表示返回类型是一个未知的具体类型。

func findIndexOf<T: Equatable>(value: T, in array: [T]) -> some CollectionOfOne<Int> {
    for (index, element) in array.enumerated() {
        if element == value {
            return .init(index)
        }
    }
    return .none
}

类型安全与灵活性

模糊结果类型确保了类型安全性，同时允许开发者返回特定类型，而无需明确指定。它使用关联类型 CollectionOfOne，该类型定义了一个包装单个值的集合。

struct CollectionOfOne<T> {
    let value: T?
}

这种方法既保证了类型安全性，因为返回类型仍然受泛型约束的限制，又提供了灵活性，允许开发者根据需要返回不同的具体类型，例如 Int? 或 Int。

语法糖：简化方法声明

模糊结果类型的另一个优点是，它引入了一种新的语法糖，可以简化方法声明。开发者可以使用 as 关键字将模糊结果类型显式转换为所需的具体类型。

func findIndexOf<T: Equatable>(value: T, in array: [T]) -> Int? {
    return findIndexOf(value: value, in: array) as? Int
}

实际应用：简化代码

模糊结果类型在实际应用中提供了巨大的便利，它简化了泛型代码，使其更容易阅读和理解。

示例 1：自定义集合操作

extension Collection where Element: Hashable {
    func filterUnique() -> some CollectionOfOne<Self> {
        var result: Set<Element> = []
        var filtered: [Element] = []
        for element in self {
            if result.insert(element).inserted {
                filtered.append(element)
            }
        }
        return .init(filtered)
    }
}

示例 2：类型安全的解析

func parseJSON<T: Decodable>(data: Data) -> some Result<T, Error> {
    do {
        let decoded = try JSONDecoder().decode(T.self, from: data)
        return .success(decoded)
    } catch {
        return .failure(error)
    }
}