是否存在 firstIndex 在 Swift 中不返回可选项的情况？

Question

我有一个简单的函数，可以像这样使用firstIndex 在数组中按索引查找特定元素，其中Entry.id 是String：

private func findUserEntry(inEntries entries: [Entry],
                           currentUserID: String?) -> Entry? {
    
    guard let currentUserID = currentUserID else { return nil }
     
    guard let index = entries.firstIndex(where: { $0.id == currentUserID }) else { return nil }

    return entries[index]
}

我正在重构我的代码以尝试以不同的方式完成相同的事情，以此作为一种学习和实践的方式。我认为这个函数会有效地做同样的事情：

private func findUserEntry(inEntries entries: [Entry],
                           currentUserID: String?) -> Entry? {
    
    guard let currentUserID = currentUserID else { return nil }
    
    return entries
        .firstIndex { $0.id == currentUserID }
        .map { possibleIndex -> Entry? in
            
            guard let index = possibleIndex else { return nil }
            
            return entries[index]
        }
}

但是，我遇到了一个错误：Initializer for conditional binding must have Optional type, not 'Array<Entry>.Index' (aka 'Int')。所以，不知何故，possibleIndex 的值从.firstIndex 变为.map 是Int，而不是我预期的Int?，就像上面的原始版本一样。为什么这里有区别？

Answer 1

如果您在 Apple 的文档中查找 Array 函数 firstIndex(where:)，您会发现：https://developer.apple.com/documentation/swift/array/2994722-firstindex

函数被声明为返回一个可选整数：

func firstIndex(where predicate: (Element) throws -> Bool) rethrows -> Int?

所以不，它总是会返回一个 Optional。

但是，您使用的是 map，在本例中是 Optional 上的一个函数：

https://developer.apple.com/documentation/swift/optional/1539476-map

函数 Optional.map() 声明如下：

func map<U>(_ transform: (Wrapped) throws -> U) rethrows -> U?

如果Optional 包含一个值，它会解包并传递给map 语句的闭包。如果Optional 包含 nil，则 map 函数返回 nil。

因此在您的代码中

private func findUserEntry(inEntries entries: [Entry],
                           currentUserID: String?) -> Entry? {
    
    guard let currentUserID = currentUserID else { return nil }
    
    return entries
        .firstIndex { $0.id == currentUserID }
        .map { possibleIndex in 
            //At this point the value in possibleIndex can't be nil, 
            //so there is no need for the guard statement.
            //guard let index = possibleIndex else { return nil }
            return entries[possibleIndex]
        }
}

不需要你的保护声明。如果 firstIndex 包含 nil，则 map 语句返回 nil。如果 firstIndex 包含一个值，则 map 语句将 firstIndex 中未包装的值传递给闭包并返回该闭包的结果。

Answer 2

其他人回答了你的问题，但你真正想要的是flatMap。

currentUserID.flatMap { currentUserID in
  entries.first { $0.id == currentUserID }
}

或者，如果Entry.id 不是可选的，则删除平面映射。

Answer 3

Array<Int>.firstIndex 返回一个可选的Array<Int>.Index，即Int?。

所以，您使用的.map(_:) 是Optional<Int> 的方法，具有以下签名：

func map<U>(_ transform: (Wrapped) throws -> U) rethrows -> U?

当这个 Optional 实例不是 nil 时评估给定的闭包，将展开的值作为参数传递。