C#9.0 終於來了，您還學的動嗎？帶上VS一起解讀吧！

-Advertisement-

一：背景 1. 講故事好消息，.NET 5.0 終於在2020年6月10日發佈了第五個預覽版，眼尖的同學一定看到了在這個版本中終於支持了 C# 9.0，此處有掌聲，太好了！！！ .Net5官方鏈接可以看到目前的C#9還是預覽版，實現了一部分新語法供開發者提前嘗鮮，從github的roslyn倉庫 ...

一：背景

1. 講故事

好消息，.NET 5.0 終於在2020年6月10日發佈了第五個預覽版，眼尖的同學一定看到了在這個版本中終於支持了 C# 9.0，此處有掌聲，太好了！！！

.Net5官方鏈接

可以看到目前的C#9還是預覽版，實現了一部分新語法供開發者提前嘗鮮，從github的roslyn倉庫上可以看到目前準備實現 17個新特性，現階段已經實現了8個，其中的 In Progress 表示正在開發中。

新特性預覽

2. 安裝必備

下載最新的net5 sdk吧： dotnet-sdk-5.0.100-preview.5.20279.10-win-x64.exe
下載最新的 visual studio 2019 preview 2

找好你自己的vs版本類型哦。。。

二：新特性研究

1. Target-typed new

這個取名一定要留給學易經的大師傅，沒見過世面的我不敢造次，取得不佳影響時運，所謂 運去金成鐵, 時來鐵似金 ，不過大概意思就是說直接new你定義的局部變數的類型，用issues中總結的話就是：


Summary: Allow Point p = new (x, y);
Shipped in preview in 16.7p1.

接下來就是全部代碼，看看使用前 和 使用後 的具體差別。


    class Program
    {
        static void Main(string[] args)
        {
            //老語法
            var person = new Person("mary", "123456");

            //新語法
            Person person2 = new("mary", "123456");

            Console.WriteLine($"person={person}person2={person2}");
        }
    }

    public class Person
    {
        private string username;
        private string password;

        public Person(string username, string password)
        {
            this.username = username;
            this.password = password;
        }

        public override string ToString()
        {
            return $"username={username},password={password} \n";
        }
    }

然後用ilspy去看看下麵的il代碼，是不是省略了Person，讓自己心裡踏實一點。

總的來說這語法還行吧，能起到延長鍵盤使用壽命的功效。

2. Lambda discard parameters

從字面上看大概就是說可以在lambda上使用取消參數，聽起來怪怪的，那本意是什麼呢？有時候lambda上的匿名方法簽名的參數是不需要的，但在以前必須實打實的定義，這樣就會污染方法體，也就是可以在body中被訪問，如下圖：

但有時候因為客觀原因必須使用Func<int,int,int>這樣的委托，而且還不想讓方法簽名的參數污染方法體，我猜測在函數式編程中有這樣的場景吧，可能有點類似MVC中的EmptyResult效果。

好了，我想你大概知道啥意思了，接下來實操一把。。。


    Func<int, int, int> func = (_, _) =>
    {
        return 0;
    };

    var result = func(10, 20);

從圖中可以看到，我在方法體中是找不到所謂的 _ 變數的，這就神奇了，怎麼做到的呢？帶著這個好奇心看看它的IL代碼是個什麼樣子。


.method private hidebysig static 
	void Main (
		string[] args
	) cil managed 
{
	// Method begins at RVA 0x2048
	// Code size 45 (0x2d)
	.maxstack 3
	.entrypoint
	.locals init (
		[0] class [System.Runtime]System.Func`3<int32, int32, int32> func,
		[1] int32 result
	)

	IL_0000: nop
	IL_0001: ldsfld class [System.Runtime]System.Func`3<int32, int32, int32> ConsoleApp1.Program/'<>c'::'<>9__0_0'
	IL_0006: dup
	IL_0007: brtrue.s IL_0020

	IL_0009: pop
	IL_000a: ldsfld class ConsoleApp1.Program/'<>c' ConsoleApp1.Program/'<>c'::'<>9'
	IL_000f: ldftn instance int32 ConsoleApp1.Program/'<>c'::'<Main>b__0_0'(int32, int32)
	IL_0015: newobj instance void class [System.Runtime]System.Func`3<int32, int32, int32>::.ctor(object, native int)
	IL_001a: dup
	IL_001b: stsfld class [System.Runtime]System.Func`3<int32, int32, int32> ConsoleApp1.Program/'<>c'::'<>9__0_0'

	IL_0020: stloc.0
	IL_0021: ldloc.0
	IL_0022: ldc.i4.s 10
	IL_0024: ldc.i4.s 20
	IL_0026: callvirt instance !2 class [System.Runtime]System.Func`3<int32, int32, int32>::Invoke(!0, !1)
	IL_002b: stloc.1
	IL_002c: ret
} // end of method Program::Main

從上面的IL代碼來看匿名方法變成了<>c類的<Main>b__0_0方法,完整簽名： ConsoleApp1.Program/'<>c'::'<Main>b__0_0'(int32, int32)，然後再找一下 <Main>b__0_0 方法的定義。


.class nested private auto ansi sealed serializable beforefieldinit '<>c'
	extends [System.Runtime]System.Object
	.method assembly hidebysig 
		instance int32 '<Main>b__0_0' (
			int32 _,
			int32 _
		) cil managed 
	{
		// Method begins at RVA 0x2100
		// Code size 7 (0x7)
		.maxstack 1
		.locals init (
			[0] int32
		)

		IL_0000: nop
		IL_0001: ldc.i4.0
		IL_0002: stloc.0
		IL_0003: br.s IL_0005

		IL_0005: ldloc.0
		IL_0006: ret
	} // end of method '<>c'::'<Main>b__0_0'

這說明什麼呢？說明兩個參數是真實存在的，但編譯器搗了鬼，做了語法上的限制，不讓你訪問所謂的 _。

等等。。。有一個問題，IL中的方法簽名怎麼是這樣的： <Main>b__0_0 (int32 _,int32 _) , 大家應該知道方法簽名中不可以出現重覆的參數名，比如下麵這樣定義肯定是報錯的。

這說明什麼？說明這個語法糖不僅需要編譯器支持，更需要底層的JIT支持，那怎麼證明呢？我們用windbg去底層挖一挖。。。為了方便調試,修改如下：


        static void Main(string[] args)
        {
            Func<int, int, int> func = (_, _) =>
            {
                Console.WriteLine("進入方法體了！！！");
                Console.ReadLine();
                return 0;
            };

            var result = func(10, 20);
        }

0:000> !clrstack -p
OS Thread Id: 0x52e8 (0)
0000007035F7E5C0 00007ffaff362655 ConsoleApp1.Program+c.b__0_0(Int32, Int32) [C:\5\ConsoleApp1\ConsoleApp1\Program.cs @ 13]
    PARAMETERS:
        this (0x0000007035F7E600) = 0x000001968000cb48
        _ (0x0000007035F7E608) = 0x000000000000000a
        _ (0x0000007035F7E610) = 0x0000000000000014

從圖中可以看到，雖然都是 _ ,但線上程棧上是完完全全的兩個棧地址。 0x0000007035F7E608 和 0x0000007035F7E610。

三：總結

總的來說，C#是越來越像函數式編程靠攏，越來越像Scala，就像Jquery的口號一樣： Write less，do more。

好了，先就說這兩個吧，大家先安裝好工具，明天繼續解剖~~~

如您有更多問題與我互動，掃描下方進來吧~

您的分享是我們最大的動力!