在与同事讨论了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 something = new StringBuilder(); 

通常打字的速度没有

StringBuilder something = KEY'TAB'();

其他回答

我想你在你的问题中指出了var的主要问题:“我不需要弄清楚类型”。正如其他人指出的那样,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”

Kronoz -在这种情况下(两者都重载)会有问题吗?如果你有两个不同类型的重载,本质上你会说任何一个都可以被传递,做同样的事情。

不应该有两个重载根据传递的类型执行完全不同的操作。

虽然在这种情况下您可能会感到困惑,但它仍然是完全类型安全的,只是有人调用了错误的方法。

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

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

更新

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

它可以使代码更简单、更短,特别是对于复杂的泛型类型和委托。

此外,它使变量类型更容易更改。