我试图强制执行一个由Int支持的简单类型,不会与其他Ints混淆. 假设您有以下typealiases: typealias EnemyId = Inttypealias WeaponId = Int 我希望以下内容有编译错误: var enemy: EnemyId = EnemyId("1")enem
假设您有以下typealiases:
typealias EnemyId = Int typealias WeaponId = Int
我希望以下内容有编译错误:
var enemy: EnemyId = EnemyId("1")
enemy = WeaponId("1") // this should fail
我想失败的那一行应该失败,因为两种类型(EnemyId和WeaponId)是不同的类型.
实现这一目标最好,最干净的方法是什么?
UPDATE
在查看了答案和评论之后,我想用枚举添加我想出的内容:
enum Enemy {
case id(Int)
var id: Int {
switch self {
case .id(let i):
return i
}
}
}
let enemy = Enemy.id(1)
print("enemy: \(enemy.id)")
目前,Mattt的答案要短得多,而且更符合您对Swift的期望.
更新#2
我还没有访问swift 4.1所以我必须执行以下操作:
struct EnemyId : Hashable {
private let value: Int
init(_ value: Int) {
self.value = value
}
init?(_ string:String) {
guard let value = Int(string) else { return nil }
self.init(value)
}
static func ==(_ lhs: EnemyId, _ rhs: EnemyId) -> Bool {
return lhs.value == rhs.value
}
var hashValue: Int {
return value.hashValue
}
}
然而,事实证明我的解析添加了几百毫秒,因此我不得不恢复到类型,但它非常接近我想要的.
Swift没有(还有?)具有newtype的概念 – 基本上是一个不透明的类型,它返回了与原始类型相同的值.你可以做的是使用包裹原始类型的1字段结构. 1字段结构没有性能损失,同时为您提供了一个独特的类型,带有更多的语义值(感谢@RobNapier提供有关Hashable的优秀提示):
struct EnemyId: Hashable {
private let value: Int
init(_ value: Int) { self.value = value }
static func ==(_ lhs: EnemyId, _ rhs: EnemyId) -> Bool {
return lhs.value == rhs.value
}
var hashValue: Int {
return value.hashValue
}
}
struct WeaponId: Hashable {
private let value: Int
init(_ value: Int) { self.value = value }
static func ==(_ lhs: WeaponId, _ rhs: WeaponId) -> Bool {
return lhs.value == rhs.value
}
var hashValue: Int {
return value.hashValue
}
}
像这样的类型可以像Int那样在许多地方使用,而不同.当然,您可以根据需要添加更多协议一致性.
