C#是一种类型安全语言：所有的表达式都解析成某个类型的一个实例，在编译器生成的代码中，只会执行对这个类型来说有效的操作。
【优势】
许多错误能在编译时就检测到，确保代码在执行这段代码前是正确的；
生成更小、更快的代码，因为代码在编译时能进行更多假设，并在生成的IL和元数据中落实那些假设；