在与同事讨论了c# 3中var关键字的使用后,我想知道人们对通过var适当使用类型推断的看法是什么?
例如,我很懒地在有问题的情况下使用var,例如:-
foreach(var item in someList) { // ... } // Type of 'item' not clear.
var something = someObject.SomeProperty; // Type of 'something' not clear.
var something = someMethod(); // Type of 'something' not clear.
var更合法的用法如下:-
var l = new List<string>(); // Obvious what l will be.
var s = new SomeClass(); // Obvious what s will be.
有趣的是,LINQ似乎是一个灰色区域,例如:-
var results = from r in dataContext.SomeTable
select r; // Not *entirely clear* what results will be here.
结果很明显,因为它将是一个实现IEnumerable的类型,但它并不完全明显,与var声明一个新对象的方式相同。
当涉及到对象的LINQ时,情况就更糟了,例如:-
var results = from item in someList
where item != 3
select item;
这并不比等价的foreach(var item in someList){//…}相当于。
这里有一个关于类型安全的真正问题——例如,如果我们将该查询的结果放在一个接受IEnumerable<int>和IEnumerable<double>的重载方法中,调用者可能会无意中传入错误的类型。
Var确实保持强类型,但问题是,在定义中不立即显示类型是否危险,当重载意味着当你无意中将错误的类型传递给方法时,编译器可能不会发出错误,这种情况会被放大。
我认为人们不理解var关键字。
他们把它和Visual Basic / JavaScript关键字搞混了,
这完全是另一回事。
许多人认为var关键字意味着
弱类型(或动态类型),而实际上c#是并保持强类型。
如果你在javascript中考虑这个:
var something = 5;
你可以:
something = "hello";
在c#中,编译器会从第一条语句中推断出类型,
导致“int”类型的东西,因此会产生第二条语句
在异常中。
人们只需要明白,使用var关键字并不意味着
动态类型,然后决定var关键字的使用程度,
知道它对于将要编译的内容绝对没有区别。
当然var关键字的引入是为了支持匿名类型,
但如果你看这个:
LedDeviceController controller = new LedDeviceController("172.17.0.1");
这是非常非常冗长的,我相信这是一样可读的,如果不是更多:
var controller = new LedDeviceController("172.17.0.1");
结果是完全相同的,所以是的,我在我的代码中使用它
更新:
也许,只是也许……他们应该用另一个关键词,
那我们就不会有这样的讨论了……也许是“推断”关键字而不是“var”
好吧,这个问题会一直固执己见,但我会试着给出我的观点-尽管我认为我的观点是如此混乱,你可能不会从中得到什么。
首先——有匿名类型,为此你需要使用“var”关键字来分配一个匿名类型作为类的对象——这里没有太多的讨论,“var”是必要的。
然而,对于更简单的类型,如int型、长型、字符串型等等,我倾向于输入适当的类型。主要是因为它有点像“懒人的工具”,我在这里看不到太多的好处,很少的按键和它可能带来的困惑,这是不值得的。特别是浮点数的各种类型(浮点数、双精度数、十进制数)使我感到困惑,因为我对字面量中的后缀不坚定——我喜欢在源代码中看到类型。
话虽如此,如果类型更复杂和/或它显式地重复在赋值的右侧,我倾向于大量使用var。这可以是一个List<string>或etc,例如:
var list = new List<string>();
在这种情况下,我认为没有必要重复类型两次——特别是当您开始更改代码和类型更改时——泛型类型可能会变得越来越复杂,因此必须更改它们两次只是一种痛苦。当然,如果你希望针对IList<string>编码,那么你必须显式地命名类型。
简而言之,我做了以下事情:
当类型很短或不能脱离上下文读取时,显式地命名类型
在必要时使用var(废话)
当var(在我看来)不影响可读性时,使用它来偷懒
Apart from readability concerns, there is one real issue with the use of 'var'. When used to define variables that are assigned to later in the code it can lead to broken code if the type of the expression used to initialize the variable changes to a narrower type. Normally it would be safe to refactor a method to return a narrower type than it did before: e.g. to replace a return type of 'Object' with some class 'Foo'. But if there is a variable whose type is inferred based on the method, then changing the return type will mean that this variable can longer be assigned a non-Foo object:
var x = getFoo(); // Originally declared to return Object
x = getNonFoo();
所以在这个例子中,改变getFoo的返回类型会使getNonFoo的赋值变为非法。
如果getFoo和它的所有用途都在同一个项目中,这不是什么大问题,但如果getFoo在一个库中供外部项目使用,如果他们像这样使用'var',你就不能确保缩小返回类型不会破坏某些用户的代码。
正是由于这个原因,当我们在Curl编程语言中添加类似的类型推断特性(在Curl中称为'def')时,我们阻止了对使用这种语法定义的变量的赋值。
局部变量可以被赋予一个推断的var“类型”,而不是一个显式的类型。关键字var指示编译器从初始化语句右边的表达式推断变量的类型。
// z被编译为int类型
var z = 100;
// s被编译为下面的字符串
var s = "Hello";
// a被编译为int[]
var a = new[] { 0, 1, 2 };
// expr被编译为IEnumerable
//或者IQueryable
var expr =
from c in customers
where c.City == "London"
select c;
// anon被编译为匿名类型
var anon = new { Name = "Terry", Age = 34 };
// list被编译为list
var list = new List<int>();
var can only be used when a local variable is declared and initialized in the same statement; the variable cannot be initialized to null, or to a method group or an anonymous function.
Var不能在类范围内的字段上使用。
使用var声明的变量不能在初始化表达式中使用。换句话说,这个表达式是合法的:int i = (i = 20);但是这个表达式会产生一个编译时错误:var I = (I = 20);
多个隐式类型变量不能在同一个语句中初始化。
如果一个名为var的类型在作用域中,那么var关键字将解析为该类型名称,并且不会被视为隐式类型局部变量声明的一部分。