您当前的位置:首页 > 电脑百科 > 程序开发 > 语言 > C/C++/C#

一探即将到来的 C# 10

时间:2021-06-07 13:36:21  来源:公众号  作者:IT狂人日记

前言

本来因为懒不想写这篇文章,但是不少人表示有兴趣,于是最后决定还是写一下。

.NET 6 最近几个预览版一直都在开发体验(如 hot reload、linker 等)、平台支持(如 AndroidIOS 等)、工具链(如 crossgen2、PGO 工具和 wasm 的 AOT 等)、JIT(如 LSRA、Jump threading、PGO 和 guarded devirtualization 以及使 struct 保持在寄存器上等)、GC(如 Regions 等)以及 BCL(如 TimeOnly、DateOnly 以及 Json DOM 等)方面做改进,然而却一直没有公布 C# 10 的任何内容,即使在 Build 2021 大会上也没有提及这方面内容。然而实际上不少特性的实现已经接近尾声了,那么让我们提前来看看 C# 10 可以为我们带来什么东西。

当然,不是所有下面列出的特性都会一定进入 C# 10,也可能会和本文有所出入,我在每一个特性后面加了一个百分比表示最终实装的可能性,仅供参考。

Backing Fields(60%)

相信不少人在编写属性的时候,总是想“如果能不用手动写字段的定义就好了”,现在这个梦想成真了:

private int myInt;
public int MyInt { get => myInt; set => myInt = value; }

C# 10 中新增了一个 field,当使用它时会自动为属性创建字段定义,不需要再手动定义字段了。

public int MyInt { get => field; set => field = value; }

Record Structs(100%)

Records 此前只支持 class,但是现在同样支持 struct 啦,于是你可以定义值类型的 record,避免不必要的堆内存分配:

record struct Point(int X, int Y);

with on Anonymous Objects(80%)

此前 with 只能配合 records 使用,但是现在它被扩展到了匿名对象上,你可以通过 with 来创建匿名对象的副本并且修改它的值啦:

var foo = new { A = 1, B = "test", C = 4.4 };
var bar = foo with { A = 3 };
Console.WriteLine((bar.A, bar.B, bar.C)); // (3, test, 4.4)

Global Usings(80%)

此前 using 语句的生效范围是单个文件的,如果你想使用一些 namespace,或者定义一系列的类型别名在整个项目内使用,那么你就需要这样:

using System.Linq;
using static System.Math;
using i32 = System.Int32;
using i64 = System.Int64;

然后在每个文件中重复一遍。但是现在不需要了,你可以定义全局的 using 了:

global using System.Linq;
global using static System.Math;
global using i32 = System.Int32;
global using i64 = System.Int64;

然后在整个项目中就都可以用了。

File Scoped Namespace(90%)

C# 10 开始你将能够在文件顶部指定该文件的 namespace,而不需要写一个 namespace 然后把其他代码都嵌套在大括号里面,毕竟绝大多数情况下,我们在写代码时一个文件里确实只会写一个 namespace,这样可以减少一层嵌套也是很不错的:

namespace MyProject;

class MyClass
{
    // ...}

如果采用这样的写法,每一个文件将只能声明一个 namespace。

Constant Interpolated String(100%)

顾名思义,常量字符串插值:

const string a = "foo";
const string b = $"{a}_bar"; // foo_bar

常量字符串插值将在编译时完成。

Lambda Improvements(100%)

C# 10 大幅度改进了 lambda,扩展了使用场景,并改进了一系列的推导,提出自然委托类型,还函数上升至 first-class。

支持 Attributes

f = [Foo] (x) => x; // 给 lambda 设置f = [return: Foo] (x) => x; // 给 lambda 返回值设置f = ([Foo] x) => x; // 给 lambda 参数设置

支持显示指定返回值类型

此前 C# 的 lambda 返回值类型靠推导,C# 10 开始允许在参数列表最前面显示指定 lambda 类型了:

f = int () => 4;

支持 ref 等修饰

f = ref int (ref int x) => ref x; // 返回一个参数的引用

First-class Functions

方法可以被隐式转换到 Delegate,使得函数上升至 first-class。

Delegate f = 1.GetHashCode; // Func<int>object g = 2.ToString; // object(Func<string>)var s = (int x) => x; // Func<int, int>

将函数作为变量,然后传给另一个函数的参数:

void Foo(Func<int> f)
{
    Console.WriteLine(f());
}

int Bar()
{
    return 5;
}

var baz = Bar;
Foo(baz);

Natural Delegate Types

lambda 现在会自动创建自然委托类型。

可以用 var 来创建委托了:

var f = () => 1; // Func<int>var g = string (int x, string y) => $"{y}{x}"; // Func<int, string, string>var g = "test".GetHashCode; // Func<int>

调用 lambdas

得益于上述改进,创建的类型明确的 lambda 可以直接调用了。

var zero = ((int x) => x)(0); // 0

Caller Expression Attribute(80%)

现在,CallerArgumentExpression 这个 attribute 终于有用了。借助这个 attribute,编译器会自动填充调用参数的表达式字符串,例如:

void Foo(int value, [CallerArgumentExpression("value")] string? expression = null)
{
    Console.WriteLine(expression + " " + value);
}

当你这样调用时:

Foo(4 + 5);

会输出 4 + 5 = 9。这对测试极其有用,因为你可以输出 assert 的原表达式了:

static void Assert(bool value, [CallerArgumentExpression("value")] string? expr = null)
{
    if (!value) throw new AssertFailureException(expr);
}

default 支持解构(100%)

default 现在支持解构了,因此可以给 tuples 直接赋值。

(int a, int b, int c) = default; // (0, 0, 0)

List Patterns(100%)

Pattern Matching 的最后一块版图:list patterns,终于补齐了。

void Foo(List<int> list)
{
    switch (list)
    {
        case [4]:
            Console.WriteLine("长度为 4");
            break;
        case { 1, 2, 3 }:
            Console.WriteLine("元素是 1, 2, 3");
            break;
        case { 1, 2, .., var x, 5 }:
            Console.WriteLine($"前两个元素是 1, 2,最后一个元素是 5,倒数第二个元素是 {x}");
            break;
        default:
            Console.WriteLine("其他");
    }
}

同样的,该 pattern 也是 recursive 的,因此你可以嵌套其他 patterns。

除了上述 switch statements 的用法,在 if 以及 switch expressions 等地方也同样可用,例如:

void Foo(List<int> list)
{
    var result = list switch
    {
        [4] => ...,
        { 1, 2, 3 } => ...,
        { 1, 2, .., var x, 5 } => ...,
        _ => ...
    };
}

Abstract Static Member in Interfaces(100%)

C# 10 中,接口可以声明抽象静态成员了,.NET 的类型系统正式具备 virtual static dispatch 能力。

例如,你想定义一个可加而且有零的接口 IMonoid:

interface IMonoid<T> where T : IMonoid<T>
{
    abstract static T Zero { get; }
    abstract static T operator+(T l, T r);
}

然后可以对其进行实现,例如这里的 MyInt:

public class MyInt : IMonoid<MyInt>
{
    public MyInt(int val) { Value = val; }

    public static MyInt Zero { get; } = new MyInt(0);
    public static MyInt operator+(MyInt l, MyInt r) => new MyInt(l.Value + r.Value);

    public int Value { get; }
}

然后就能写出一个方法对 IMoniod<T> 进行求和了,这里为了方便写成扩展方法:

public static class IMonoidExtensions
{
    public static T Sum<T>(this IEnumerable<T> t) where T : IMonoid<T>
    {
        var result = T.Zero;
        foreach (var i in t) result += i;
        return result;
    }
}

最后调用:

List<MyInt> list = new() { new(1), new(2), new(3) };
Console.WriteLine(list.Sum().Value); // 6

这个特性同样也会对 .NET BCL 做出改进,会新增诸如 IAddable<T>、INumeric<T> 的接口,并为适用的已有类型实现。

总结

以上就是在 C# 10 的大部分新特性介绍了,虽然不保证最终效果和本文效果一致,但是也能看到一个大概的方向。

从 interface 的改进上我们可以看到一个好的预兆:.NET 终于开始动类型系统了。2008 年至今几乎没有变过的 CTS 显然逐渐不能适应语言发展的需要,而 .NET 团队也明确给出了信息表明要在 C# 11 前后对类型系统集中进行改进,现在只是一个开始,相信不久之后也将能看到 traits、union types、bottom types 和 HKT 等的实装。

https://mp.weixin.qq.com/s/3kNHgsg4Jth5BRLs1D-92w



Tags:C# 10   点击:()  评论:()
声明:本站部分内容及图片来自互联网,转载是出于传递更多信息之目的,内容观点仅代表作者本人,如有任何标注错误或版权侵犯请与我们联系(Email:2595517585@qq.com),我们将及时更正、删除,谢谢。
▌相关推荐
前言本来因为懒不想写这篇文章,但是不少人表示有兴趣,于是最后决定还是写一下。.NET 6 最近几个预览版一直都在开发体验(如 hot reload、linker 等)、平台支持(如 Android、iOS...【详细内容】
2021-06-07  Tags: C# 10  点击:(187)  评论:(0)  加入收藏
▌简易百科推荐
一、简介很多时候我们都需要用到一些验证的方法,有时候需要用正则表达式校验数据时,往往需要到网上找很久,结果找到的还不是很符合自己想要的。所以我把自己整理的校验帮助类分...【详细内容】
2021-12-27  中年农码工    Tags:C#   点击:(0)  评论:(0)  加入收藏
引言在学习C语言或者其他编程语言的时候,我们编写的一个程序代码,基本都是在屏幕上打印出 hello world ,开始步入编程世(深)界(坑)的。C 语言版本的 hello world 代码:#include <std...【详细内容】
2021-12-21  一起学嵌入式    Tags:C 语言   点击:(10)  评论:(0)  加入收藏
读取SQLite数据库,就是读取一个路径\\192.168.100.**\position\db.sqlite下的文件<startup useLegacyV2RuntimeActivationPolicy="true"> <supportedRuntime version="v4.0"/...【详细内容】
2021-12-16  今朝我的奋斗    Tags:c#   点击:(20)  评论:(0)  加入收藏
什么是shellshell是c语言编写的程序,它在用户和操作系统之间架起了一座桥梁,用户可以通过这个桥梁访问操作系统内核服务。 它既是一种命令语言,同时也是一种程序设计语言,你可以...【详细内容】
2021-12-16  梦回故里归来    Tags:shell脚本   点击:(16)  评论:(0)  加入收藏
一、编程语言1.根据熟悉的语言,谈谈两种语言的区别?主要浅谈下C/C++和PHP语言的区别:1)PHP弱类型语言,一种脚本语言,对数据的类型不要求过多,较多的应用于Web应用开发,现在好多互...【详细内容】
2021-12-15  linux上的码农    Tags:c/c++   点击:(17)  评论:(0)  加入收藏
1.字符串数组+初始化char s1[]="array"; //字符数组char s2[6]="array"; //数组长度=字符串长度+1,因为字符串末尾会自动添&lsquo;\0&lsquo;printf("%s,%c\n",s1,s2[2]);...【详细内容】
2021-12-08  灯-灯灯    Tags:C语言   点击:(46)  评论:(0)  加入收藏
函数调用约定(Calling Convention),是一个重要的基础概念,用来规定调用者和被调用者是如何传递参数的,既调用者如何将参数按照什么样的规范传递给被调用者。在参数传递中,有两个很...【详细内容】
2021-11-30  小智雅汇    Tags:函数   点击:(19)  评论:(0)  加入收藏
一、问题提出问题:把m个苹果放入n个盘子中,允许有的盘子为空,共有多少种方法?注:5,1,1和1 5 1属同一种方法m,n均小于10二、算法分析设f(m,n) 为m个苹果,n个盘子的放法数目,则先对...【详细内容】
2021-11-17  C语言编程    Tags:C语言   点击:(46)  评论:(0)  加入收藏
一、为什么需要使用内存池在C/C++中我们通常使用malloc,free或new,delete来动态分配内存。一方面,因为这些函数涉及到了系统调用,所以频繁的调用必然会导致程序性能的损耗;另一...【详细内容】
2021-11-17  深度Linux    Tags:C++   点击:(37)  评论:(0)  加入收藏
OpenCV(Open Source Computer Vision Library)是一个(开源免费)发行的跨平台计算机视觉库,可以运行在Linux、Windows、Android、ios等操作系统上,它轻量级而且高效---由一系列...【详细内容】
2021-11-11  zls315    Tags:C#   点击:(50)  评论:(0)  加入收藏
最新更新
栏目热门
栏目头条