为什么不允许使用“var”进行复合定义?

2024-04-13

Well, I really认为这会起作用(在方法内部):

var x, y = 1;

var x = 1, y = 2;

但它不会,它不会编译 - “复合定义中不允许使用 var”。

我想这是一种通常的权衡。这不是一个非常常用的功能,因此没有实现,但我们可以,并且可能会在未来的版本中......


好吧,如果你给它一个清单类型:

int x, y = 1;

这声明了两个 int 变量,并初始化其中之一。但局部变量类型推断需要初始化器来推断类型。所以你已经死定了。

但是,假设您打算为两者提供一个初始化程序。当两个初始值设定项具有相同类型时,该怎么做是“显而易见的”。所以让我们让它变得更难。假设你说:

var x = 1, y = 2.0;

这到底是什么意思呢?这是否声明x as int and y as float?或者它是否试图找到某种可以同时是 x 和 y 类型的类型?无论我们决定做什么,有些人都会认为它应该以相反的方式运作,这从根本上会令人困惑。

而且,为了什么利益?与潜在的语义混乱相比,说出你的意思所增加的语法成本是微不足道的。这就是为什么我们将其排除在本地类型推断范围之外。

那么你可能会说,“好吧,只有当它们是同一类型时才有效。”我们可以做到这一点,但现在何时可以使用推理、何时不能使用推理的界限是甚至更复杂。无论如何,我现在就会回答同样的“你为什么不”问题……现实是,推理方案总是有局限性的;你要选择的是边界。最好选择干净、明确的限制(“可以在这些情况下使用它”)而不是模糊的限制。

本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

为什么不允许使用“var”进行复合定义? 的相关文章

随机推荐