在 Swift 中统一数组和数组切片

Question

我对 Swift 和一般的 Apple 编程非常陌生。我写这段代码是为了进行二分搜索。

func binarySearch<X:Comparable> (needle:X, haystack:[X])->X? {
    if haystack.isEmpty { return nil }
    let mid = haystack.count / 2
    let found = haystack[mid]
    if found == needle {
        return needle
    }
    else if found < needle {
        return binarySearch(needle, haystack[0..<mid])
    }
    else {
        return binarySearch(needle, haystack[mid+1..<haystack.count])
    }
}

我在递归调用中遇到语法错误，因为第二个参数的类型是 ArraySlice<X> 而不是 Array<X>。

我通过使用相同的版本重载 binarySearch 来解决这个问题，除了第二个参数的类型是 ArraySlice<X>。

我认为如果这一切都可以在一个函数中完成会更优雅。有没有合适的类型可以统一 Array 和 ArraySlice？我尝试使用ArrayLiteralConvertible<X>，但由于某种原因没有计数成员。我仍然很难在文档中找到自己的方式，所以我很容易忽略了更好的选择。

你能提出一个好的方法吗？如果它涉及使用内置类，您能否给我一个提示，告诉我下次如何自己找到它，而不是写信给 SO？

Answer 1

要解决最初的问题，请使用切片调用 Array 构造函数以获取数组：

func binarySearch<X:Comparable> (needle:X, haystack:[X])->X? {
    if haystack.isEmpty { return nil }
    let mid = haystack.count / 2
    let found = haystack[mid]
    if found == needle {
        return needle
    }
    else if needle < found {
        return binarySearch(needle, Array(haystack[0..<mid]))
    }
    else {
        return binarySearch(needle, Array(haystack[mid+1..<haystack.count]))
    }
}

另外，你的条件应该是if needle < found。

Answer 2

是的，Array/ArraySlice 很烦人。您需要的基本通用要求在this 问题中有详细说明。但是，为了满足您的要求，不幸的是，您必须获得一些非常可怕的函数签名。不过，这是可能的：

func bSearch<
  S : Sliceable where S.SubSlice : Sliceable,
  S.SubSlice.Generator.Element == S.Generator.Element,
  S.SubSlice.SubSlice == S.SubSlice,
  S.Generator.Element : Comparable,
  S.Index : IntegerArithmeticType,
  S.Index : IntegerLiteralConvertible,
  S.SubSlice.Index == S.Index
  >(el: S.Generator.Element, list: S) -> S.Generator.Element? {

    if list.isEmpty { return nil }

    let midInd = list.endIndex / 2

    let midEl: S.Generator.Element = list[midInd] // type inference giving me some bugs here

    if midEl == el {
      return el
    }

    return midEl < el ?
      bSearch(el, list: list[midInd+1..<list.endIndex]) :
      bSearch(el, list: list[0..<midInd])
}

对于 Swift 1.2，只需将正文替换为：

if isEmpty(list) { return nil }

let midInd = list.endIndex / 2

let midEl: S.Generator.Element = list[midInd] // type inference giving me some bugs here

if midEl == el {
  return el
}

return midEl < el ?
  bSearch(el, list[midInd+1..<list.endIndex]) :
  bSearch(el, list[0..<midInd])