c#的运行时type check

 

The type determine what operation can be applied to the name (to entity referred by name )and how such operations are interpreted.

这里的type显然是一个编程语言的概念。但我想要的是一个物理上的概念，或者说内存上的概念，组件之间通过对type的共同的理解，从而可以互操作。这里有一个strong typing contract的概念，我理解不了。

很想知道clr关于type safe的实现或者说保证是在哪个层次上的，听说不象c/c++那样在compiler level

Check 的，还包括一种runtime check。Osamede目前理解不了什么叫做runtime check，Osamede觉得不管是什么类型，编译后都还不是一个内存块，怎么在运行时check？除非每个对象都包含一些信息，运行时进行check，可那不是浪费嘛！呵呵，突然有点想法了，可能是每个对象编译成IL时都会在matadata 文件里存储一些信息，当程序运行时，clr通过存储在metedata中的信息在编译成obj时check一下，就是所谓的runtime check ? is that right?嗯看起来很有道理。

看来，Osamede 以前的书没白读，dotnet的runtime type check应该跟我想的差不多。Osamede现在知道为什么对type这么迷茫了，Osamede想理解的type是组件之间交流的contract，由于不同的编程语言对type的定义肯定不一样，所以为了互操作，需要一个统一的定义。传说在com中这种定义表现为内存中的存储结构，很抽象，Osamede不太了解。在clr中这种描述是在metedata中，是一个逻辑层次上的描述，比较具体。