第 1 、 2 、 3章 为本书的第一部分: Microsoft .NET 框架基本原理
** 1 ** ** . 1 ** ** 将源代码编译为托管模块 **
在 .NET 框架里,正如前言里说的“编译器编译面向 .NET 框架的源代码产生 CIL ,只有到了运行时, CLR 才将 CIL 翻译为 CPU 指令”。
1 、程序员先用任何支持 CLR 从编程语言来编写代码,然后用相应的语言编译器来做 语法检查 和 源代码分析 ,之后生成的结果就是一个 托管模块。托管模块 是一个需要 CLR 才能执行的标准 PE (可移植可执行 portable executable )文件。大概过程就是这样:
高级语言代码――- > 托管模块(包含 IL 和元数据的 PE 文件)――― >CPU 指令(运行时从 IL 编译产生)
2 、 ** PE ** ** 文件 ** 是一个非常重要的概念,它由 PE 表头、 CLR 表头、 元数据 和 ** IL( ** ** 中间语言 ) ** ** 代码 ** 四部分组成。
PE 表头:主要时指出了文件的类型, GUI 、 CUI 或是 DLL (不同于以前的 Dynamic Link Library ,特指程序集文件的一种形式);
CLR 表头:包含标识托管模块的一些信息;
** 元数据(表): ** 该表用于描述代码中用到的类型和成员,描述的类型和成员有两类,一是代码中定义,一是应用的;
** IL ** ** 代码: ** 高级语言编译器编译产生的代码, CLR 运行时将它们编译成本地 CPU 指令
(元数据是一个很重要的概念,书中应该更加明了的说明它的含义,如果是我写这本书,一定会,而且可以举个具体简单的例子说明。)
** 1 ** ** . 2 ** ** 将托管模块组合成为程序集 **
“ 程序集( ** assembly ** ** )是一个抽象的概念,它是一个或多个托管模块,以及一些源文件的逻辑组合。 ** ”类似于现在的一个软件可以由几个 exe 文件、 dll 文件,还有图标来组成。
程序集中有一个特殊的 PE 文件,它的作用就是描述程序集中的信息。该 PE 文件中包含了一个 ** manifest( ** ** 清单 ) ** 数据块,这个 manifest 是一些元数据表的集合,这些元数据表描述组成程序集的文件、程序集所有文件中实现的公有导出类型以及一些和程序集有关的资源文件或数据文件。( CLR 运行时应该是先分析这个 PE 文件中的内容取得程序集的基本信息)。
程序集的这种自描述,使得执行时就不需要到注册表中获取额外的信息。从而使程序集的发布相对现在的 非托管组件 简单
** 1 ** ** . 3 ** ** 加载通用语言运行时( CLR ** ** ) **
运行 .NET 框架程序需要 CLR ,即机器上应该安装了 .NET 框架。如果你机器上“% windir % \system32 ”这个目录下有 ** MSCorEE.dll ** 文件就说明安装了 .NET 框架。
( 书中下面解释 CLR 是怎样加载执行程序,看起来挺糊,书里又说我们没什么需要知道只是为满足某些人的好奇写的。正好顺水推舟跳过去,以后水平高了在来细看 )
** 1 ** ** . 4 ** ** 执行程序集代码 **
(这节看起来也挺糊,就整理一些明白点的有用点的东西)
1 、高级语言编译成的 IL 代码,可以用微软提供的 ILDasm.exe 进行反编译。水平高的可以用 ILAsm.exe 这个 IL 汇编器写 IL 程序。而且,高级语言提供的都只是 CLR 全部功能的一个子集, IL 汇编语言包含 CLR 全部功能。
(这样对发布给客户的代码的保护很不利,这可能是 .NET 的一个大瑕疵。作者说可以用第三方提供的代码混淆器,但这样影响到 CLR 的执行可不是闹这玩的。)
3 、作者分析了托管环境里执行时将 IL 代码编译成 CPU 指令并不会比非托管代码效率低。
4 、 IL 与代码验证: IL 代码编译成本地 CPU 指令时, CLR 会执行验证过程,验证 IL 代码,确保其“安全性”这样保证了应用程序的健壮性。管理员也可以选择关闭验证过程(在 Microsot .NET Framework Configuration 管理工具中实现)
(脑细胞已经死了好多,下次再写这章的下半部分)