斯威夫特没有找到正确的类型

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：■是Collection： S）。即，对于非约束的T，即v是Matcher<T>的类型，这意味着在编译器的眼中，存在例如没有T.IndexDistance为v的T：s型。

如果添加Collection类型约束你的方法的T，从hasCount(...)结果v分配应编译：

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

在一个完美的世界中，编译器可能已经给了我们一个更有力错误消息，沿着

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

---

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

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

由于没有使用Hamcrest自己，我可能是错的，但基于快速掠过SwiftHamcrest文档，我相信equalToArray(_:)如上定义将构建一个匹配的“向量平等”（函数的WRT语义名）仅基于两个向量的数量，在这种情况下，下面的断言将是一个成功

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

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

但是，这仅仅是一个署名，因为你已经不是我们这里出你打算申请的上下文equalToArray(_:)方法/匹配器;也许你只是向我们展示一个最简单的例子，而你自定义的匹配器的实体更接近方法的名称。