Question

在Swift 2.x中，我有一个很好的小设置，允许我使用枚举成员存储和检索字典值：

public enum UserDefaultsKey : String {
    case mainWindowFrame
    case selectedTabIndex
    case recentSearches
}

extension Dictionary where Key : String {
    public subscript(key: UserDefaultsKey) -> Value? {
        get { return self[key.rawValue] }
        set { self[key.rawValue] = newValue }
    }
}

这允许我访问这样的值：

let dict = userDefaults.dictionaryForKey("SearchPrefs")
if let recentSearches = dict?[.recentSearches] as? [String] {
    // Populate "Recent" menu items
}

...而不是必须访问这样的值：

let dict = userDefaults.dictionaryForKey("SearchPrefs")
if let recentSearches = dict?[UserDefaultsKey.recentSearches.rawValue] as? [String] {
    // Populate "Recent" menu items
}

注意：使用字符串文字从NSUserDefaults访问字典仅用于示例目的。我实际上不会忘记使用字典键的枚举，只是使用字符串文字来访问字典本身。： - ）

无论如何，这对我的需求非常有用，它使阅读和维护涉及NSUserDefaults的代码更加愉快。

但是，将项目迁移到Swift 3后，我收到以下错误：

extension Dictionary where Key: String {
    public subscript(key: UserDefaultsKey) -> Value? { <---- Use of undeclared type 'Value'
                                              ~~~~~~
        get {
            return self[key.rawValue]
        }
        set {
            self[key.rawValue] = newValue
        }
    }
}

我查看了Dictionary生成的标头，通用Key和Value参数仍然存在于Dictionary结构的Generic Argument Clause中，所以我不太清楚问题是什么。

我是否需要重写where子句以符合我不知道的一些新的Swift 3语法？或者......可以不再访问扩展中的通用占位符类型吗？

我只是不知道该怎么做！

我的项目只有28个迁移错误需要解决。我真的很接近使用Swift 3，所以我喜欢任何指针（只要它们不是Unsafe和/或Raw）。

谢谢！

Answer 1

当前，具体类型的通用参数不能约束为具体类型。这意味着像

这样的东西

extension Dictionary where Key == String

不会编译。它是泛型系统的一个限制，它有望在Swift 4中成为一个问题。

虽然有一个解决方法，但它有点hacky：

protocol StringConvertible {
    init(_ string: String)
}

extension String: StringConvertible {}

extension Dictionary where Key: StringConvertible {

    subscript(key: UserDefaultsKey) -> Value? {
        get { return self[Key(key.rawValue)] }
        set { self[Key(key.rawValue)] = newValue }
    }

}

Swift 3通用扩展参数

1 个答案: