版权归原作者所有,如有侵权,请联系我们

[科普中国]-子类型

科学百科
原创
科学百科为用户提供权威科普内容,打造知识科普阵地
收藏

在编程语言理论中,子类型是一种类型多态的形式。这种形式下,子类型可以替换另一种相关的数据类型(超类型,英语:supertype)。也就是说,针对超类型元素进行操作的子程序、函数等程序元素,也可以操作相应的子类型。如果 S 是 T 的子类型,这种子类型关系通常写作 S