C# 中竟然也有切片語法糖，太厲害了

一：背景

1. 講故事

昨天在 github 上準備找找 C# 9 又有哪些新語法糖能夠試用，不覺在一個文檔上看到一個很奇怪的寫法: foreach (var item in myArray[0..5]) 哈哈，熟悉又陌生，玩過python的朋友對這個 [0..5] 太熟悉不過了，竟然在 C# 中也遇到了，開心哈，看了下是 C# 8 的新語法，諷刺諷刺，8 都沒玩熟就搞 9 了，個人探索欲比較強，總想看看這玩意底層是由什麼支撐的。

二：.. 語法糖的用法

從前面介紹的 myArray[0..5] 語義上也能看出，這是一個切分array的操做，那到底有幾種切分方式呢？ 下面一個一個來介紹，爲了方便演示，我先定義一個數組，代碼以下：

var myarr = new string[] { "10", "20", "30", "40", "50", "60", "70", "80", "90", "100" };

1. 提取 arr 前3個元素

若是用 linq 的話，能夠用 Take(3)，用切片操做的話就是 [0..3]， 代碼以下：

static void Main(string[] args)
        {
            var myarr = new string[] { "10", "20", "30", "40", "50", "60", "70", "80", "90", "100" };

            //1. 獲取數組 前3個元素
            var query1 = myarr[0..3];

            var query2 = myarr.Take(3).ToList();

            Console.WriteLine($"query1={string.Join(",", query1)}");
            Console.WriteLine($"query2={string.Join(",", query2)}");
        }

2. 提取 arr 最後三個元素

這個怎麼提取呢？在 python 中直接用 -3 表示就能夠了，在C# 中須要用 ^ 來表示從末尾開始，代碼以下：

static void Main(string[] args)
        {
            var myarr = new string[] { "10", "20", "30", "40", "50", "60", "70", "80", "90", "100" };

            //1. 獲取數組 最後3個元素
            var query1 = myarr[^3..];

            var query2 = myarr.Skip(myarr.Length - 3).ToList();

            Console.WriteLine($"query1={string.Join(",", query1)}");
            Console.WriteLine($"query2={string.Join(",", query2)}");
        }

3. 提取 array 中index = 4，5，6 的三個位置元素

用 linq 的話，就須要使用 Skip + Take 雙組合，若是用切片操做的話就太簡單了。。。

static void Main(string[] args)
        {
            var myarr = new string[] { "10", "20", "30", "40", "50", "60", "70", "80", "90", "100" };

            //1. 獲取數組 中 index=4,5,6 三個位置的元素
            var query1 = myarr[4..7];

            var query2 = myarr.Skip(4).Take(3).ToList();

            Console.WriteLine($"query1={string.Join(",", query1)}");
            Console.WriteLine($"query2={string.Join(",", query2)}");
        }

從上面的切割區間 [4..7] 的輸出結果來看，這是一個 左閉右開 的區間，因此要特別注意一下。

4. 獲取 array 中倒數第三和第二個元素

從要求上來看就是獲取元素 80 和 90，若是你理解了前面的兩個用法，我相信這個你會很快的寫出來，代碼以下：

static void Main(string[] args)
        {
            var myarr = new string[] { "10", "20", "30", "40", "50", "60", "70", "80", "90", "100" };

            //1. 獲取 array 中倒數第三和第二個元素
            var query1 = myarr[^3..^1];

            var query2 = myarr.Skip(myarr.Length - 3).Take(2).ToList();

            Console.WriteLine($"query1={string.Join(",", query1)}");
            Console.WriteLine($"query2={string.Join(",", query2)}");
        }

三. 探究原理

經過前面 4 個例子，我想你們都知道怎麼玩了，接下來就是看看到底內部是用什麼作支撐的，這裏使用 DnSpy 去挖挖看。

1. 從 myarr[0..3] 看起

用 dnspy 反編譯代碼以下：

//編譯前
    var query1 = myarr[0..3];

    //編譯後：
	string[] query = RuntimeHelpers.GetSubArray<string>(myarr, new Range(0, 3));

從編譯後的代碼能夠看出，原來獲取切片的 array 是調用 RuntimeHelpers.GetSubArray 獲得了，而後我簡化一下這個方法，代碼以下：

public static T[] GetSubArray<[Nullable(2)] T>(T[] array, Range range)
        {
            ValueTuple<int, int> offsetAndLength = range.GetOffsetAndLength(array.Length);
            int item = offsetAndLength.Item1;
            int item2 = offsetAndLength.Item2;
            T[] array3 = new T[item2];
            Buffer.Memmove<T>(Unsafe.As<byte, T>(array3.GetRawSzArrayData()), Unsafe.Add<T>(Unsafe.As<byte, T>(array.GetRawSzArrayData()), item), (ulong)item2);
            return array3;
        }

從上面代碼能夠看到，最後的 子array 是由 Buffer.Memmove 完成的，可是給 子array 的切割位置是由 GetOffsetAndLength 方法實現，繼續追一下代碼：

public readonly struct Range : IEquatable<Range>
    {   
        public Index Start { get; }
        public Index End { get; }

		public Range(Index start, Index end)
		{
			this.Start = start;
			this.End = end;
		}

        public ValueTuple<int, int> GetOffsetAndLength(int length)
        {
            Index start = this.Start;
            int num;
            if (start.IsFromEnd)
            {
                num = length - start.Value;
            }
            else
            {
                num = start.Value;
            }
            Index end = this.End;
            int num2;
            if (end.IsFromEnd)
            {
                num2 = length - end.Value;
            }
            else
            {
                num2 = end.Value;
            }
            return new ValueTuple<int, int>(num, num2 - num);
        }
    }

看完上面的代碼，你可能有兩點疑惑：

1) start.IsFromEnd 和 end.IsFromEnd 是什麼意思。

其實看完上面代碼邏輯，你就明白了，IsFromEnd 表示起始點是從左開始仍是從右邊開始，就這麼簡單。

2) 我並無看到 start.IsFromEnd 和 end.IsFromEnd 是怎麼賦上值的。

在 Index 類的構造函數中，取決於上一層怎麼去 new Index 的時候塞入的 true 或者 false，以下代碼：

這個例子的流程大概是： new Range(1,3) -> operator Index(int value) -> FromStart(value) -> new Index(value) ，能夠看到最後在 new 的時候並無對可選參數賦值。

2. 探究 myarr[^3..]

剛纔的例子是沒有對可選參數賦值，那看看本例是否是 new Index 的時候賦值了?

//編譯前：
var query1 = myarr[^3..];

//編譯後：
string[] query = RuntimeHelpers.GetSubArray<string>(myarr, Range.StartAt(new Index(3, true)));

看到沒有，這一次 new Index 的時候，給了 IsFromEnd = true , 表示從末尾開始計算，你們再結合剛纔的 GetOffsetAndLength 方法，我想這邏輯你應該理順了吧。

四：總結

總的來講這個切片操做太實用了，做用於 arr 能夠大幅度減小對 skip & take 的使用，做用於 string 也能夠大幅減小 SubString 的使用，如："12345"[1..3] -> "12345".Substring(1, 2)，嘿嘿，厲害了吧！ 仍是C# 大法🐂👃

更多高質量乾貨：參見個人 GitHub: dotnetfly