3

我有这样的功能：

func register<T: Routable>(_ action: Action, withCallback callback: @escaping (T?) -> Void) {
    notificationCenter.addObserver(forName: actionMap[action], object: nil, queue: .main, using: { notification in
    let routable = T(userInfo: notification.userInfo)
        callback(routable)
    })
}

其中Routable定义如下：

protocol Routable {
    init?(userInfo: [AnyHashable: Any]?)
}

当我尝试使用它时，我收到

无法显式特化泛型函数

这是用法：

controller.register<Navigate>(Action.navigate) { [unowned self] navigate in
    // do something
}

有什么想法可以让编译器开心吗？

4

2 回答 2

5

我相信这纯粹是一个语法问题。你不能像这样直接传递类型参数。您需要“填写类型孔”。为此，您需要将类型添加到navigate：

controller.register(Action.navigate) { [unowned self] (navigate: Navigate?) in ... }

有时这种语法很烦人，因为它掩盖了类型。您可以通过重写这种方式的签名来改进它register：

func register<T: Routable>(action: Action, returning: T.type,
                           withCallback callback: @escaping (T?) -> Void)

然后你会这样称呼它：

controller.register(action: .navigate, returning: Navigate.self) { 
    [unowned self] navigate in 
    // ...
}

该returning参数不直接在函数中使用。它只是提供了一种更明确的方式来专门化该功能。

于 2018-07-14T05:46:32.193 回答
0

没有看到更完整的代码示例真的很难说......但基本上编译器告诉你的是“你告诉我你希望注册函数是通用的（因为它有一个类型参数）但是你也在尝试确切地告诉我要使用什么类型，我不喜欢那样”。

当您在调用中添加特定类型参数时，您“显式地专门化 [ing]”该函数的点是：

controller.register<Navigate>...
# Right Here       ^^^^^^^^^^

编译器希望灵活地确定要调用的寄存器函数类型。我怀疑你想要的是：

controller.register(Action.navigate) {...

您没有明确专门化泛型函数，而是让编译器找出要使用的专门化。

于 2018-07-14T03:08:59.027 回答