1、C#类型系统—通用类型系统CTS

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、将托管模块合并成程序集。

                        程序集是一个或多个模块/资源文件的逻辑性分组。

                        程序集是重用、安全性以及版本控制的最小单元。