一、在空安全推出之前，靜態型別系統允許所有型別的運算式中的每一處都可以有 null，
從型別理論的角度來說，Null 型別被看作是所有型別的子類；
型別會定義一些操作物件，包括 getters、setters、方法和運算子，在運算式中使用，
如果是 List 型別，您可以對其呼叫 .add() 或 []，
如果是 int 型別，您可以對其呼叫 +，
但是 null 值并沒有它們定義的任何一個方法，
所以當 null 傳遞至其他型別的運算式時，任何操作都有可能失敗，
這就是空參考的癥結所在—所有錯誤都來源于嘗試在 null 上查找一個不存在的方法或屬性，
二、非空和可空型別
空安全通過修改了型別的層級結構，從根源上解決了這個問題，Null 型別仍然存在，但它不再是所有型別的子類，現在的型別層級看起來是這樣的：
既然 Null 已不再被看作所有型別的子類，那么除了特殊的 Null 型別允許傳遞 null 值，其他型別均不允許，
我們已經將所有的型別設定為默認不可空的型別，如果您的變數是 String 型別，它必須包含一個字串，這樣一來，我們就修復了所有的空參考錯誤，
三、引入空安全后的型別頂層設計
四、空安全的適配
型別默認是非空的，可以添加 ? 變為可空的，
可選引數必須是可空的或者包含默認值的，您可以使用 required 來構建一個非可選命名引數，非空的全域變數和靜態欄位必須在宣告時被初始化，實體的非空欄位必須在構造體開始執行前被初始化，
如果接收者為 null，那么在其避空運算子之后的鏈式方法呼叫都會被截斷，我們引入了新的空判斷級聯運算子 (?..) 及索引運算子 (?[])，后綴空斷言“重點”運算子 (!) 可以將可空的操作物件轉換為對應的非空型別，
新的流程分析，讓您更安全地將可空的區域變數和引數，轉變為可用的非空型別，它同時還對型別提升、遺漏的回傳、不可達的代碼以及變數的初始化，有著更為智能的規則，
late修飾符以在運行時每次都進行檢查的高昂代價，讓您在一些原本無法使用的地方，能夠使用非空型別和 final，它同時提供了對欄位延遲初始化的支持，
List 類現在不再允許包含未初始化的元素，
轉載請註明出處，本文鏈接：https://www.uj5u.com/houduan/295953.html
標籤：Dart