一个例子看懂协变和LSP

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();
    }
}

猜你喜欢

转载自spark-li.iteye.com/blog/2214401