Java和Ceylon对象的构造和验证

更新时间：2016年11月14日 13:58:13 作者：shanshuiss

这篇文章主要为大家详细介绍了Java和Ceylon对象的构造和验证,具有一定的参考价值，感兴趣的小伙伴们可以参考一下

当变换Java代码为Ceylon代码时，有时候我会遇到一些Java类构造器混淆了验证与初始化的情形。让我们使用一个简单但是人为的代码例子来说明我想阐述的意思。

一些坏代码

考虑下面的Java类。(伙计，不要在家里写这样的代码)

public class Period {
 private final Date startDate;
 private final Date endDate;
 //returns null if the given String
 //does not represent a valid Date
 private Date parseDate(String date) {
  ...
 }
 public Period(String start, String end) {
  startDate = parseDate(start);
  endDate = parseDate(end);
 }
 public boolean isValid() {
  return startDate!=null && endDate!=null;
 }
 public Date getStartDate() {
  if (startDate==null) 
   throw new IllegalStateException();
  return startDate;
 }
 public Date getEndDate() {
  if (endDate==null)
   throw new IllegalStateException();
  return endDate;
 }
}

嘿，我之前已经警告过，它是人为的。但是，在实际Java代码中找个像这样的东西实际上并非不常见。

这里的问题在于，即使输入参数(在隐藏的parseDate()方法中)的验证失败了，我们还是会获得一个Period的实例。但是我们获取的那个Period不是一个“有效的”状态。严格地说，我的意思是什么呢?

好吧，假如一个对象不能有意义地响应公用操作时，我会说它处于一个非有效状态。在这个例子里，getStartDate() 和getEndDate()会抛出一个IllegalStateException异常，这就是我认为不是“有意义的”一种情况。

从另外一方面来看这个例子，在设计Period时，我们这儿出现了类型安全的失败。未检查的异常代表了类型系统中的一个“漏洞”。因此，一个更好的Period的类型安全的设计，会是一个不使用未检查的异常—在这个例子中意味着不抛出IllegalStateException异常。

(实际上，在真实代码中，我更有可能遇到一个getStartDate() 方法它不检查null ，在这个代码行之后就会导致一个NullPointerException异常，这就更加糟糕了。)

我们能够很容易地转换上面的Period类成为Ceylon形式的类：

shared class Period(String start, String end) {
 //returns null if the given String
 //does not represent a valid Date
 Date? parseDate(String date) => ... ;
 value maybeStartDate = parseDate(start);
 value maybeEndDate = parseDate(end);
 shared Boolean valid
  => maybeStartDate exists 
  && maybeEndDate exists;
 shared Date startDate {
  assert (exists maybeStartDate);
  return maybeStartDate;
 }
 shared Date endDate {
  assert (exists maybeEndDate);
  return maybeEndDate;
 }
}

当然了，这段代码也会遇到与原始Java代码同样的问题。两个assert符号冲着我们大喊，在代码的类型安全中有一个问题。

使Java代码变得更好

Java里我们怎么改进这段代码呢?好吧，这儿就是一个例子关于Java饱受诟病的已检查异常会是一个非常合理的解决方法!我们可以稍微修改下Period来从它的构造器中抛出一个已检查的异常：

public class Period {
 private final Date startDate;
 private final Date endDate;
 //throws if the given String
 //does not represent a valid Date
 private Date parseDate(String date)
   throws DateFormatException {
  ...
 }
 public Period(String start, String end) 
   throws DateFormatException {
  startDate = parseDate(start);
  endDate = parseDate(end);
 }
 public Date getStartDate() {
  return startDate;
 }
 public Date getEndDate() {
  return endDate;
 }
}

现在，使用这个解决方案，我们就不会获取一个处于非有效状态的Period，实例化Period的代码会由编译器负责去处理无效输入的情形，它会捕获一个DateFormatException异常。

try {
 Period p = new Period(start, end);
 ...
}
catch (DateFormatException dfe) {
 ...
}

这是一个对已检查异常不错的、完美的、正确的使用，不幸的是我几乎很少看到Java代码像上面这样使用已检查异常。

使Ceylon代码变得更好

那么Ceylon怎么样呢?Ceylon没有已检查异常，因而我们需要寻找一个不同的解决方式。典型地，在Java调用一个函数会抛出一个已检查异常的情形中，Ceylon会调用函数返回一个联合类型。因为，一个类的初始化不返回除了类自己外的任何类型，我们需要提取一些混合的初始化/验证的逻辑来使其成为一个工厂函数。

//returns DateFormatError if the given 
//String does not represent a valid Date
Date|DateFormatError parseDate(String date) => ... ;
shared Period|DateFormatError parsePeriod
  (String start, String end) {
 value startDate = parseDate(start);
 if (is DateFormatError startDate) {
  return startDate;
 }
 value endDate = parseDate(end);
 if (is DateFormatError endDate) {
  return endDate;
 }
 return Period(startDate, endDate);
}
shared class Period(startDate, endDate) {
 shared Date startDate;
 shared Date endDate;
}

根据类型系统，调用者有义务去处理DateFormatError：

value p = parsePeriod(start, end);
if (is DateFormatError p) {
 ...
}
else {
 ...
}

或者，如果我们不关心给定日期格式的实际问题(这是有可能的，假定我们工作的初始化代码丢失了那个信息)，我们可以使用Null而不是DateFormatError:

//returns null if the given String 
//does not represent a valid Date
Date? parseDate(String date) => ... ;
shared Period? parsePeriod(String start, String end)
 => if (exists startDate = parseDate(start), 
   exists endDate = parseDate(end))
  then Period(startDate, endDate)
  else null;
shared class Period(startDate, endDate) {
 shared Date startDate;
 shared Date endDate;
}

至少可以说，使用工厂函数的方法是优秀的，因为通常来说在验证逻辑和对象初始化之间它具有更好的隔离。这点在Ceylon中特别有用，在Ceylon中，编译器在对象初始化逻辑中添加了一些非常严厉的限制，以保证对象的所有领域仅被赋值一次。

以上就是本文的全部内容，希望对大家的学习有所帮助，也希望大家多多支持脚本之家。

您可能感兴趣的文章:

Java
Ceylon

Java数据类型转换的示例详解
Java程序中要求参与的计算的数据，必须要保证数据类型的一致性，如果数据类型不一致将发生类型的转换。本文将通过示例详细说说Java中数据类型的转换，感兴趣的可以了解一下
2022-10-10
Java实现非对称加密的三种方法
本文主要介绍了Java实现非对称加密的三种方法,主要包括非对称加密算法--DH（密钥交换）,非对称加密算法--RSA,非对称加密算法--EIGamal,具有一定的参考价值,感兴趣的可以了解一下
2023-12-12
关于SpringMVC对Restful风格的支持详解
Restful就是一个资源定位及资源操作的风格,不是标准也不是协议,只是一种风格,是对http协议的诠释,下面这篇文章主要给大家介绍了关于SpringMVC对Restful风格支持的相关资料,需要的朋友可以参考下
2022-01-01
java关键字super的骚操作详解
关键字super在Java中用于引用当前类的父类（即超类）的构造方法、访问父类的成员变量和方法,它提供了一种方便的方式来处理继承关系中的父类操作,下面我们就来看看它有哪些骚操作吧
2023-09-09
Hbase、elasticsearch整合中jar包冲突的问题解决
本篇文章主要介绍了Hbase、elasticsearch整合中jar包冲突的问题解决，小编觉得挺不错的，现在分享给大家，也给大家做个参考。一起跟随小编过来看看吧
2017-12-12
iOS多线程介绍
这篇文章主要介绍了iOS多线程的相关知识，涉及到对进程，线程等方面的知识讲解，本文非常具有参考价值，感兴趣的朋友一起学习吧
2016-05-05
springboot整合vue项目(小试牛刀)
这篇文章主要介绍了springboot整合vue项目(小试牛刀)，小编觉得挺不错的，现在分享给大家，也给大家做个参考。一起跟随小编过来看看吧
2018-09-09
Java操作透明图片并保持背景透明的实现
这篇文章主要介绍了Java操作透明图片并保持背景透明的实现，具有很好的参考价值，希望对大家有所帮助。如有错误或未考虑完全的地方，望不吝赐教
2021-11-11
Spring基于注解配置AOP详解
这篇文章主要介绍了Spring基于注解配置AOP详解,Spring 的 AOP 功能是基于 AspectJ 实现的,支持使用注解声明式定义 AOP 切面,Spring 基于注解配置 AOP 需要启用 AspectJ 自动代理功能,需要的朋友可以参考下
2023-09-09
Java进阶:Struts多模块的技巧
Java进阶:Struts多模块的技巧...
2006-12-12

Java和Ceylon对象的构造和验证

相关文章

最新评论

大家感兴趣的内容

最近更新的内容

常用在线小工具