scala – 如何提高基于字符串或双精度值的类型安全性？

我想知道使用我的代码实现类型安全的最佳方法,当各种值可能都是字符串或双打时,但仍然不兼容.例如,我可能有单位为磅和千克,但我应该被禁止分配给另一个.同样地,我可能有一个人ID作为字符串和一个动物ID的查找表作为Map [String,Int],但是我应该被禁止在动物表中查找一个人.

从概念上讲,我正在寻找这样的东西：

class PersonId extends String
class AnimalId extends String

var p : PersonId = "1234"
var tab : Map[AnimalId,Int] = Map("foo" -> 5,"bar" -> 6)
tab.get(p)  // Want this to cause a compile error

但是有几个问题使得它不起作用.建议适合精神的东西？

case class PersonId(id:String)
case class AnimalId(id:String)

var p: PersonId = PersonId("1234")
var tab: Map[AnimalId,Int] = Map(AnimalId("foo") -> 5,AnimalId("bar") -> 6)