什么是类型安全

• 类型安全就是编译器在编译阶段会检查变量内容和变量类型是否匹配, 如果不匹配会抛出错误
• 类型安全的语言包括Java, C++, C#等
• 类型不安全的语言有JavaScript

• 下面这段代码是JavaScript, 编译器不会进行类型检查, 不会进行任何报错或者标红提示, 所以string和int可以相加

var priceOfApple = 5;
priceOfApple = "is type safe";
var priceOfOrange = 7;
var totalPrice = priceOfApple + priceOfOrange;

强类型语言和弱类型语言 (strongly typed vs weakly typed)

• 概念和类型安全类似, 强类型语言会要求所有的变量都要有相对应的类型, 并且会在编译阶段进行类型检查.而弱类型语言则不要求所有变量都有相对于的类型, 也不会对类型进行检查

静态类型检查和动态类型检查 (static typing vs dynamic typing)

var关键字

• 局部变量可以在不给出显式类型的情况下声明。var 关键字告诉编译器从初始化语句右侧的表达式中推断变量的类型。推断的类型可以是内置类型、匿名类型、用户定义的类型或 .NET 类库中定义的类型

// i is compiled as an int
var i = 5;

// s is compiled as a string
var s = "Hello";

// a is compiled as int[]
var a = new[] { 0, 1, 2 };

// expr is compiled as IEnumerable<Customer>
// or perhaps IQueryable<Customer>
var expr =
    from c in customers
    where c.City == "London"
    select c;

// anon is compiled as an anonymous type
var anon = new { Name = "Terry", Age = 34 };

// list is compiled as List<int>
var list = new List<int>();

• 注意即使有var keyword, c#依旧是强类型语言, 因为编译器还是会通过初始化语句右侧的表达式中推断变量的类型, 并且var 只适用于local variable. 方法的成员变量和方法返回值等都必须有显式的类型.

什么时候使用var关键字

• var的优点

• var 要求输入更少的字符。相比于 Dictionary<int, IList>，var 更短、更易读。
• 如果方法调用的返回类型发生变化，var 需要更少的代码更改。你只需要更改方法声明，而不是每个使用它的地方。
• var 鼓励你为变量使用描述性的名称。这意味着使用实例名称，而不是类型名称。例如：var customer = new Customer() 而不是 var c = new Customer()

• var的缺点

• var 隐藏了实际的变量类型。如果初始化器没有返回一个明确定义的类型，那么你可能无法知道变量的类型。
• 使用 var 是懒惰的。虽然 var 比 Dictionary<int, IList> 要容易输入，但如果变量没有命名好，你就无法知道它指的是什么。
• 使用 var 使得很难知道底层变量的实际类型。同样，一个命名合理的变量会自说明。
• var 无法包含可空类型，例如 int?。这实际上是不正确的，因为你可以将值转换为可空类型。

建议: 当能看出变量类型的时候用var, 看不出类型的时候用实际类型声明

var count = 17;
var primeNumbers = new [] { 2, 3, 5, 7, 11, 13, 17 };
var customer = new Customer();
var activeOrders = GetAllOrders().Where(o => o.Active);
foreach (var activeOrder in activeOrders) { … }

decimal customerBalance = GetCustomerBalance();
CustomerStatus customerStatus = GetCustomerStatus();