3

我正在制作一个农场，所有可以种植的东西都符合 Growable 协议。当你种植植物时，你调用这个函数：

myFarm.planting<T: Growable>(qty: Int, of: T.Type) -> Farm

现在我希望 Farm 的每个实例都有一个字典实例 var，例如：

var crops = [Growable.Type: Int]

问题是，即使我让 Growable 协议继承了 Hashable，这也无助于 Growable类型变成 Hashable。

换句话说，即使我像这样向 Growable 添加扩展：

extension Growable {
    static func hashValue {
        // return some hash
    }
}

... Growable类型仍然不是 Hashable，因为 Hashable 协议只涉及类型的实例，而不涉及类型本身。

好吧，通常我会放弃并说，“我很愚蠢，不要再尝试这个了。”

然而这是 Swift，所以我认为必须有一种方法可以让语言符合我的意愿，无论是通过创建一个新的 StaticHashable 协议，然后使用接受此协议的新下标方法扩展 Dictionary 类型，还是通过修改 Swift 的源代码本身和然后向进化列表提出建议。

但在我走上这两条路之前，我认为明智的做法是问问各位天才，是否已经有一种方法可以做我想做的事，或者这样做是否非常愚蠢，你会向我展示我以前的明显优越的方法一直以某种方式错过了令人难以置信的愚蠢。

注意：我的观点是类型本身应该能够静态地遵守其功能未声明为静态的协议，因为消息的发送者为什么要关心响应的实体是不朽的上帝还是短暂的生物，在某些神的形象？

4

2 回答 2

3

是否可以在 Swift 中使用 Type 作为字典键？

好吧，这是可能的，这是一种方法：

protocol Growable { ... }

struct S : Growable { ... }
class C : Growable { ... }

extension Dictionary where Key : LosslessStringConvertible
{
   subscript(index: Growable.Type) -> Value?
   {
      get
      {
         return self[String(describing: index) as! Key]
      }
      set(newValue)
      {
         self[String(describing: index) as! Key] = newValue
      }
   }
}

var d : [String:Int] = [:]
d[S.self] = 42
d[C.self] = 24
print(d)

印刷：

["C": 24, "S": 42]

如果将subscript定义更改为：

subscript(index: Any.Type) -> Value?

您当然可以使用任何类型作为键：

var d : [String:Int] = [:]
d[S.self] = 42
d[C.self] = 24
d[type(of:d)] = 18
print(d)

印刷：

["C": 24, "S": 42, "Dictionary<String, Int>": 18]

我会让你来决定这是否明智，但它显然是可能的。

[注意：您不能因此限制Key使用String协议LosslessStringConvertible；可能有更好的选择，Swift 标准库是一个移动的目标...]

高温高压

于 2017-10-18T19:58:28.287 回答
0

您可能会考虑退后一步，重新审视您的设计。您可以使用另一个强大的 Swift 功能枚举Growable来为您的植物建模。例如：

protocol Growable {
    /* ... */
}

enum Vegetable: String, Hashable, Growable {
    case carrot, lettuce, potato /* ... */
}

enum Mushroom: String, Hashable, Growable {
    /* ... */
}

struct Farm {
    var crops = [AnyHashable: Int]()
    mutating func plant<T: Growable & Hashable>(qty: Int, of growable: T) {
        crops[growable] = qty
    }
}

Hashable不支持作为具体类型使用，因此，我们需要使用类型擦除 AnyHashable结构来代替——具有 Self或关联类型要求的协议可能很难正确处理！

用法：

var myFarm = Farm()
myFarm.plant(qty: 10, of: Vegetable.carrot)
myFarm.plant(qty: 20, of: Vegetable.lettuce)
myFarm.plant(qty: 30, of: Vegetable.potato)

print(myFarm.crops)

[AnyHashable(Vegetable.potato): 30, AnyHashable(Vegetable.carrot): 10, AnyHashable(Vegetable.lettuce): 20]

可散列的元类型。关于您的原始设计，表达您的意图的正确方法是：

extension Growable.Type: Hashable {
    /* make this meta thing hashable! */
}

即，也制作相应的元类型 Hashable，但 Swift 尚不支持扩展元类型；）

于 2017-10-18T19:35:27.657 回答