C#类型系统—通用类型系统CTS
1 .NET 简介
.NET(DOT NET),是微软公司下的一个开发平台,核心是.Net Framework。在此平台下可以使用不用的语言进行开发,如C#、Visual Basic、F#。
.NET平台介于.NET应用与操作系统之间,使得平台上层的应用独立于操作系统。
.NET Framework有两个重要组成部分:公共语言运行时 (Common Language Runtime,CLR) 和 .NET Framework 类库(Framework Class Library,FCL),其实这些是对.NET规范的实现。
.NET规范,即公共语言架构(Common Language Infrastructure, CLI),主要包括通用类型系统(CTS)、公共语言规范(Common Language Specification, CLS)和通用中间语言(Common Intermediate Language, CIL)。
1.1 CLR
公共语言运行时 (CLR) 是 Microsoft .NET Framework 的核心,它为所有 .NET Framework 代码提供执行环境。
CLR 本质上就是.NET 虚拟机,支持不同的编程语言,在 CLR 中运行的代码称为托管代码。
CLR 提供执行程序所需的各种函数和服务,包括实时 (JIT) 编译、分配和管理内存、强制类型安全、异常处理、线程管理和安全性。
CLR工作流程:
1、将源代码编译成托管模块。托管模块是一个标准的 32 位 Microsoft Windows 可移植执行体(PE32)文件,或者是一个标准的 64 位 Windows 可移植执行体(PE32+)文件,它们都需要 CLR 才能执行。一个托管模块主要包含一下几部分信息:
①PE32或PE32+头:描述当前托管模块的基本信息(Windows版本、文件类型、生成时间)。
②CLR头:包含需要的CLR版本、托管模块入口方法的元数据、模块元数据等。
③元数据:每个托管模块都包含元数据表。主要有两种类型的表:一种描述源代码中定义的类型和成员,另一种表描述源代码引用的类型和成员。
④IL (中间语言)代码:编译器编译源代码时生成的代码。在运行时, CLR 将 IL 编译成本地 CPU 指令。
2、将托管模块合并成程序集。
程序集是一个或多个模块/资源文件的逻辑性分组。
程序集是重用、安全性以及版本控制的最小单元。