Question

struct Test {
    func isOk () -> Bool{
        return true
    }

    var mapping: [Int: () -> Bool] = [
        1: isOk
    ]

    func test() -> Bool {
        return mapping[1]()
    }
}

我收到了这个错误：

Cannot convert value of type '(Test) -> () -> Bool' to expected dictionary value type '() -> Bool'

有什么想法吗？谢谢！

Answer 1

你看到这种奇怪的类型（(Test) -> () -> Bool）因为Swift instance methods are curried functions。

如果可以将isOk转换为静态方法，则可以执行以下操作：

struct Test {
    static func isOk() -> Bool { //Make it static
        return true
    }

    var mapping: [Int : () -> Bool] = [
        1 : Test.isOk // Static method must be qualified by its parent type
    ]

    func test() -> Bool { //Bool return value necessary
        //TODO: remove force unwrapping.
        return mapping[1]!() //subscripting a Dict might return nil
    }
}

如果isOk必须保留为实例方法，则可以执行以下操作：

struct Test {
    func isOk() -> Bool {
        return true
    }

    var mapping: [Int : (Test) -> () -> Bool] = [ //change type
        1 : isOk
    ]

    //the instance method received from the dict needs an instance to act on
    func test(instance: Test) -> Bool { //Bool return value necessary
        //TODO: remove force unwrapping.
        return mapping[1]!(instance)() //curried function call
    }
}

Answer 2

@AMomchilov对于这种情况发生的原因是正确的。在静态范围内（例如在mapping的默认值赋值中），instance methods are curried functions - 意味着它们返回一个函数，该函数将给定实例作为参数进行操作，而不是隐式操作{{ 1}}（因为self不引用静态范围的实例）。

如果您不希望self成为静态方法并且希望isOk保持mapping，那么已经提出的另一个可能解决方案就是使其成为{{ 1}}。这将允许您在[Int : () -> Bool]的分配中访问lazy，因为它现在位于实例范围内 - 因此意味着函数类型将为isOk。

mapping

此方法的唯一警告是，您需要将() -> Bool标记为struct Test { func isOk () -> Bool { return true } lazy var mapping: [Int: () -> Bool] = [ 1 : self.isOk ] mutating func test() -> Bool { // you need to think about situations where mapping[1] returns nil // and deal with it in a more proper way than force unwrapping return mapping[1]!() } } - 因为test()变量的默认值将在第一次访问时设置时间，从而改变了结构。

虽然可能更清晰的替代方案（取决于用例），只是将您的函数分配给初始化器中的字典（或字典本身）。这样您就可以mutating保持非惰性，因此lazy不一定是mapping。

test

同样，这可以确保您在将方法分配给字典时处于实例范围，从而确保它具有签名mutating。

如何使用函数作为值声明字典并使用整数键入？

2 个答案: