C#编程语言基础：版本4.0概述

"C#语言规范 版本 4.0(English)" C#是一种简单、现代、面向对象且类型安全的编程语言，它的设计深受C、C++和Java语言的影响。C#由ECMA International标准化为ECMA-334标准，并由ISO/IEC标准化为ISO/IEC 23270标准。微软的C#编译器针对.NET Framework是一个符合这两个标准的实现。 C#不仅支持面向对象编程，还特别强调组件导向编程。现代软件设计常常依赖于自包含、自描述的功能组件。这些组件具有属性、方法和事件的编程模型，通过属性提供声明性信息，并自带文档。C#提供了直接支持这些概念的语言结构，使得在C#中创建和使用软件组件非常自然。 C#拥有多种特性，有助于构建健壮且持久的应用程序：垃圾回收机制自动回收不再使用的对象占用的内存；异常处理提供了一种结构化和可扩展的错误检测和恢复方法；语言的类型安全性使得无法读取未初始化的变量，数组越界访问或进行不检查的类型转换。 C#具有统一的类型系统，所有C#类型，包括基本类型如int和double，都继承自单一的根对象类型。这意味着所有类型都共享一套公共操作，任何类型的值都可以以一致的方式存储、传输和操作。此外，C#支持用户定义的引用类型和值类型，允许动态分配对象以及内联存储轻量级结构。 为了确保C#程序和库能够以兼容的方式随时间演进，C#的设计高度重视版本控制。许多编程语言在这方面关注不足，导致依赖于新版本库的程序比必要时更容易出问题。C#的设计，例如单独的virtual和override修饰符、方法重载解析规则以及对显式接口成员声明的支持，都是受到版本管理考虑的影响。 该文档的其余部分描述了C#语言的核心特性。尽管后续章节以详细和有时数学化的角度描述规则和例外，但这一章力求以牺牲完整性为代价换取清晰和简洁，旨在为读者提供一个易于理解的语言简介，以帮助编写早期程序并阅读后续章节。 文档目录涵盖了从 HelloWorld 示例到类和对象、类型和变量、表达式、语句、接口、枚举、委托、属性、索引器、事件、运算符、构造函数、析构函数等C#的关键概念，以及词法结构等基础内容。