如何在C＃中近距離接近不可空引用類型？

Question

我讀過non-nullable許多問題和答案。看起來像C＃（4.0）中接近非空類型的最好方法是Jon Skeet的NonNullable<>黑客。

但是，似乎C++/CLI通過支持託管引用：Foo%（而不是本機C++ Foo&）解決了許多問題。編譯器通過將modreq(IsImplicitlyDereferenced)添加到參數中來完成此工作。試圖從C＃導致調用這樣的功能：

'<FunctionName>' is not supported by the language 

有沒有什麼更好的那麼非空<>？

有什麼辦法（合理 - 即不使用反射）從C＃調用C++/CLI方法Foo::Method(Bar%)？

---

[編輯]似乎有什麼目前優於非空<> ...我想我會得到在C++/CLI的東西有些意見，因爲它已經至少部分解。

Answer 1

我碰到過這幾次......我還沒找到比Skeet的解決方案更好的東西。它解決了我遇到的所有情況，所以我必須給它投票。

我同意這是一個哈克的情況，我們不得不訴諸於...但他的修復確實解決了這個問題。

Answer 2

沒錯，規範＃：http://research.microsoft.com/en-us/projects/specsharp/

- 編輯：我剛纔注意到你說的C＃4.0;我相當確定Spec＃不支持該版本。儘管如此，值得回顧。

您可能還可以（我認爲）在稍後的階段，檢查再編譯，通過在憲兵的規則：http://www.mono-project.com/Gendarme（假設有違4.0）