Swift 找不到正确的类型

Question

我正在尝试使用SwiftHamcrest

我有一个函数

func equalToArray<T, S>(_ vector:Array<S>) -> Matcher<T> {
  let v: Matcher<T> = Hamcrest.hasCount(16)
  return v
}

这会报错

Error:(16, 31) 'hasCount' produces 'Matcher<T>', not the expected contextual result type 'Matcher<T>'

SwiftHamcrest 有两个 hasCount 函数

public func hasCount<T: Collection>(_ matcher: Matcher<T.IndexDistance>) -> Matcher<T> 
public func hasCount<T: Collection>(_ expectedCount: T.IndexDistance) -> Matcher<T> 

为什么我的代码抱怨不是返回所需的相同类型。

作为一个注释，可能还有一个不同的问题，我不得不添加 Hamcrest。在 hasCount 方法调用之前，否则它会尝试匹配第一个函数

类型缺少什么？

Answer 1

您的方法equalToArray<T, S> 不知道T 是一个集合，因此上述通用hasCount(...) 方法的结果将不能分配给您的方法中的v（因为这些结果返回Matcher<T> 实例限制为T:s，即Collection:s)。即，v 的类型为Matcher<T>，用于非约束T，这意味着，在编译器看来，有例如对于v:s 类型的T，没有T.IndexDistance。

如果将Collection 类型约束添加到方法的T，则从hasCount(...) 结果到v 的赋值应该可以编译：

func equalToArray<T: Collection, S>(_ vector: Array<S>) -> Matcher<T> {
    let v: Matcher<T> = Hamcrest.hasCount(16)
    return v
}

在一个完美的世界里，编译器本可以给我们一个更有说服力的错误信息，比如

错误:(16, 31) 'hasCount' 产生 'Matcher<T>' where 'T: Collection', 不是预期的上下文结果类型'Matcher<T>'

---

现在，我不知道您打算在这里测试什么，但正如 @Hamish 指出的那样，您实际上可能想要返回 Matcher<[S]> 并删除 T 占位符。例如。使用提供的vector 参数的count 属性作为hasCount(...) 的参数？

func equalToArray<S>(_ vector: Array<S>) -> Matcher<[S]> {
    return hasCount(vector.count)
}

我自己没有使用过 Hamcrest，我可能弄错了，但基于对 SwiftHamcrest 文档的快速浏览，我相信上面定义的 equalToArray(_:) 会为“向量相等”构造一个匹配器（w.r.t. 函数名称的语义）仅基于两个向量的计数，在这种情况下，以下断言将成功

let arr1 = ["foo", "bar"]
let arr2 = ["bar", "baz"]

assertThat(arr1, equalToArray(arr2)) // success! ...

但这只是一个署名，因为您没有向我们展示您打算应用 equalToArray(_:) 方法/匹配器的上下文；也许您只是向我们展示了一个最小的示例，而您自定义匹配器的实际主体更符合方法的名称。