讀編程與類型系統筆記07_子類型

来源:https://www.cnblogs.com/lying7/archive/2023/01/14/17051826.html
-Advertisement-
Play Games

前言 這篇博文續接的是 UML建模、設計原則、創建型設計模式、行為型設計模式,有興趣的可以看一下 3.3、結構型 這些設計模式關註類和對象的組合。將類和對象組合在一起,從而形成更大的結構 * 3.3.1、proxy 代理模式 定義:為某對象提供一種代理以控制對該對象的訪問。即:客戶端通過代理間接地訪 ...


1. 子類型

1.1. 在期望類型T的實例的任何地方,都可以安全地使用類型S的實例,則類型S是類型T的子類型

1.1.1. 里氏替換原則(Liskov substitution principle)

2. 名義子類型

2.1. 明確指定

2.2. 顯式聲明一個類型是另一個類型的子類型

2.3. 大部分主流編程語言採用的方式

2.3.1. Java

2.3.2. C#

2.4. TypeScript通過使用unique symbol可以模擬名義子類型

3. 結構子類型

3.1. 類型具有相同的結構

3.2. 不需要顯式聲明子類型關係

3.3. 一個類型的結構與另一個類型相似(具有相同的成員,可能還有額外的成員),自動被視為後者的子類型

3.4. TypeScript使用結構子類型

3.5. 即使類型不在我們的控制範圍內,我們在類型之間仍然能建立關係

3.5.1. 例如:我們不能修改的來自外部庫的一個類型

4. 極端情況

4.1. 頂層類型

4.1.1. 把任何東西賦值給它的類型

4.1.1.1. 用來存儲任何東西

4.1.1.2. C#的Object

4.1.1.3. TypeScript的unknown

4.1.1.3.1. null的類型是null
4.1.1.3.2. undefined的類型是undefined
4.1.1.3.3. Object
4.1.1.3.4. 三者和類型即unknown
4.1.1.3.4.1. Object | null |undefined
4.1.1.3.5. 只有當我們確認一個值具有某個類型時,才能把該值用作該類型
4.1.1.3.5.1. C#提供了is關鍵字
4.1.1.3.5.2. Java則提供了instanceof

4.1.2. 其他任何類型的父類型

4.1.3. 位於子類型層次結構的頂端

4.2. 底層類型

4.2.1. 可以賦值給任何東西的類型

4.2.1.1. 沒有某種類型的實例可用

4.2.1.2. TypeScript的never

4.2.2. 其他任何類型的子類型

4.2.3. 位於子類型層次結構的底端

4.2.4. 始終是一個空類型:這是我們不能為其創建實際值的類型

4.2.5. 允許我們假裝有任何類型的一個值,即使我們並不能生成這個值

4.2.6. 很少有主流語言提供底層類型

4.2.6.1. 使一個類型成為空類型,但不能使其成為底層類型

4.2.6.2. 除非在編譯器中實現,否則我們無法自定義底層類型

5. 和類型

5.1. 父類型比子類型的類型更多

5.1.1. 例如:Triangle | Square是Triangle | Square | Circle的子類型

5.2. Variant能夠封裝幾個類型中某個類型的值,但是它本身不是其中任何一個類型

6. 可變性

6.1. 協變性

6.1.1. 一個類型保留其底層類型的子類型關係

6.1.2. 數組具有協變性,因為它保留了子類型關係

6.1.3. 當處理集合(如LinkedList)時,不同的語言具有不同的行為

6.1.3.1. 在C#中,必須通過聲明介面並使用out關鍵字(ILinkedList),顯式指出一個類型(如LinkedList)的協變

6.1.4. 函數的返回類型具有協變性

6.2. 逆變性

6.2.1. 一個類型顛倒了其底層類型的子類型關係

6.2.2. 大部分編程語言中,函數的實參是逆變的

6.2.2.1. TypeScript是一個例外

6.2.2.1.1. 故意做出的設計決策

6.3. 雙變性

6.3.1. 類型的底層類型的子類型關係決定了它們互為子類型

6.3.2. 在TypeScript中函數實參的雙變性可能導致錯誤的代碼通過編譯

6.4. 不變性

6.4.1. 一個類型不考慮其底層類型的子類型關係

6.4.2. C#中的List具有不變性

7. any類型

7.1. 可以把任何值賦值給any

7.2. 可以把any值繞過類型檢查賦值給其他任何類型

7.3. 會繞過類型檢查立即把該值用作其他任何類型的值


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • ABP Framework 在架構上有四大目標:模塊化、DDD、多租戶和微服務。從 `7.0` 更新的功能來看,其側重點轉向微服務場景的實現,比如:Dapr 集成、動態許可權和功能、外部本地化、分散式實體緩存服務,都是對微服務和分散式架構所提出的解決方案。 ...
  • public class SerializeHelper { #region 二進位格式 /// <summary> /// Binary 序列化使用前需要標記類可序列化 /// </summary> /// <param name="fileName">序列化到指定的文件</param> /// ...
  • Helix 解碼庫提供了MP3內容的MPEG相容解碼, 支持可變比特率, 恆定比特率以及立體聲和單聲道音頻格式. Helix 的定點解碼庫專門針對ARM處理器進行了優化. Helix 解碼庫是以幀為解碼單位的, 一次解碼一幀, 運行需要占用的資源很少, 可以在任何能夠執行長整數乘法運算(兩個32位輸... ...
  • 以下介紹PY32F0系列在Ubuntu下如何使用GCC Arm Embedded Toolchain環境進行開發和燒錄. GitHub 倉庫地址: https://github.com/IOsetting/py32f0-template ...
  • PY32F0 屬於 32位 M0 內核的MCU, 配置上有 16KF+2KR, 20KF+3KR, 32KF+4KR, 64KF+8KR 這些組合, 根據外設的豐富程度分成了 PY32F002, PY32F003, PY32F030, PY32F072 這四個系列, 另外還有一家芯嶺科技貼牌的 XL... ...
  • 本文主要目的是在拿到一個藍牙模塊後,將其作為從機來對一些基本的軟體功能進行測試,用以快速驗證是否滿足基本的使用需求和功能指標。 ...
  • GreatSQL社區原創內容未經授權不得隨意使用,轉載請聯繫小編並註明來源。 GreatSQL是MySQL的國產分支版本,使用上與MySQL一致。 作者: KAiTO 文章來源:GreatSQL社區原創 什麼是中繼日誌(relay log) 中繼日誌(relay log)只在主從伺服器架構的從伺服器 ...
  • 網頁DOM編程 Node、Document和Element三者關係 Node:各種類型的 DOM API 對象會從這個介面繼承。 Document:表示在任何在瀏覽器中載入的網頁(DOM樹)。 Element:描述所有相同種類的元素所普遍具有的方法和屬性。 完整的繼承關係如下圖: 說明:圖中的子類可 ...
一周排行
    -Advertisement-
    Play Games
  • 前言 當別人做大數據用Java、Python的時候,我使用.NET做大數據、數據挖掘,這確實是值得一說的事。 寫的並不全面,但都是實際工作中的內容。 .NET在大數據項目中,可以做什麼? 寫腳本(使用控制台程式+頂級語句) 寫工具(使用Winform) 寫介面、寫服務 使用C#寫代碼的優點是什麼? ...
  • 前言 本文寫給想學C#的朋友,目的是以儘快的速度入門 C#好學嗎? 對於這個問題,我以前的回答是:好學!但仔細想想,不是這麼回事,對於新手來說,C#沒有那麼好學。 反而學Java還要容易一些,學Java Web就行了,就是SpringBoot那一套。 但是C#方向比較多,你是學控制台程式、WebAP ...
  • 某一日晚上上線,測試同學在回歸項目黃金流程時,有一個工單項目介面報JSF序列化錯誤,馬上升級對應的client包版本,編譯部署後錯誤消失。 線上問題是解決了,但是作為程式員要瞭解問題發生的原因和本質。但這都是為什麼呢? ...
  • 本文介紹基於Python語言中TensorFlow的Keras介面,實現深度神經網路回歸的方法。 1 寫在前面 前期一篇文章Python TensorFlow深度學習回歸代碼:DNNRegressor詳細介紹了基於TensorFlow tf.estimator介面的深度學習網路;而在TensorFl ...
  • 前段時間因業務需要完成了一個工作流組件的編碼工作。藉著這個機會跟大家分享一下整個創作過程,希望大家喜歡,組件暫且命名為"easyFlowable"。 接下來的文章我將從什麼是工作流、為什麼要自研這個工作流組件、架構設計三個維度跟大家來做個整體介紹。 ...
  • 1 簡介 我們之前使用了dapr的本地托管模式,但在生產中我們一般使用Kubernetes托管,本文介紹如何在GKE(GCP Kubernetes)安裝dapr。 相關文章: dapr本地托管的服務調用體驗與Java SDK的Spring Boot整合 dapr入門與本地托管模式嘗試 2 安裝GKE ...
  • 摘要:在jvm中有很多的參數可以進行設置,這樣可以讓jvm在各種環境中都能夠高效的運行。絕大部分的參數保持預設即可。 本文分享自華為雲社區《為什麼需要對jvm進行優化,jvm運行參數之標準參數》,作者:共飲一杯無。 我們為什麼要對jvm做優化? 在本地開發環境中我們很少會遇到需要對jvm進行優化的需 ...
  • 背景 我們的業務共使用11台(阿裡雲)伺服器,使用SpringcloudAlibaba構建微服務集群,共計60個微服務,全部註冊在同一個Nacos集群 流量轉發路徑: nginx->spring-gateway->業務微服務 使用的版本如下: spring-boot.version:2.2.5.RE ...
  • 基於php+webuploader的大文件分片上傳,帶進度條,支持斷點續傳(刷新、關閉頁面、重新上傳、網路中斷等情況)。文件上傳前先檢測該文件是否已上傳,如果已上傳提示“文件已存在”,如果未上傳則直接上傳。視頻上傳時會根據設定的參數(分片大小、分片數量)進行上傳,上傳過程中會在目標文件夾中生成一個臨 ...
  • 基於php大文件分片上傳至七牛雲,使用的是七牛雲js-sdk V2版本,引入js文件,配置簡單,可以暫停,暫停後支持斷點續傳(刷新、關閉頁面、重新上傳、網路中斷等情況),可以配置分片大小和分片數量,官方文檔https://developer.qiniu.com/kodo/6889/javascrip ...