漢語詞典 > 詞語
漢語詞語拼音 漢語解釋

類型

拼音: lèi xíng
注音:ㄌㄟˋ ㄒ一ㄥˊ
詞性: 名詞
結(jié)構(gòu): 其他
反義詞:
詞語解釋

類型lèixíng

(1)[type;pattern]

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

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

引證解釋

⒈ 具有共同特征的事物所形成的種類。

《<艾青詩選>自序》:“我和同我差不多年紀(jì)的人們一樣,渡過了各種類型、不同性質(zhì)的戰(zhàn)爭;也遇見了各種類型、不同性質(zhì)的敵人?!?/span>

⒉ 指文學(xué)作品中具有某些共同或類似特征的人物形象。

魯迅《<偽自由書>前記》:“然而我的壞處,是在論時(shí)事不留面子,砭錮弊常取類型?!?/span>

國語詞典

由各種具有共同特征的事物或現(xiàn)象所形成的種類。

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

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

類型 (技術(shù)名詞)

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

  • 類型,指包含由各特殊的事物或現(xiàn)象抽出來的共通點(diǎn)的抽象概念;在 .NET 框架中,類型(type)又被稱作組件(component)。通常情況下,應(yīng)用程序既包括我們自己創(chuàng)建的類型,也包括微軟和其他一些組織創(chuàng)建的類型。
  • 收藏 菜單 QQ