3.1 c#类型系统

C#的类型系统是静态的、安全的、大部分是显示的，C#所有的类都继承自System.Object(这一点和JAVA是一样的)

1. C#语言是静态类型（编译时就确定变量类型）

即在编译时，每个变量的类型就是确定的，如果不确定，则会报编译错误。

一般对一个变量声明时的类型就是它的编译类型，也就是静态类型。如Singer a;

但是一个变量的编译类型不一定等于该变量的运行类型，比如Singer a = new zhoujielun();

但是想js就是使用动态类型，如var a= "dhsj",它不需要编译，因为它是解释性语言，而是在运行时候，随机应变。

2. C#语言是安全的（有关系的类型才能互相转换）

C#语言只有两个类型之间存在转换关系才能转换，如将float转换成int，但是想C/C++这种不安全的，就能将string转换为int（它通过获取string的ASCII码来转换，但是想java、C#之类安全语言的就有特定的函数提取字符串中的数字），这有些时候不是用户正在想得到的东西，这还是可以转换的情况下，有些时候两个完全不相干的类型互相转换就会出错，导致不安全。

C#是在编译时检查类型是否可以互相转换，如果不可以，就会抛出错误，但是有些程序，以其高超的写法，可以躲过编译出错，如：

Singer a;

Dancer b=new Dancer();

trans(b);

trans(Object c)

{a=(Singer)c; }

在编译时，由于c的类型是Object，确实可以显示地转换成singer,而且Dancer也可以隐式地转换为Object，但是b不能转化为a，所以在运行时C#也会检查，然后抛出InvalidCastException。

3. C#在大多数时候是显示类型的（大部分是显示的制定了类型）

所谓显示类型，便是在声明时显示地确定变量类型，如Int/string等，

C#3也引入了隐式类型 var关键字。

但是这并没有改变C#是静态语言这一属性，因为编译器也要在编译阶段推断变量的类型，一旦确定不能改变。但是js在运行时，变量就可以随意改变类型。