上海 餐飲網站建設,齊家網裝修官網,香水網站開源模板,建筑面積計算規(guī)范2023下載最新版面向對象編程中的類型、類、值與對象 1. 類型與類的實現 在定義類型實例的行為時，除了接口之外，我們還可以通過類來實現類型。只要類型層次結構和類層次結構相匹配，就可以使用斷言和受控重定義來實現對象的相似行為。 有些語言（如 Java）可以使用命名接口而非類來引入用…面向對象編程中的類型、類、值與對象1. 類型與類的實現在定義類型實例的行為時，除了接口之外，我們還可以通過類來實現類型。只要類型層次結構和類層次結構相匹配，就可以使用斷言和受控重定義來實現對象的相似行為。有些語言（如 Java）可以使用命名接口而非類來引入用戶定義的類型。大多數面向對象編程語言都提供了并非以類形式定義的原始數據類型，例如整數類型。一個對象可以具有不同的類型，不同類的對象也可以具有相同的類型。對象接口的一部分可以由一種類型來表征，而其他部分則由其他類型來表征。對于兩個對象屬于同一類型而言，只需它們的部分接口相等即可。2. 類與類型的區(qū)別如果類型嚴格指的是接口定義，那么類和類型可以是完全分離的概念。如果一個類型僅代表一個命名接口定義，那么它僅僅保證該類型的實例能夠識別一組特定的消息。每個類型都指定了必須在程序的某個地方定義的操作。一個類可以聲明它所滿足的命名接口意義上的類型。定義這些操作的實際類與類層次結構無關且相互獨立。當然，如果我們使用的編程語言將類和類型的概念關聯起來，那么類和類型之間就存在關系。在這種情況下，類定義了一個類型。當我們說“一個對象是一個類的實例”時，意味著該對象支持由類定義的接口。符合類型的消息調用要求對象能夠理解該消息，換句話說，對象的類必須實現被調用的操作。當我們使用類型定義來指定實例的行為時，可以進一步將類和類型關聯起來。在這種情況下，使用一個合適的類來定義類型實例的行為似乎是有意義的。如果類型層次結構和類層次結構相匹配，那么我們可以通過類層次結構來定義和限制某一類型對象的具體或抽象行為。實現這一方法的合適手段包括契約模型，以及將我們的概念模