不从 System.Object 继承之后

不从 System.Object 继承之后

 

Written by Allen Lee

 

上一篇文章说到 IL 允许创建一个不继承自 System.Object 的类，这打破了我们已有的一些认识。到了这个份上，我们自然会追问，为什么要允许这种类型存在呢？

考察如下 C++/CLI 代码：

 1using namespace System;
 2
 3public ref class Person
 4}

DisplayPersonInfo 方法只能用在 C++/CLI 中，你无法在 C# 中对引用类型进行解引用，就像第三十六行那样。为了处理 C++/CLI 的特性，IL 引入了不少别的语言无法使用的东西。

或许，如同部分评论所言，此举乃是为某些语言的特性埋下伏笔。然而，此举却为 C# 带来了麻烦。我用上一篇文章里所说的方法创建了一个不继承自 System.Object 的 NoInherit 类，置于 NoInherit.dll 中，然后用 Visual Studio 2005 新建一个项目，引用 NoInherit.dll，并在 Main 里写下这些代码：

 1Type t = typeof(NoInherit);
 2Console.WriteLine(t.BaseType == null);
 3
 4NoInherit ni = new NoInherit("NoInherit");
 5object o = ni as object;
 6if (o != null)
 7}

你猜上面代码的运行结果是什么？正常来说，运行结果应该只有一个 true，即第二行的输出，但事实上，第八行居然正确输出“NoInherit”，而第九行则抛出 AccessViolationException。按道理，第九行的异常是意料中事，但第二行和第五行的结果就很矛盾了。第二行输出 true 表明了 NoInherit 类的确没有继承自 System.Object，但第五行却转换成功，否则 o 应该是 null 的。

当一个系统复杂到一定程度，一个看似没问题的改动可能会导致一些看似不相关的问题。当你拿到一个库时，你是假定里面的所有类都继承自 System.Object，还是去验证一下呢？