swift - 试图了解与通用枚举相关的 "Cannot convert value of type ... to expected argument type"错误

Question

我遇到了某种泛型编程的怪癖，希望得到一些帮助。抱歉，如果已经有人问过这个问题，很难放入搜索词中。

给定这段代码:

enum Result<T> {
    case success(T)
    case failure(Error)
}

protocol ObjectProtocol {}
class ObjectClass: ObjectProtocol {}

func describe(result: Result<ObjectProtocol>) -> String {
    return "\(result)"
}


let result = Result.success(ObjectClass())
print(describe(result: result))

在最后一行，我得到了错误:

error: cannot convert value of type 'Result<ObjectClass>' to expected argument type 'Result<ObjectProtocol>'

奇怪的是，如果我用这个替换最后两行(删除变量定义并只传递 Result 内联)，它工作正常:

print(describe(result: Result.success(ObjectClass())))

为什么一个有效而另一个无效？

编辑:

使函数通用可以解决问题:

func describe<T: ObjectProtocol>(result: Result<T>) -> String {
    return "\(result)"
}

但是，如果结果不是传递给函数(可以很容易地使其成为通用函数)而是传递给另一个枚举，我不确定您将如何解决该问题。例如:

enum Result<T> {
    case success(T)
    case failure(Error)
}

protocol ObjectProtocol {}

class ObjectClass: ObjectProtocol {}

enum RequestStatus {
    case completed(result: Result<ObjectProtocol>)
    case notMadeYet
}

let result = Result.success(ObjectClass())
let status = RequestStatus.completed(result: result)

这给出了与上面相同的错误。

Answer 1

好问题。你所看到的是，对于像数组赋值和其他泛型这样的简单事情，Swift 表现出了协变性。这些工作:

let result: Result<ObjectProtocol> = Result.success(ObjectClass())
print(describe(result: result))
// SUCCESS: you assigned to a variable

print(describe(result: Result.success(ObjectClass())))
// SUCCESS: you "assigned" to a field

也就是说，您可以分配一个 Result<ObjectClass> Result<ObjectProtocol> 类型变量的表达式.

但是函数参数和参数不是协变的；你不能通过 Result<ObjectClass>到 Result<ObjectProtocol> 类型的参数.这些失败了:

let result: Result<ObjectClass> = Result.success(ObjectClass())
print(describe(result: result))
// ERROR: can't pass wrapped class to wrapped protocol

let result = Result.success(ObjectClass()) // inferred class
print(describe(result: result))
// ERROR: can't pass wrapped class to wrapped protocol

这些事情通常是通过让你的函数不带参数 Result<ObjectProtocol> 来处理的。而是“一个 Result 由任何实现 ObjectProtocol 的类参数化(并使该函数通用)，我刚刚看到您在编辑中发现了这一点!

Here is an article that may be helpful .