【subtyping】什么意思_英语subtyping的翻译_音标_读音_用法_例句_在线翻译

abstract: In programming language theory, subtyping (also subtype polymorphism or inclusion polymorphism) is a form of type polymorphism in which a subtype is a datatype that is related to another datatype (the supertype) by some notion of substitutability, meaning that program elements, typically subroutines or functions, written to operate on elements of the supertype can also operate on elements of the subtype. If S is a subtype of T, the subtyping relation is often written S <: T, to mean that any term of type S can be safely used in a context where a term of type T is expected.

以上来源于: WordNet

1.
N a secondary or subordinate type or genre, esp a specific one considered as falling under a general classification 子类型

Structural Subtyping (duck typing) using type inference and anonymous types.

使用类型引用和匿名类型的结构子类型转化(动态类型)。

youdao
Circle-ellipse problem: Subtyping variable-types on the basis of value-subtypes.

是Subtyping variable - types on the basis of value - subtypes。

youdao
It can contain any kind of relationship, including subtyping and many-to-many relationships.

它可以包含任何种类的关系，包括图表类型和多到多的关系。

youdao

更多双语例句

应用推荐

$firstVoiceSent

- 来自原声例句

subtyping