海词手机词典
  • 谨慎给出类的定义域和值域约束,他们是全局约束,可能会导致不期望的结果。