Question

在将参数传递给具有协议限制的泛型函数时，我似乎遇到了似乎是编译器不一致的问题。我可以传递一个具体的参数，但不能作为协议类型的参数

protocol Selectable {
    func select()
}

protocol Log : Selectable {
    func write()
}

class DefaultLog : Log {
    func select() {
        print("selecting")
    }
    func write() {
        print("writing")
    }
}

let concrete = DefaultLog()
let proto: Log = DefaultLog()

func myfunc<T: Selectable>(arg: T) {
    arg.select()
}

myfunc(concrete)   // <-- This works
myfunc(proto)      // <-- This causes a compiler error
proto.write()      // <-- This works fine

编译器报告：

error: cannot invoke 'myfunc' with an argument list of type '(Log)'
myfunc(proto)
^
note: expected an argument list of type '(T)'
myfunc(proto)
^

如果我将该功能限制为可选择或日志协议，它仍然会失败。

这是编译器错误吗？有什么想法吗？

Answer 1

如果您使用的是协议，则不需要通用：

func myfunc(arg: Selectable) {
    arg.select()
}

我认为T需要成为仿制药的具体类型。

快速不一致的通用协议限制

1 个答案: