欧美AV无码一区二区,麻豆+无码+国产在线+观看,欧美狂躁少妇XXXX高潮无码,美女扒开屁股让男人桶免费观看,极品粉嫩国产18尤物在线播放

漢語(yǔ)詞典 > 詞語(yǔ)
漢語(yǔ)詞語(yǔ)拼音 漢語(yǔ)解釋

類(lèi)型

拼音: lèi xíng
注音:
詞性:
結構: 其他
近義詞:
反義詞:
詞語(yǔ)解釋

類(lèi)型lèixíng

(1)[type;pattern]

(2) 由各特殊的事物或現象抽出來(lái)的共通點(diǎn)

(3) 邏輯演算中關(guān)于主目的不可兼的分類(lèi)譜系之一

引證解釋

類(lèi)型(type)以及類(lèi)型系統的起源以及研究與發(fā)展是獨立于OOP的。早在五十年代的FORTRAN語(yǔ)言編譯器實(shí)現中,就已經(jīng)采用類(lèi)型系統作為類(lèi)型檢查的一種手段。廣義的類(lèi)型一般被定義為一種約束,也就是一種邏輯公式。而在對類(lèi)型的研究過(guò)程中產(chǎn)生多種方法,比如【C&W 1985】等。而代數方法(algebraic approach)是一種非常好的建立類(lèi)型的形式化規范的方法。代數中的一個(gè)類(lèi)型對應于一系列元素,在它們之上定義代數操作。同時(shí)在此基礎上二階λ演算已經(jīng)被用于繼承和模板所支持的模型。在上面兩種方法中,類(lèi)型被認為是一系列滿(mǎn)足確定約束條件的元素,更抽象的方式可以把一個(gè)類(lèi)型當作規定一個(gè)約束條件,如果我...查看百科

國語(yǔ)詞典

由各種具有共同特征的事物或現象所形成的種類(lèi)。

如:「由于每個(gè)導演的創(chuàng )作意念各有不同,因而電影的類(lèi)型也就有了多元化的發(fā)展?!?/p>

網(wǎng)絡(luò )解釋

類(lèi)型 (技術(shù)名詞)

  • 類(lèi)型(type)以及類(lèi)型系統的起源以及研究與發(fā)展是獨立于OOP的。早在五十年代的FORTRAN語(yǔ)言編譯器實(shí)現中,就已經(jīng)采用類(lèi)型系統作為類(lèi)型檢查的一種手段。廣義的類(lèi)型一般被定義為一種約束,也就是一種邏輯公式。而在對類(lèi)型的研究過(guò)程中產(chǎn)生多種方法,比如【C&W 1985】等。而代數方法(algebraic approach)是一種非常好的建立類(lèi)型的形式化規范的方法。代數中的一個(gè)類(lèi)型對應于一系列元素,在它們之上定義代數操作。同時(shí)在此基礎上二階λ演算已經(jīng)被用于繼承和模板所支持的模型。在上面兩種方法中,類(lèi)型被認為是一系列滿(mǎn)足確定約束條件的元素,更抽象的方式可以把一個(gè)類(lèi)型當作規定一個(gè)約束條件,如果我們規定的約束條件越好,相對應的被定義元素的集合就越精密,所以邏輯公式(logical formulas)就成為描述類(lèi)型特征的最合適工具。在這里,我們不想深入的探究對于類(lèi)型理論的各種不同的數學(xué)模型,我們需要明白的是類(lèi)型(type)以及類(lèi)型理論這個(gè)在編程語(yǔ)言中經(jīng)常應用到的概念的內涵是極其豐富的,而其自身理論的發(fā)展并非局限于OOP之中,但當兩者相結合的時(shí)候就對我們的程序觀(guān)產(chǎn)生了巨大的影響。
  • 類(lèi)型 (漢語(yǔ)詞語(yǔ))

  • 類(lèi)型,指包含由各特殊的事物或現象抽出來(lái)的共通點(diǎn)的抽象概念;在 .NET 框架中,類(lèi)型(type)又被稱(chēng)作組件(component)。通常情況下,應用程序既包括我們自己創(chuàng )建的類(lèi)型,也包括微軟和其他一些組織創(chuàng )建的類(lèi)型。
  • 收藏 菜單 QQ
    欧美AV无码一区二区,麻豆+无码+国产在线+观看,欧美狂躁少妇XXXX高潮无码,美女扒开屁股让男人桶免费观看,极品粉嫩国产18尤物在线播放