C#(发音为“See Sharp”)是简单、现代、面向对象和类型安全的编程语言。C#起源于C语言家族,因此,C,C++和Java的程序员很快就能熟悉它。C#已经获得了ECMA International和ISO/IEC的国际标准认证,它们分别是ECMA-334标准和ISO/IEC 23270标准。Microsoft用于.NET框架的C#编译器就是根据这两个标准实现的。
C#是面向对象的语言,但C#进一步支持面向组件(component-oriented)的编程。现代软件设计越来越依赖于自包含(self-contained)和自描述(self-describing)功能包形式的软件组件。这种组件的关键之处在于它们提供了带有属性、方法和事件的编程模型;它们还具有提供关于组件声明信息的特性(attribute);同时,它们编入了自己的文档。C#提供语言构件来直接支持这些概念,使得C#在创建和使用软件构件方面非常自然。
C#的一些特征支持创建健壮和持久的应用程序:垃圾回收(garbage collection)特征可以自动回收无用对象所占的内存空间;异常处理(exception handling)提供了一个结构化和可扩展的方式,用于错误检测和恢复;语言的类型安全(type-safe)设计了防止引用非初始化变量、数组下标越界,以及执行未检查的类型转换等情形的发生。
C#具有统一类型系统。所有的C#类型,包括诸如int和double的基本数据类型,都继承于单个根类型object。因此,所有类型都共享一组通用操作,并且,任何类型的值都能够以一致的方式存储、传递和操作。C#支持用户自定义引用类型和值类型,既允许对象的动态分配,也允许轻量结构的内联存储。
为了保证C#程序和类库总能以兼容的方式升级,在C#的设计中十分强调版本控制。许多程序语言不太重视这一点,导致采用那些语言编写的程序常常因为其所依赖的类库的更新而无法工作。C#的设计方面直接受到版本考虑的影响,包括分开的virtual和override修饰符、方法重载的规则,以及支持对显式接口成员的声明。
本章的其他部分将描述C#语言的本质特征。尽管后面的章节将更为详细,有时甚至是细致入微地描述这些规则和异常,但是本章力求对整个C#做一个简单明了的说明。其意图是向读者提供对语言的入门介绍,以便于读者上手编写程序和阅读后面的章节。
1.1 Hello World
学习某种编程语言,通常采用“Hello,World”程序作为起步。下面是C#版的:
using System;
class Hello
{
static void Main(){
Console.WriteLine("Hello,World");
}
}
C#源程序文件一般用.cs作为扩展名。假定“Hello,World”源程序文件被存为hello.cs,那么,使用下面的命令行就能通过Microsoft C#编译器编译这个程序:
csc hello.cs
它将产生一个名为hello.exe的可执行程序集。当程序运行时,输出结果如下:
Hello,World
“Hello,World”程序开头是using指令,引用了System命名空间(namespace)。命名空间提供了C#程序和类库分层次的组织手段。命名空间包含类型和其他命名空间,例如,System命名空间包含若干类型(如程序中引用的Console类),以及若干其他命名空间(如IO和Collections)。如果通过using指令引用给定命名空间,就可以对命名空间的成员进行非限定的使用。正是由于程序中使用了using指令,才能够将System.Console.WriteLine简写为Console.WriteLine。
“Hello,World”程序中声明的Hello类只有一个成员,即名为Main的方法。Main方法是用static修饰符声明的。静态方法不同于实例方法,后者需要使用关键字this来引用特定的对象实例,而静态方法的操作不需要引用特定的对象。作为约定,被命名为Main的静态方法充当程序的入口点。
程序输出是由System命名空间下Console类的WriteLine方法产生的。这个类是由.NET框架类库提供的,默认情况下,类库被Microsoft C#编译器自动引用。注意C#本身没有单独的运行时类库。事实上,.NET框架是C#的运行时类库。