Question

如何返回关联类型的协议？

protocol AProtocol {

}

class A: AProtocol {

}

class Main {
    func sendA() -> AProtocol {
        return A()
    }
}

有效。

但是

protocol BProtocol {
    associatedtype B
}

class B: BProtocol {
    typealias B = Int
}

class Main {
    func sendA() -> AProtocol {
        return A()
    }

    func sendB() -> BProtocol { // error
        return B()
    }

// function1
    func sendB_<T: BProtocol>() -> T{
        return B() as! T
    }
}

我想在函数1中返回'return B（）' 有可能吗？

Answer 1

您要在情况1中返回BProtocol。问题是PAT（关联类型的协议）是不完全类型。它们充当类型的占位符。因此，您不能直接返回BProtocol。

Swift 5.1

我不确定100％，但是我认为在swift（5.1）的下一次迭代中，他们引入了不透明类型，这些类型可以实现所需的功能。

在这种情况下，您可以这样称呼它：

func sendB() -> some BProtocol { 
    return B()
}

Answer 2

此功能

func sendB_<T: BProtocol>() -> T{
    return B() as! T
}

您不能将B作为T返回，因为使用该函数的人定义了T是什么，而不是您，并且T可以是符合以下条件的任何类型Protocol例如，我可以这样做：

class C: BProtocol 
{
    typealias B = Float
}

let c: C = Main().sendB_()

这样做，我将T设置为C，并且sendB_()中的强制类型转换将失败。

不幸的是，具有关联类型的协议本身不能被视为具体类型，因此您使用AProtocol采取的方法将行不通。

如我所见，您有两个选择。将函数返回类型更改为B。毕竟，您总是会返回B

func sendB_() -> B {
    return B()
}

如果要使其通用，请尝试

protocol BProtocol 
{
    associatedtype B

    init() // Needed to be able to do T() in generic function
}

func sendB_<T: BProtocol>() -> T{
    return T()
}

您需要将初始化程序添加到协议中，以确保类型为T的实例始终存在。

具有关联类型的返回协议

2 个答案: