1. 程式人生 > >java逆變與協變(待完善)

java逆變與協變(待完善)

list ava 修改 接口 父類 strong 多態 入參 方法

協變:若B是A的子類,且F(B)是F(A)的子類,則F為協變

逆變:若B是A的子類,且F(B)是F(A)的父類,則F為逆變

java中的協變:B是A的子類,則List是List的子類

java中的逆變:B是A的子類,則List是List的子類

java中協變與逆變的約束:java中的協變逆變和約束,都是出於對多態的應用。

多態:同一個接口,使用不同的實例執行不同的操作。

協變約束:協變方法支持對傳入參數的讀操作,但不支持修改操作

逆變約束:

java逆變與協變(待完善)