什么是“可验证的托管程序集”？

Question

在检查使用C++开发Windows 7的可能性时，我偶然发现了这条线，它声明：

“可以编译到可验证的托管程序集的...any语言(可验证性要求也适用于所有依赖项！)”(用于WP7开发)。

什么是“可验证的管理程序集”，我在哪里可以了解更多这方面的知识？

Answer 1

可验证代码是编译为IL的代码，可以证明它不会产生任何IL来执行不安全的代码、绕过代码访问安全检查或以任何方式破坏CLR的状态。然而，确切的规则是复杂的。一万英尺视图是用VB.NET或C#等托管语言编写的没有不安全关键字的代码。不过，您可以在不使用不安全关键字的情况下用C#编写不可验证的代码。例如，检查这个答案。

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