協變與逆變

協變與逆變 （ Covariance and contravariance ） 是在計算機科學中 ， 描述具有父 / 子型別關係的多個型別通過型別構造器 、 構造出的多個複雜型別之間是否有父 / 子型別關係的用語 。