`
spark_li
  • 浏览: 19821 次
  • 性别: Icon_minigender_1
  • 来自: 杭州
社区版块
存档分类
最新评论

一个例子看懂协变和LSP

    博客分类:
  • Java
 
阅读更多
package org.spark;
public class app {
    
    public static void main(String[] args) {
       Convertor<Object> objConvertor = new Convertor<Object>();
       String result = convert(2, objConvertor);// 协变, 看起来好像是把一个基类的对象转换为子类,其实不是。
        
       System.out.print(result);
    }
    public static String convert(Integer value, Convertor<? super Integer> convert){//?语法支持协变, 如果没有则编译不过
        return convert.toString(value);//在这里,其实是把子类的Integer传入了Object的Convertor。 符合LSP原则。
    }
    
}
class Convertor<T> 
{
    String toString(T obj)
    {
       return obj.toString();
    }
}

 

分享到:
评论

相关推荐

Global site tag (gtag.js) - Google Analytics