如何在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）