BT

如何利用碎片时间提升技术认知与能力? 点击获取答案

Mono为C#添加了类型推断支持

| 作者 Jonathan Allen 关注 524 他的粉丝 ,译者 陈黎夫 关注 0 他的粉丝 发布于 2007年7月6日. 估计阅读时间: 3 分钟 | GMTC大前端的下一站,PWA、Web框架、Node等最新最热的大前端话题邀你一起共同探讨。

据Marek Safar称,通过使用一种名为类型推断(type inference)的技术,Mono上的C# 3.0编译器现在已经能够支持隐式类型的局部变量以及隐式类型的数组了。

在“类C”的语言,比如C#中,我们经常使用类似“type variable = new type”这样略显冗余的办法来创建一个对象。若是变量的类型名称较长,或是会经常变化,那么这样的声明方法更是将显得非常乏味。

借助于最新引入的“var”关键字,C# 3.0大大减小了这类冗余。通过这样的声明方式,开发者即可在得到动态创建类型便利的同时,也无须牺牲原有的静态类型支持。编译器将通过等号右面的类型信息来确定变量的实际类型。

需要注意的一点是,C#仍旧是早期绑定和静态类型的。类似Visual Basic这类延迟绑定(late binding)语言中的一些常见问题(比如由拼写错误造成的“missing method exception”)并不会在C#中出现。

虽然看上去不错,不过添加类型推断却不只是为了提高开发者的那么一点点输入速度。类型推断是实现匿名类的一个必要的前提条件,而匿名类则在LINQ中被广 泛使用。因为匿名类并没有一个指定的类型名称,所以若是没有了类型推断的支持,我们就无法在C#中创建该类型的实例。(VB则是通过延迟绑定来实现的这个 功能,不过这也带来了“missing method exception”之类的问题。)

C#中支持两种类型推断:隐式类型变量和隐式类型数组。二者的实现基础完全相同,即在编译时将“var”替换成为分析得到的正确的变量或数组类型表达式。

若是变量的声明和赋值不在同一行书写的话,编译器将不允许我们使用类型推断。虽然从技术角度上考虑,实现这个功能没有什么困难,不过C#编译器的开发团队可能是为了避免其带来的复杂性,所以并没有考虑支持这个功能。

Marek Safar还提到了两个无法应用类型推断的场景。

故名思意,“隐式类型局部变量”将无法用于域变量或常量的声明中,否则将导致编译错误。

我无法确定为什么会设置这样的限制,或许我有些地方考虑得也不够全面。

注意:从技术角度考虑,匿名类也拥有类型名称,该类型名称是由编译器自动生成的。不过匿名类的名称却无法预料,因此我们只需要考虑其实现细节。换句话说,我们最好将匿名类的名称当作根本不存在。

查看英文原文: Mono Adds Support For Type Inference in C#

评价本文

专业度
风格

您好,朋友!

您需要 注册一个InfoQ账号 或者 才能进行评论。在您完成注册后还需要进行一些设置。

获得来自InfoQ的更多体验。

告诉我们您的想法

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我
社区评论

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

讨论

登陆InfoQ,与你最关心的话题互动。


找回密码....

Follow

关注你最喜爱的话题和作者

快速浏览网站内你所感兴趣话题的精选内容。

Like

内容自由定制

选择想要阅读的主题和喜爱的作者定制自己的新闻源。

Notifications

获取更新

设置通知机制以获取内容更新对您而言是否重要

BT