Swift reduce-为什么值是可选的？

Question

为什么总可选在线退货总数为 1？

return first.enumerated().reduce(0) { total, letter in
   let index = first.index(first.startIndex, offsetBy: letter.offset)
   if first[index] != second[index]{
       return total + 1
   }
   return total
}

当可选值包含“nil”时，必须将可选类型“Int？”的值解包为“Int”类型的值，并使用“？”合并，以提供默认值，当可选值包含“nil”时使用“！”强制解包以中止执行

所以这修复了它：

return first.enumerated().reduce(0) { total, letter in
   let index = first.index(first.startIndex, offsetBy: letter.offset)
   if first[index] != second[index]{
       return total! + 1
   }
   return total
}

如果我将其分解，则会在添加＜code＞let index＜/code＞时发生更改。。。。

OK -这将返回first的总计数，total不是可选的:

return first.reduce(0) { total, letter in
    return total + 1
}

确定-此枚举和总计不是可选的：

return first.enumerated().reduce(0) { total, letter in
    return total + 1
}

错误 - 这会获得一个编译错误，该错误总数是可选的

return first.enumerated().reduce(0) { total, letter in
    let index = first.index(first.startIndex, offsetBy: letter.offset)
    return total + 1
}

Answer 1

为了让您完全得到这个结果（据我所知），封闭函数必须返回一个Int？。这意味着减少可以返回一个可选项。如果没有条件，编译器可以确定减少永远不会返回nil，即总永远不会为nil。因此，编译器推断闭包的返回类型是Int。编译器似乎在纠缠减少闭包和总的类型推断。一旦您添加了条件，编译器就无法确定减少是否会返回nil。现在，当它不必要地推断总的类型时，它会出错。

对我来说，这看起来像是一个快速推理误入歧途的例子。显然，根据< code >枚举的文档,< code>total决不为零。

如果稍微修改一下代码，就会得到预期的结果:

   return first.enumerated().reduce(0) { (total: Int, letter) in
       let index = first.index(first.startIndex, offsetBy: letter.offset)
       if first[index] != second[index]{
          return total + 1
       }
       return total
   }

Swift做了很多类型推断，这真的很棒，因为我得到了强大的类型，同时保留了动态语言的许多好处。然而，以我的经验来看，斯威夫特的推论有时会令人困惑。它轻松处理神秘的情况，并在我认为显而易见的事情上犯了错误。

在我看来这像是一只虫子。