什么是"可验证的管理组件"

Question

在检查使用C++开发Windows Phone 7的可能性时,我遇到了这个线程,其中指出:

"......任何可以编译成可验证的托管程序集的语言(可验证性要求也适用于所有依赖项!)都很好"(对于WP7开发)

什么是"可验证的管理程序集",我在哪里可以了解更多相关信息？

Answer 1

可验证代码是编译到IL的代码,可以证明不会生成任何可以执行不安全代码的IL,绕过代码访问安全检查或以任何方式破坏CLR的状态.但确切的规则很复杂.一万英尺的视图是使用托管语言编写的代码,如VB.NET或C#,没有unsafe关键字.不过,您可以在不使用unsafe关键字的情况下在C#中编写无法验证的代码.例如,检查这个答案.

有一个专门的工具来检查程序集,PEVerify.exe.它执行JIT编译器和CLR执行的相同检查.链接页面的底部包含有关验证的MSDN文章的链接.