在与同事讨论了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是c# 3.0和LINQ中为匿名类型引入的占位符。

因此,它允许在一个集合中为更少的列编写LINQ查询。不需要在内存中复制信息,只加载完成你需要做的事情所必需的东西。

var的使用一点也不坏,因为它实际上不是一个类型,但正如在其他地方提到的,它是一个类型的占位符,它是并且必须定义在等式的右边。然后,编译器将用类型本身替换关键字。

即使使用智能感知,当一个类型的名称很长时,它也特别有用。只需要写var,然后实例化它。之后阅读您的代码的其他程序员将很容易理解您在做什么。

就像使用

public object SomeObject { get; set; }

而不是:

public object SomeObject {
    get {
        return _someObject;
    } 
    set {
        _someObject = value;
    }
}
private object _someObject;

每个人都知道属性在做什么,就像每个人都知道var关键字在做什么一样,这两个例子都倾向于通过简化它来简化可读性,并使程序员更容易编写有效的代码。

其他回答

对于LINQ,使用var的另一个很好的理由是编译器可以更优化查询。

如果你使用一个静态列表来存储结果,它将在你分配给列表的地方执行,但是使用var,它可以潜在地将原始查询与代码中后面的查询合并,从而对数据库进行更优化的查询。

我有一个例子,我在第一个查询中提取了一些数据,然后循环遍历并请求更多数据以打印出一个表。

LINQ合并了这些,所以第一个只提取id。

然后在循环中,它添加了一个我没有在那里做的额外连接来获取我包含在原始数据中的数据。

经过测试,这种方法效率更高。

如果我们没有使用var,它就会像我们写的那样进行查询。

令人惊讶的是,到目前为止还没有注意到这一点,但对foreach循环变量使用var是常识。

如果您指定了特定的类型,则可能会有编译器无声地将运行时强制转换插入程序的风险!

foreach (Derived d in listOfBase)
{

上面的代码将被编译。但是编译器会插入一个从Base到Derived的向下转换。因此,如果列表中的任何内容在运行时不是派生的,则存在无效的强制转换异常。类型安全受到损害。隐形演员太可怕了。

排除这种情况的唯一方法是使用var,因此编译器会根据列表的静态类型来确定循环变量的类型。

这次讨论有点晚了,但我想补充一点想法。

对于所有反对类型推断的人(因为这就是我们在这里真正谈论的内容),lambda表达式呢?如果坚持始终显式地声明类型(匿名类型除外),那么如何使用lambdas呢?“不要让我使用鼠标悬停”参数如何适用于var而不是lambdas?

更新

我刚刚想到了一个反对“var”的论点,我认为没有人提到过,那就是它“破坏”了“找到所有引用”,这可能意味着(例如)如果你在重构之前检查一个类的使用情况,你会错过类通过var使用的所有地方。

我们采用了“为人编写代码,而不是为机器编写代码”的理念,基于这样的假设:在维护模式中花费的时间要比在新的开发模式中花费的时间长好几倍。

对我来说,这就排除了编译器“知道”变量是什么类型的说法——当然,你不可能第一次就写出无效的代码,因为编译器会阻止你的代码编译,但是当下一个开发人员在6个月的时间里阅读代码时,他们需要能够推断出变量做得正确或不正确的地方,并快速确定问题的原因。

因此,

var something = SomeMethod();

在我们的编码标准中是不合法的,但在我们的团队中鼓励这样做,因为它增加了可读性:

var list = new List<KeyValuePair<string, double>>();
FillList( list );
foreach( var item in list ) {
   DoWork( item ); 
}

我认为var的使用应该与明智选择的变量名称相结合。

我在foreach语句中使用var没有问题,前提是它不是这样的:

foreach (var c in list) { ... }

如果是这样的话:

foreach (var customer in list) { ... }

... 这样,阅读代码的人就更有可能理解什么是“列表”。如果您可以控制列表变量本身的名称,那就更好了。

这同样适用于其他情况。这是非常无用的:

var x = SaveFoo(foo);

... 但这是有道理的:

var saveSucceeded = SaveFoo(foo);

各有各的,我想。我发现自己这样做,简直是疯了:

var f = (float)3;

我需要一个12步的var程序。我叫Matt,我(ab)使用var。