在java代码中,人们惯性的认为一个方法中只能返回一种返回值或者无返回。博主在做开发过程中碰到了这样一种情况,安卓客户端请求数据,后台可能返回两种结果(1)访问令牌失效,无数据返回。(2)正常获取数据。
这样的情况下需要根据访问令牌标识来判断是否有数据返回。当无效时返回用户重新登录提示,正常时则返回数据。显然,返回的结果有两种,那么一个方法里面只能返回一种类型的禁锢使得开发起来略显笨拙。 使得开发起来相当难受。
思考良久,又结合C++协变返回类型的启发。摘抄原文中的一句话: 在C++中,只要原来的返回类型是指向类的指针或引用, 新的返回类型是指向派生类的指针或引用,覆盖的方法就可以改变返回类型 。这样的类型称为协变返回类型(Covariant returns type).
因为java里面有没有指针,所以无法做到以上的功能。但是派生类是包含父类的共有方法和保护方法的。再根据里氏代换原则(任何基类可以出现的地方,子类一定可以出现),那么凡是派生类包含的基类属性,基类一定包含,这样的话情况会好很多。 那么只要由派生类设置属性返回到基类中,基类方法一定能操作这些属性 。那么一条完整的可变返回类型就可以建立起来。下面结合代码来验证:
首先先定义两个实体类,代码如下,
1 class Person {
2 /** 假设每个人都有一个名字 **/
3 String name;
4
5 public String getName() {
6 return name;
7 }
8
9 publicvoid setName(String name) {
10 this.name = name;
11 }
12
13 }// person
14
15 class SuperMan extends Person {
16 /** 假设每个超人都有身高 **/
17 int height;
18
19 publicint getHeight() {
20 return height;
21 }
22
23 publicvoid setHeight(int height) {
24 this.height = height;
25 }
26 }// SuperMan
SuperMan类继承Person类(博主当时想不出来什么好东西了- -!),则SuperMan类包含name和height两个属性,基类Person只包含name属性。
先说明一下普通的操作方式,以此作为对比。代码如下:
1 publicstatic Person getPerson1() {
2 Person person = new Person();
3 person.setName("无语");
4 return person;
5 }
1 publicstatic SuperMan getSuperMan1() {
2 SuperMan man = new SuperMan();
3 man.setName("不知道");
4 man.setHeight(120);
5 return man;
6 }
很简单,返回值就是预期的返回类型,但是如果把返回类型替换一下结果如何。如下所示:
1 publicstatic SuperMan getSuperMan() {
2 Person person = new SuperMan();
3 person.setName("小虎");
4 return (SuperMan) person;
5 }
以上只能得到Superman的name属性无法得到height属性,如果在返回之前强转以此加上height属性后返回即可得到一个完整的SuperMan对象。这里不再尝试,读者自行处理。
1 publicstatic Person getPerson() {
2 SuperMan man = new SuperMan();
3 man.setHeight(100);
4 man.setName("大明");
5 return man;
6 }
以上代码就是此文章的核心,也是解决文章开头问题的核心。怎么操作呢?
我们写两个类,ErroMessage和DataMessage类,其中ErroMessage是基类,DataMessage继承基类。ErroMessage包含erroMessage属性类型为private,DataMessage包含data属性。那么ErroMessage就只包含erroMessage属性,操作时只会引起erroMessage的变化,而不会引起data的变化。而操作DataMessage类时只能操作data属性。而在一个方法中,只要保持方法类型为ErroMessage,返回时就可以根据需要来返回相应的类型。这样使用方法时, 用派生类得到所有属性,如果子类属性为空,那么基类属性一定不为空。如果派生类属性不为空,那么基类属性一定为空。 这样就可以按需取得相应的数据。操作起来相当简单。代码操作如下:
1 printDivider("person");
2 Person person = getPerson();
3 System.out.println("person的名字是" + person.getName());
4 SuperMan superMan = (SuperMan) person;
5 System.out.println("通过强转获取到的超人高度是这样的" + superMan.getHeight());
以上就是博主对可变返回类型的理解。
其中核心思想是这样的: 派生类可以包含基类的共有属性,那么基类一定能从派生类获取到自身暴露给派生类属性的值 。这是一种逆向思维方式,可能有悖于传统代码编写方式,但是做软件就是应该尝试打破传统思维,纵使道路崎岖不堪。如果有错误的话,还望各位读者提出指正批评意见,共同成长。
FROM:http://www.tuicool.com/articles/qUJFbi
相关推荐
在Java编程语言中,协变返回类型是一种特性,它允许子类在重写父类方法时,返回一个比父类方法更具体的类型。这在某些情况下可以提高代码的灵活性和可读性。Java 5.0及后续版本开始支持这种协变特性。下面将详细解释...
在开发过程中,协变返回类型可以提高代码的可重用性和灵活性。例如,在设计一个返回可枚举集合的方法时,可以声明为返回`IEnumerable<object>`,而实际返回的是`IEnumerable<string>`或`IEnumerable<int>`等更具体...
4. 涵盖了所有新的语言特性,包括自动装箱、可变参数方法、增强的for循环以及协变返回类型。 5. 引入了关键的新类,如Formatter和Scanner。 这本书不仅是一个权威的Java语言教程,同时也是一本不可或缺的参考书,...
此外,书中还新增了断言和正则表达式的重要部分,涵盖了自动装箱、可变参数方法、增强型for循环和协变返回类型等所有新的语言特性。同时,本书也对Formatter和Scanner等关键新类进行了介绍。 《Java编程语言 第四版...
2. 方法签名:Java的方法签名包括返回类型、方法名和参数列表,C#也是这样,但C#允许方法重载,可以根据不同的参数列表定义多个同名方法。 3. 注释:Java使用`//`和`/*...*/`进行单行和多行注释,C#则有`//`、`///`...
4. **语言新特性**:涵盖了从自动装箱、变长参数方法到增强的for循环和协变返回类型的全部新特性。 5. **新类覆盖**:介绍了如Formatter和Scanner等关键新类,这些类在处理格式化输出和输入方面极为有用。 本书系统...
重写(Override)是指子类对父类中的方法进行重新实现,必须保证子类方法与父类方法具有相同的名称、参数列表和返回类型(协变返回类型除外)。重写体现运行时多态,与访问权限和抛出的异常也有关。重载与返回类型...
- **协变返回类型(Covariant Return Types)**:这种方法允许子类重写父类的方法并改变其返回值的类型,但必须确保子类的返回类型是父类返回类型的子类型。 ##### 3. 新增的关键类 - **Formatter类**:提供了格式...
协变返回类型允许子类覆盖父类的方法时,返回类型可以是父类返回类型的子类型,这在泛型上下文中尤为重要,能够保持代码的灵活性和类型安全性。 #### 六、泛型的实际应用与注意事项 在实际编程中,合理运用泛型...
4 软 件 最 终 产 品 :用 Java 语 言 开 发 的 软 件 可 以 具 有 可视化 、 可 听 化 、 可 操作 化 的 效 果 ,这 要 比 电 视 、 电 影 的 效果 更 为 理 想 ,因 为 它 可 以做 到 "即 时 、 交 互、 动 画 与 ...
7. **泛型方法**:除了泛型类,我们还可以定义泛型方法,方法的返回类型和参数列表可以包含类型参数。这增加了方法的灵活性,使得方法可以处理不同类型的参数。 8. **泛型与反射**:虽然泛型信息在运行时不存在,但...
4. **基类和派生类中对应的方法的签名必须相同**:包括方法名、参数列表以及返回类型。 5. **基类和派生类的方法的返回对象类型必须相同或者返回对象类型必须是协变的**:协变指的是如果子类可以替代父类,则子类...
6. **返回类型**:多态方法的返回类型必须相同,或者返回类型之间存在协变关系(例如,父类类型可以作为子类类型的返回类型)。 7. **访问控制**:派生类的方法访问修饰符不能比基类更严格,这意味着如果基类方法是...
掌握泛型接口和方法、类型擦除、协变、逆变等概念对于编写高质量的Java代码至关重要。 **7. 反射** 反射允许程序在运行时检查和修改自身结构与行为。这对于框架和库的设计非常有用,但也可能导致安全性问题。 **8...
自Java 1.5起,接口方法的改写允许返回类型更加宽松,即子接口或实现类的方法返回类型可以是父接口方法返回类型的子类型,这是协变返回类型(covariant return type)。然而,如果方法的返回类型仅仅是不同的,那么...
泛型的协变返回类型(Covariant Return Types)允许子类重写方法时返回比父类更具体的类型。 通过对比Java泛型和C++模板(Templates),我们可以看到两者在设计上有相似之处,但也有本质的区别。Java的泛型提供了比...