无法将泛型类型的值转换为关联类型的预期参数答案

【问题标题】：Cannot convert value of generic type to expected argument of associated type无法将泛型类型的值转换为关联类型的预期参数
【发布时间】：2017-03-09 13:23:50
【问题描述】：

假设我有一个协议：

protocol Foo:Hashable, Comparable {}

还有一个将这个家伙作为泛型的结构：

struct UsingFoo<T:Foo> {}

到目前为止一切顺利。假设我想在第二个协议上使用Foo：

protocol Bar {
    associatedtype FooType:Foo
    func doSomething(with:UsingFoo<FooType>)
}

并在类上使用 Bar：

class UsingBar<F:Foo>:Bar {
    typealias FooType = F
    func doSomething(with: UsingFoo<F>) {}
}

现在说我想带这些人参加聚会：

class FooBarParty<F:Foo, B:Bar>: NSObject {
    var b:B
    init(b:B) {
        self.b = b
        // interestingly, this line below won't compile
        // self.b = UsingBar<F>.init()
    }

    func thisWillCompile () {
        UsingBar<F>.init().doSomething(with: UsingFoo<F>.init())
    }

    func thisWontCompile() {
        b.doSomething(with: UsingFoo<F>.init())
    }

    func thisAlsoWont (anotherB:B) {
        anotherB.doSomething(with: UsingFoo<F>.init())
    }
}

编译器说：

Cannot convert value of type 'UsingFoo<F>' to expected argument type 'UsingFoo<_>'

问题是：我怎样才能使用Bar 类型的属性？一如既往，非常感谢任何评论

编辑：感谢接受的答案，我发现我应该指定FooType。它看起来像这样：

class FooBarParty<F:Foo, B:Bar> where B.FooType == F { ... }

【问题讨论】：

标签： ios swift generics swift3

【解决方案1】：

所以这里的问题基本上是：

为什么我不能使用B 的实例调用doSomething(UsingFoo<F>())，但我可以使用UsingBar<F> 的实例

问题在于您的关联类型 - FooType。

doSomething 方法说它只接受UsingFoo<FooType> 类型的参数。我们知道在UsingBar<F> 中，FooType 是F。所以UsingBar<F>().doSomething 需要UsingFoo<F>。在thisWillCompile，你给它一个UsingFoo<F>！有效！

现在你得到另一个B 的随机实例并调用doSomething。需要什么论证？ UsingFoo<FooType>，你可能会说。那么，这里的FooType 是什么？我们不知道！如果我们在此处添加此扩展程序，则可以是 F 或 String：

extension String: Foo { }

FooType 可以是任何实现Foo 的东西。它不需要是F。但是您将其传递给UsingFoo<F>。这就是为什么它不起作用！

正如你所说，这条线也不起作用：

self.b = UsingBar<F>.init()

您需要注意B 不是 Bar。它可以是任何实现Bar 的类型，不一定是UsingBar<F>。你所做的基本上是：

class A {}
class B: A {}
class C: A {}
let obj: B = C()

这就是为什么它不能编译。

【讨论】：