给定尺寸为夫特型

在夫特套，有一个方法来构造一个类型的“集的给定尺寸的？”（尽管在夫特没有依赖性类型的，是这样的结构仍然可能没有过多的“扭曲？”）给定尺寸为夫特型

作为一个例子，我希望能够定义一个参数化类型SetOfSizeTwo<T>，它的实例是由（Hashable）类型T正好两个对象组成的集合。

目前，我使用的是穷人的代理：

struct SetOfSizeTwo<T> where T: Hashable { 
    var set = Set<T>(minimumCapacity: 2) 
}

然而，这种类型不会强制属性set到是2

大小的更新

的博客文章A hack for fixed-size arrays in Swift，由Ole Begemann引导，我相信如果可能的话，在Swift 4中构建一个固定大小的类型是非常重要的。

来源

2017-12-18 egnha

我认为最好的方法是创建一个包装类自定义添加和删除方法。并且让底层的数据结构保密，这样没有人可以修补它。 – Michal

@Michal谢谢你的实际建议。基本上，我想强制设置大小作为编译时间约束，理想情况下使用类型。但是我怀疑如果没有依赖类型的语言支持，这是不可能的。 – egnha

下面是一种方法，尽可能接近我的需求，以满足您的需求。这是周围的边缘有点粗糙，需要一些抛光，但我想你会明白我的意思：

class Size { 
    let size: Int 

    init(size: Int) { 
     self.size = size 
    } 

    required init() { 
     self.size = 0 
    } 
} 

class SizeOne: Size { 
    private override init(size: Int) { 
     super.init(size: size) 
    } 

    required init() { 
     super.init(size: 1) 
    } 
} 

class SizedSet<S, T> where S: Size, T: Hashable { 
    private var set: Set<T> 
    private let maximumSize: S 

    init() { 
     set = Set<T>() 
     maximumSize = S() 
    } 

    func insert(item: T) { 
     if !set.contains(item) && set.count + 1 <= maximumSize.size { 
      set.insert(item) 
     } 
    } 

    func remove(item: T) { 
     set.remove(item) 
    } 

    func contents() -> Set<T> { 
     return set 
    } 
}

用法：

let set: SizedSet<SizeOne, Int> = SizedSet() 
print(set.contents()) 
// [] 

set.insert(item: 1) 
print(set.contents()) 
// [1] 

set.insert(item: 2) 
print(set.contents()) 
// [1]

来源

2017-12-18 11:22:20 Michal

给定尺寸为夫特型

回答

相关问题