果洛营销网站建设多少钱,phpok做网站教程,青岛物流网站建设,男生都知道的微信公众号译者#xff1a;雪落无痕 xdj 目前的 C# 编译器#xff08;即 Roslyn#xff09;于 2014 年 4 月开源。目前不仅是编译器在 GitHub 上开发#xff1b;语言的设计也是进行公开的讨论。 这允许感兴趣的各方了解语言下一个版本的样子。这篇文章概述了当前在设计语言新特性时的… 译者雪落无痕 xdj 目前的 C# 编译器即 Roslyn于 2014 年 4 月开源。目前不仅是编译器在 GitHub 上开发语言的设计也是进行公开的讨论。 这允许感兴趣的各方了解语言下一个版本的样子。这篇文章概述了当前在设计语言新特性时的思考过程。如果你对现在 Roslyn 生态系统的更广泛的方面感兴趣的话可以阅读 DotNetCurryDNC杂志 2016 年 3 月版上我的文章 .NET 编译器平台Roslyn概述 。 下一版 C#的主题 截止目前每个版本的C#C# 6.0 可能除外都会围绕一个特定的主题 C# 2.0 引入泛型。C# 3.0 通过扩展方法、lambda 表达式、匿名类型和其他相关特性带来了 LINQ。C# 4.0 都是关于与动态非强类型语言的互操作。C# 5.0 简化异步编程和异步等待等关键词。C# 6.0 完全重写并且引入了各种各种更易实现的小特性和改进。你可以在 DotNetCurryDNC杂志 2016 年 1 月版上找到一篇C#6.0 特性的概述文章U升级现有 C# 代码到 C# 6.0。 C# 7.0 可能不会有例外。语言设计者们目前专注于三个主题 Web 服务的使用增长正在改变数据建模的方式。数据模型的定义正在成为服务契约的一部分而不是在应用程序去完成。虽然这在函数式语言中是是非常方便的但是它给面向对象开发带来了额外的复杂度。几个 C# 7 的特性正是以通过外部数据契约来简化该工作为目标的。日益增长的移动设备共享使得性能成为一个重要的考量因素。C# 7.0 的计划特性允许进行性能优化以前这在 .Net 框架上是不可能的。可靠性和鲁棒性是软件开发中一个永恒的挑战。C# 7.0 可能用一部分开发时间来应对这个挑战。 让我们仔细看看每个主题的一些计划中特性。 处理数据 面向对象语言比如 C# 在一组预定义的操作作用于一组可扩展的数据类型这样的场景中工作的很好。这些通常是通过一个接口或者一个基类对可用操作进行建模以不断增加的子类表示数据类型。通过实现接口类包含了各种操作的实现。 比如在一个游戏中武器可能是各种不同类型比如一把剑或者一张弓并且操作可能也是不同的动作比如攻击或者修复增加一个新的武器类型比如一把光剑会很简单创建一个新类实现武器的接口。增加一个新动作如转动另外一方面就需要扩展接口和修改已有的武器实现。这在 C# 中是很自然的。 在函数式编程中数据类型不包括操作。相反每一个函数对所有数据类型实现一个单一的操作。 这使得增加新操作只需要定义一个新函数更容易但是增加新数据类型需要修改所有已有相应的函数却更难了。但是这在 C# 中是可能的了它更加繁琐一些。 模式匹配是可以帮助简化上述代码的特性。让我们来一步一步将它应用到 Attack 方法中 替代原有两句分离的语句来检查武器类型并将其赋值相应类型的变量现在 is 操作符将允许我们声明一个新变量并分类类型值。 类似的结果一个 switch case 语句可以替代 if。这使得代码更加清晰特别是有很多分支时 注意下 case 语句是如何同时做到类型转换和条件检查的增加了代码的简洁性。 另外一个模式匹配相关的特性是 switch 表达式。你可以认为它是一种 switch 语句每个 case 分支都会返回一个值。使用这个特性一个有限状态机的转换就可以定义在一个表达式中了。 上面的代码还使用了另外一个特性 tuples。 它们被设计成更加轻量级的匿名类的替代品。他们主要被用在函数返回多个值时替代 out 类型参数。 更多函数式编程的开发方式会很快导致类只作为数据的容器而不包含任何方法和业务逻辑。records 语法允许这种类的标准化实现只需要最少的代码 public class Sword (int Damage, int Durability); 这简单的一行表示了一个完整的函数式类 正如你所看到的这个类包含一些只读的属性一个构造函数用来初始化这些属性。它还实现了 equality 方法并使用基于 hash 的集合正确的重载了 GetHashCode 比如 Dictionary 和 Hashtable。你可能不认识最后两个函数 Is 操作符重载允许模式匹配时拆分成元组结构。为了解释 With 方法请读下面几段。 Record 将支持继承但具体的语法还没定。 增加可靠性 上面使用 record 语法生成的 Sword 类是不可变类的一个例子。这表示它的状态属性的值在类的实例创建后不能被改变。 如果你想知道它跟可靠性有什么关系想想多线程编程吧。随着处理器有更多核而不是更高时钟频率在服务器、桌面和移动端多线程编程只会变得更重要和更流行。同时不可变对象需要不同的编程方式它在设计上就避免了多线程在没有合适的同步情况下修改同一对象时产生的条件竞争比如没有正确使用锁或者其他线程同步原语。 尽管现在 C# 中创建不可变对象也是可以的但是它太复杂了。下面介绍的C#7.0 中的特性使得它更便捷的定义和使用不可变对象 · 对象初始化器只作用于只读属性自动回落到匹配的构造函数上 IWeapon sword new Sword { Damage 5, Durability 500 }; · 特殊的语法将用于创建简洁的对象副本: IWeapon strongerSword sword with { Damage 8 }; 上面的表达式将创建一个 Sword 的副本对象所有属性有相同的值除了 Damage 使用新提供的值。完成这个表达式的内部运作的细节仍在讨论中。其中一个选项是需要的类有 With 方法就像在 records 的例子中展示的那样 public Sword With (int Damage this.Damage, int Durability this.Durability) new Sword (Damage, Durability); 这将使 with 表达式语法自动转换成下面的方法调用 IWeapon strongerSword sword.With (Damage: 8); C# 7 可靠性工作的第二部分是null 安全的主题。我们都同意 NullReferenceException 是最常见也最难以解决的失败之一。任何可以减少此类异常的数量的语言的改进肯定会对整个应用程序的可靠性有积极的影响。 第三方供应商如 JetBrains 著名 Visual Studio 扩展 ReSharper 已经在这个方向上走出了第一步。他们的工作是基于代码的静态分析开发人员试图销毁一个对象之前没有检查 null 值时发出警告。这是通过 Attibute 来实现的可以用来标注方法是否可以返回 null 值。他们也为 BCL (基类库)类准备了标注。如果开发人员会正确地标注他/她所有的代码静态分析应该能够可靠地警告任何潜在的 NullReferenceException 来源。 C#语言设计团队正试图实现相同的目标只不过是在语言层面上。核心思想是允许变量类型定义中包含是否可以赋值为空的信息 IWeapon? canBeNull;
IWeapon cantBeNull; 分配一个 null 值或潜在的 null 值给非空变量会导致编译器的警告开发人员可以配置在这些警告的情况下构建失败来增加额外的安全 canBeNull null; // no warningcantBeNull null; // warningcantBeNull canBeNull; // warning 这种改变的问题是它破坏现有代码它假设以前代码中所有变量都是非空的。为了应对这种情况可以在项目级别禁用静态分析。开发人员可以决定何时进行 nullability 检查。 在过去 C# 类似的改变已经被在考虑但因为向后兼容性的问题没能实现。因为 Roslyn 已经改变了什么编译器和执行静态分析的诊断能力语言团队决定再次重温这个话题。让我们保持祈祷让他们设法想出一个可行的解决方案。 改进的性能 C# 7.0 中性能改进重点是减少内存位置中的数据复制。 局部函数将允许在其他函数内部嵌套声明辅助函数。这不仅会缩小他们的作用域也允许使用声明涵盖范围内的变量而且不会在堆上分配额外的内存和堆栈 返回值和局部变量的引用也能用来阻止不必要的数据拷贝同时他们的行为也改变了。因为这些变量指向原本的内存地址任何对此处值的改变都会影响到局部变量的值 在上面的例子中terrainType 是一个局部变量的引用GetAt 是一个返回值的引用的函数 public ref TerrainType GetAt (int x, int y) ref terrain[x, y]; Slices 是提出的最后的性能相关的特性 var array new int[] { 1, 2, 3, 4, 5 };var slice Array.Slice (array, 0, 3); // refers to 1, 2, 3 in the above array Slice切片 使得将一个数组的一部分可以作为一个新的数组进行处理而实际指向原数组的同一内存地址。 图1: Slices 是另一个数组的一部分 同样的对任何一个数组的修改将会同时影响两个数组没有任何值被拷贝。这将导致较大状态的更有效的管理比如在游戏中。所有需要的内存只需要在应用开始的时候分配一次完全避免了新内存分配和垃圾收集。 更进一步它使我们可以用同样的方式获得一块原生的内存块可以直接读取和写入而不用再进行编组。 尝试实验功能 尽管所有上述的功能还远没有完成任何工作已经可以在 GitHub 上使用。如果你有兴趣试试你完全可以这样做。 在撰写本文时最简单的方式是安装 Visual Studio “15”预览版从三月底起可以从此处下载。它包含新版的 C# 编译器带有下列实验功能等着你来试用模式匹配局部函数返回值和局部变量的引用。 尚未成熟的特性需要你基于 GitHub 源码构建自己版本的编译器这超出了本文讨论范围。如果你感兴趣可以读下这篇详细指导的文章 。 甚至在 Visual Studio “15”预览版中默认情况下新的实验功能还是不能用的。 Image 2: Experimental features must be enabled explicitly 尽管指示会有错误在写代码时最简单的方式来启用这些功能的方法是在工程的编译属性里增加__DEMO__ 和 __DEMO_EXPERIMENTAL__条件编译符号。 图3: 增加条件编译符号 现在你就可以使用任何支持的实验语言特性了编译工程也不会有错了。 结论 所有本文描述的C# 7 新的语言功能都还在实现中。在C#7.0 的最终版本里他们可能会很不一样或者根本不存在。这篇文章只是一个 C# 语言的当前状态的总览让你能一窥未来也许能引发你足够的兴趣去更紧密得跟踪开发或者在新功能未完成时就去尝试下。通过在语言开发过程中作为一个更积极的部分你就可以影响它同时也能学到新东西可能在下一版本可用之前就能改善你现有的编码实践。 原文地址http://www.oschina.net/translate/csharp-7-new-expected-features .NET社区新闻深度好文微信中搜索dotNET跨平台或扫描二维码关注
