C#:昨天,今天和明天:和 Anders Hejlsberg 座谈,第二部分

C#:昨天,今天和明天:和 Anders Hejlsberg 座谈,第二部分

C#: Yesterday, today, and tomorrow

作者:John Osborn 10/17/2005 翻译:我要去桂林

Osborn:

回到和语言相关的问题,我现在还是想说说LINQ。微软 Visual Stuido .NET 的产品经理 Tony Goodhew 在一次访谈中说过,微软的研究表明越来越多的人倾向于在编程中使用2种或者更多的语言来工作。好像现在有一种感觉,这就是语言只是 syntactic sugar 语法糖块。你选择某种语言是因为你对他最满意。

你认为现在有这种变化吗?我们以前没有过多谈过这方面的。

Hejlsberg:

好吧,的确没有谈过,但是语法是不是走到了尽头?我的意思是我们只是用 XML 文档来描述抽象语法树来表现你想做的,这也是一种语法,但是很显然,这对程序员来说并不怎么有用。因此,我认为编程语言在人们的脑海中占据这一个特别的位置,如果人们用语言说话是表达自己的一种方式,程序语言也和自然语言一样用来表达你自己的。

实际上,语法是编程语言的组成和表现形式,在很多方面,语法影响你如何思考你的程序,等等。因此,我认为语法很重要,非常重要。

Osborn:

那么从语法的角度来看,C#有什么特别的呢?你能给我们描述一下吗?

Hejlsberg:

好,我认为我们现在所说的面向组件类的特点是极为重要的。我们努力的做到没有其他的方法可以做这件事情。我们尝试发现语法间的协同,我的意思是:这很难用语言来精确的形容。那我们来看看语言级别集成的LINQ查询吧。这个可扩展的模型是:我们采用方法调用的方式来实现这一点。当你使用 where , orderby select 语句来写查询语句的时候,我们把这个转换成对等的方法调用:Where, OrderBy 和 Select 集合。我们把你写的查询作为 Lambda 表达式语句传递给相关的方法。

这样,查询就变成连在一起的方法调用,从而查选也变得可读性更好,这就像一个语言胶水一样。上面的转换是立即执行的,如同 foreach 循环转换成:从while 循环中获得一个数字一样。这个小小的改进非常有利于你在更高的层次上思考问题。你明白我的意思吗?

Osborn:明白。

Hejlsberg:从这方面来讲,语法在很大程度上影响了你如何思考问题的,尽管这些语法上的东西根本和事情本身毫无关系。

Osborn:

是的。从书籍出版商的角度来看,我们公司自己的历史数据上显示,古老的C++语言有自己的地盘,在书籍出版量上只有很少的增长;去年VB的销量下降了百分之20到百分之25。C# 书籍销量还算平稳。但是很平淡。

Hejlsberg:哦,这样呀。

Osborn:

情况很清楚,从我们的销量来看,似乎有股从VB转向到C#的动向,或者其他的。可是C++却自始至终占领者一部分市场。

Hejlsberg:

没错。VB 和 C# 在同一个程序员的群体里是相互竞争的。C++ 扮演这一个特别的角色,可是C++的核心是写非托管的代码,是相对底层的编程。我知道我刚才是泛化的说明,你也可以使用 STL 来作基于模板的编程。标准模板库有他伟大的地方。我只是说,从更广泛的背景上看C++写出的应用程序和用 VB 和 C# 写出的程序是应用于不同的目的的。

Hejlsberg:对于C++应用领域的跌落,我感到并不惊讶。

Osborn:

我知道一个人不能用C++来写托管代码。

Hejlsberg:

从个人出发点来看,我也不会用它来写托管代码。但是,你要是让我来写一个编译器,这可不能是托管代码,那我还是会用C++的。经过这么多年的发展,我认为作为一条通用的规则,写托管代码的理由会越来越多。原因很简单啦,硬件变得更加强大,牺牲点 CPU 和内存来换取更高的生产效率来说就变得更重要了。我觉得这时一个非常有价值的命题。并且,我坚信这会逐渐的成为共识。另外,托管世界的也变得更加精彩啦。也就是,越是有创新的地方就越有更多的程序被企业所应用。

泛型和C#

Osborn:

侃了这么多,我们来说点关于 C# 2.0 的事情吧。很明显,C# 语言朝着泛型的方向发展有很长一段时间了。

Hejlsberg:没错。

Osborn:

那么,相对于其他的语言而言C#的泛型有什么不同呢?

Hejlsberg:

哈哈,靠,很明显我更想让你说:就在C#和Java之间比较吧。

Osborn:没错,我也是这个意思。

Hejlsberg:

首先,我非常高兴的我们在2.0里面加入了泛型编程。你现在看我们做的C# 3.0 里面的很多东西都是泛型在起作用。这的确是意义深远的,引入泛型后为类型系统开辟了一个新的空间,也打开了实现更多可能性的大门。比如:没有泛型的帮助,我们不可能做到语言级别集成的查询LINQ。从这个意义上讲,这是更多有趣功能后面的发动机。泛型也是现实编程世界里的解决方法的好帮手。

对,有更多的类型是很好的,这意味着你可以更快的发现错误,因为只有很少的运行时动态检查程序的类型,因此你可以写出很好的代码来。

现在,看看 java 和 C# 这对冤家吧,从语法学上面看两者实现泛型的形式是很相似的。他们都像 C++ 的模板,这是继承下来的。

现在我们抛开表面看本质,Java 和 C# 的泛型实现机制是截然不同的。我认为最大的不同在于:.NET平台下的泛型不只是一个语言特色。泛型根植于 CLR 和 .NET 的类型系统。这也就是为什么泛型可以在运行的时候表现出来。

而 Java 则选择了另一个不同的方式实现泛型,一言以蔽之,他们是在编译时实现的。而且 Java 编译器把泛型化从代码中移除了,并注入了对象,有效的对象替代了类型参数信息。也就是说呀,Java 在运行时根本没有泛型这一说。这就有意思啦,一方面可以让泛型跑在一个未经修改的 VM 虚拟机上,另一方面强加给你很多让然吃惊的限制和规则。相对于我们的泛型实现来说,java 的泛型并不能带来性能的收益,很显然吗,不管外表 List<T> 看起来多么泛型,Java 在运行时压根没泛型这马事儿,你不得不自己做运行时的动态检查和类型转换。

更微妙的是,因为 Java 没有在运行时的泛型信息,你从你的编译后的代码丢失了泛型信息。。如果在运气期间,有人给你一组自定义的对象,他们传递给你的仅仅是对象,如过你想从对象中推测是这些对象的更多信息是办不到的,因为额外的信息已经被移除了。

在现实世界里,我们越来越多的依赖运行中代码和动态行为的动态生成和检查,而Java 的泛型实现对我来说,是很大问题,他缺少程序运行时候的真实表现。

Osborn:

牛呀,这么说 .NET 实现的泛型允许我们……

Hejlsberg:

太对了。如果我定义一个 List<T> 作为一个 object , 我可以问 “这是什么“?系统可以告诉我,这是一个列表。他还可以告诉我们,这是一个 List<T> ,T 代表 Customers 类。我还可以说:为什么不给我一个 System.Type 的 List<T>也可以是,你为什么没有把 T 绑定到 Order ?也就是说我们可以把类型转换为 List<Order> ,并创建他的一个实例。说了这么多,总之,我可以通过反射在编译的时候,在运行的时候来实现上述功能,这是一个巨牛的功能呀。

C#:昨天,今天和明天:和 Anders Hejlsberg 座谈,第三部分

第三部分讲:匿名方法和 lambda 表达式和LINQ 的关系。

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

扫码关注云+社区

领取腾讯云代金券