是的，標題沒錯。c#其中乙份新提案假定，所有的引用型別在預設情況下都是不可空的。在新語法下，你需要顯式地標明乙個引用變數是可空的，就像對值型別所做的那樣。
\u0026#xd;\n\u0026#xd;\n
和值型別一樣，t是指不可空型別，而t?是指可空型別。以下情況會產生警告：
\u0026#xd;\n\u0026#xd;\n
對於前兩種情況，如果你使用了感嘆號運算子（x!）或者編譯器能夠證明已經執行了null檢查，那麼警告將被忽略。
\u0026#xd;\n\u0026#xd;\n\u0026#xd;\n\u0026#xd;\n
底層編譯器將會忽略可空註解，因此，那不是問題。不過，在程式集級，應該有某種標記，可以說明庫在編譯時啟用了可空註解。
\u0026#xd;\n\u0026#xd;\n
由於所有這類可空的東西從技術上講都是一種破壞性修改，所以當前的計畫是允許開發人員選擇下面的類別：
\u0026#xd;\n\u0026#xd;\n
提案繼續寫道：
\u0026#xd;\n\u0026#xd;\n
\u0026#xd;\n\u0026#xd;\n\u0026#xd;\n選擇參與的粒度表明，這是乙個類似分析器的模型，大段的**通過編譯指令選擇參與和退出，使用者可以選擇安全級別。此外，每個庫的選項（「在準備好應對後果之前，忽略json.net中的註解」）可以表示為**中的屬性。
\u0026#xd;\n
根據預期，這種設計要達到以下三個目的：
\u0026#xd;\n\u0026#xd;\n
對於同乙個方法，你不必進行可空和不可空的過載。雖然從技術上講，clr支援這樣做，但那不是cls或者通用語言規範的組成部分。這意味著，大多數編譯器都會不知道發生了什麼。halofour作了如下說明：
\u0026#xd;\n\u0026#xd;\n
\u0026#xd;\n\u0026#xd;\n\u0026#xd;\n\u0026#xd;\n\u0026#xd;\n
modreq不是cls。modopt確實支援過載，但需要具體了解所有重要編譯器的這個部分，因為至少要將修飾符複製到呼叫簽名裡。兩者都會破壞與現有方法簽名的相容。對於希望在整個bcl快速傳播的東西來說，使用modopt會成為巨大的障礙。\u0026#xd;\n
在使用泛型時，以下情況會出現額外的警告：
\u0026#xd;\n\u0026#xd;\n
使用「class」，則泛型強制非空。使用「class?」則允許空值。該提案繼續寫道：
\u0026#xd;\n\u0026#xd;\n
\u0026#xd;\n\u0026#xd;\n\u0026#xd;\n\u0026#xd;\n\u0026#xd;\n如果乙個型別引數沒有約束，或者只有可空約束，則情況會稍微複雜一些：這意味著，相應的型別引數既可以為空，也可以不為空。在那種情況下，安全的做法是將型別引數既作為可空引數來處理，又作為不可空引數來處理，任何乙個不滿足，就發出警告。
\u0026#xd;\n
陣列是一項特殊的挑戰，因為在乙個不可為空的陣列中，不一定可以確保每個槽都有乙個值。
\u0026#xd;\n\u0026#xd;\n
\u0026#xd;\n\u0026#xd;\n\u0026#xd;\n\u0026#xd;\n\u0026#xd;\n對於乙個非空引用陣列，我們無法通過充分地跟蹤來保證陣列的所有元素都被初始化。不過，在從陣列讀取資料或者傳遞陣列之前，如果新建立的陣列沒有元素被賦值，我們就會發出警告。那應該可以處理常見的情況，而又不帶來太多干擾。
\u0026#xd;\n
使用default(t)應該發出警告嗎？還是說假定它會返回t?，而不是t？
\u0026#xd;\n\u0026#xd;\n
可以刪除區域性變數上的?而根據使用情況推斷其可空性嗎？
\u0026#xd;\n\u0026#xd;\n
引數可以使用t! x模式自動生成null檢查嗎？
\u0026#xd;\n\u0026#xd;\n
可以調整一下可空值型別，以便讓開發人員可以使用x.method代替x.value.method嗎（這用在當x已知非空時，比如已經成功完成了null檢查）？
\u0026#xd;\n\u0026#xd;\n\u0026#xd;\n\u0026#xd;\n
檢視英文原文：c# futures: nullable reference types
C 將引入可空的引用型別
是的，標題沒錯。c 其中乙份新提案假定，所有的引用型別在預設情況下都是不可空的。在新語法下，你需要顯式地標明乙個引用變數是可空的，就像對值型別所做的那樣。和值型別一樣，t是指不可空型別，而t?是指可空型別。以下情況會產生警告 對於前兩種情況，如果你使用了感嘆號運算子 x 或者編譯器能夠證明已經執行了...
C 將引入可空的引用型別
是的，標題沒錯。c 其中乙份新提案假定，所有的引用型別在預設情況下都是不可空的。在新語法下，你需要顯式地標明乙個引用變數是可空的，就像對值型別所做的那樣。和值型別一樣，t是指不可空型別，而t?是指可空型別。以下情況會產生警告 對於前兩種情況，如果你使用了感嘆號運算子 x 或者編譯器能夠證明已經執行了...
C 將引入可空的引用型別
是的，標題沒錯。c 其中乙份新提案假定，所有的引用型別在預設情況下都是不可空的。在新語法下，你需要顯式地標明乙個引用變數是可空的，就像對值型別所做的那樣。和值型別一樣，t是指不可空型別，而t?是指可空型別。以下情況會產生警告 對於前兩種情況，如果你使用了感嘆號運算子 x 或者編譯器能夠證明已經執行了...