xié biàn · ㄒㄧㄝˊ ㄅㄧㄢˋ · 更新 2026-07-13 12:09:48
协变是在计算机科学中，描述具有父/子型别关系的多个型别通过型别构造器、构造出的多个复杂型别之间是否有父/子型别关系的用语。