类关系强类型的最佳模式

Question

我正在寻找一种方法来允许在编译时实例之间的关系。 在抽象的方式中，这意味着接口的多个子类型与同一类型的多个属性相关，但并非所有子类型都以逻辑方式兼容。我想在编译时检查一下。

场景如：

• Animal 实例在构造函数中接收一个国家实例（它所在的国家）。

解决方案：

• 运行时检查通过 XML 实例和验证

<Animal>
  <Type>Lion</Type>
  <Countries>
      <Country>Zimbabwe</Country>
      <Country>Kenya</Country>
  </Countries>
</Animal>

<Animal>
   <Type>Gorilla</Type>
   <Countries>
      <Country>Zimbabwe</Country>
      <Country>Botswana</Country>
   </Countries>
</Animal>

但这只能在运行时失败

• 为每个属性组合创建一个 GorillaCountry、BotswanaCountry 和 KenyaCountry Country 子接口，但如果有 200 个映射，这有点难以维护。

我寻找的是某种模式，它以一种很好且可扩展的方式在编译时进行这种类型检查：

if (animal instanceOf Lion){
   if (country instanceOf Botswana) throw new UnsupportedMapping("There are no lions in Botswana") 
}
//for Kenya
else if (animal instanceOf Gorilla){
   if (country instanceOf Kenya) throw new UnsupportedMapping("There are no gorillas in kenya") 
}

使用泛型或映射可能是一种棘手的方式...

Answer 1

你想要的是类似于 java 8 pluggable type system 的东西。

使用它的示例和框架是here。

使用它来创建@Animal 和@Country 注释似乎完全有可能，但不一定明智。然后设置一个相应的类型检查器来查询appropriate database 以查看它们是否已经灭绝。