C#中的9个“黑魔法”与“骚操作”

C#中的9个“黑魔法”

C#中的9个“黑魔法”与“骚操作”

我们知道C#是非常先进的语言，因为是它很有远见的“语法糖”。这些“语法糖”有时过于好用，导致有人觉得它是C#编译器写死的东西，没有道理可讲的——有点像“黑魔法”。

那么我们可以看看C#这些高级语言功能，是编译器写死的东西（“黑魔法”），还是可以扩展（骚操作）的“鸭子类型”。

我先列一个目录，大家可以对着这个目录试着下判断，说说是“黑魔法”（编译器写死），还是“鸭子类型”（可以自定义“骚操作”）：

  1. LINQ操作，与IEnumerable<T>类型；
  2. async/await，与Task/ValueTask类型；
  3. 表达式树，与Expression<T>类型；
  4. 插值字符串，与FormattableString类型；
  5. yield return，与IEnumerable<T>类型；
  6. foreach循环，与IEnumerable<T>类型；
  7. using关键字，与IDisposable接口；
  8. T?，与Nullable<T>类型；
  9. 任意类型的Index/Range泛型操作。

1. LINQ操作，与IEnumerable<T>类型

不是“黑魔法”，是“鸭子类型”。

LINQ是C# 3.0发布的新功能，可以非常便利地操作数据。现在12年过去了，虽然有些功能有待增强，但相比其它语言还是方便许多。

如我上一篇博客提到，LINQ不一定要基于IEnumerable<T>，只需定定义一个类型，实现所需要的LINQ表达式即可，LINQ的select关键字，会调用.Select方法，可以用如下的“骚操作”，实现“移花接木”的效果：

void Main()
{
    var query = 
        from i in new F()
        select 3;

    Console.WriteLine(string.Join(",", query)); // 0,1,2,3,4
}

class F
{
    public IEnumerable<int> Select<R>(Func<int, R> t)
    {
        for (var i = 0; i < 5; ++i)
        {
            yield return i;
        }
    }
}

2. async/await，与Task/ValueTask类型

不是“黑魔法”，是“鸭子类型”。

async/await发布于C# 5.0，可以非常便利地做异步编程，其本质是状态机。

async/await的本质是会寻找类型下一个名字叫GetAwaiter()的接口，该接口必须返回一个继承于INotifyCompletion或ICriticalNotifyCompletion的类，该类还需要实现GetResult()方法和IsComplete属性。

这一点在C#语言规范中有说明，调用await t本质会按如下顺序执行：

  1. 先调用t.GetAwaiter()方法，取得等待器a；
  2. 调用a.IsCompleted取得布尔类型b；
  3. 如果b=true，则立即执行a.GetResult()，取得运行结果；
  4. 如果b=false，则看情况：
    1. 如果a没实现ICriticalNotifyCompletion，则执行(a as INotifyCompletion).OnCompleted(action)
    2. 如果a实现了ICriticalNotifyCompletion，则执行(a as ICriticalNotifyCompletion).OnCompleted(action)
    3. 执行随后暂停，OnCompleted完成后重新回到状态机；

有兴趣的可以访问Github具体规范说明：https://github.com/dotnet/csharplang/blob/master/spec/expressions.md#runtime-evaluation-of-await-expressions

正常Task.Delay()是基于线程池计时器的，可以用如下“骚操作”，来实现一个单线程的TaskEx.Delay()：

static Action Tick = null;

void Main()
{
    Start();
    while (true)
    {
        if (Tick != null) Tick();
        Thread.Sleep(1);
    }
}

async void Start()
{
    Console.WriteLine("执行开始");
    for (int i = 1; i <= 4; ++i)
    {
        Console.WriteLine($"第{i}次，时间：{DateTime.Now.ToString("HH:mm:ss")} - 线程号：{Thread.CurrentThread.ManagedThreadId}");
        await TaskEx.Delay(1000);
    }
    Console.WriteLine("执行完成");
}

class TaskEx
{
    public static MyDelay Delay(int ms) => new MyDelay(ms);
}

class MyDelay : INotifyCompletion
{
    private readonly double _start;
    private readonly int _ms;

    public MyDelay(int ms)
    {
        _start = Util.ElapsedTime.TotalMilliseconds;
        _ms = ms;
    }

    internal MyDelay GetAwaiter() => this;

    public void OnCompleted(Action continuation)
    {
        Tick += Check;

        void Check()
        {
            if (Util.ElapsedTime.TotalMilliseconds - _start > _ms)
            {
                continuation();
                Tick -= Check;
            }
        }
    }

    public void GetResult() {}

    public bool IsCompleted => false;
}

运行效果如下：

执行开始
第1次，时间：17:38:03 - 线程号：1
第2次，时间：17:38:04 - 线程号：1
第3次，时间：17:38:05 - 线程号：1
第4次，时间：17:38:06 - 线程号：1
执行完成

注意不需要非得使用TaskCompletionSource<T>才能创建定定义的async/await。

3. 表达式树，与Expression<T>类型

是“黑魔法”，没有“操作空间”，只有当类型是Expression<T>时，才会创建为表达式树。

表达式树是C# 3.0随着LINQ一起发布，是有远见的“黑魔法”。

如以下代码：

Expression<Func<int>> g3 = () => 3;

会被编译器翻译为：

Expression<Func<int>> g3 = Expression.Lambda<Func<int>>(
    Expression.Constant(3, typeof(int)), 
    Array.Empty<ParameterExpression>());

4. 插值字符串，与FormattableString类型

是“黑魔法”，没有“操作空间”。

插值字符串发布于C# 6.0，在此之前许多语言都提供了类似的功能。

只有当类型是FormattableString，才会产生不一样的编译结果，如以下代码：

FormattableString x1 = $"Hello {42}";
string x2 = $"Hello {42}";

编译器生成结果如下：

FormattableString x1 = FormattableStringFactory.Create("Hello {0}", 42);
string x2 = string.Format("Hello {0}", 42);

注意其本质是调用了FormattableStringFactory.Create来创建一个类型。

5. yield return，与IEnumerable<T>类型；

是“黑魔法”，但有补充说明。

yield return除了用于IEnumerable<T>以外，还可以用于IEnumerable、IEnumerator<T>、IEnumerator。

因此，如果想用C#来模拟C++/Java的generator<T>的行为，会比较简单：

var seq = GetNumbers();
seq.MoveNext();
Console.WriteLine(seq.Current); // 0
seq.MoveNext();
Console.WriteLine(seq.Current); // 1
seq.MoveNext();
Console.WriteLine(seq.Current); // 2
seq.MoveNext();
Console.WriteLine(seq.Current); // 3
seq.MoveNext();
Console.WriteLine(seq.Current); // 4

IEnumerator<int> GetNumbers()
{
    for (var i = 0; i < 5; ++i)
        yield return i;
}

yield return——“迭代器”发布于C# 2.0。

6. foreach循环，与IEnumerable<T>类型

是“鸭子类型”，有“操作空间”。

foreach不一定非要配合使用IEnumerable<T>类型，只要对象存在GetEnumerator()方法即可：

void Main()
{
    foreach (var i in new F())
    {
        Console.Write(i + ", "); // 1, 2, 3, 4, 5, 
    }
}

class F
{
    public IEnumerator<int> GetEnumerator()
    {
        for (var i = 0; i < 5; ++i)
        {
            yield return i;
        }
    }
}

另外，如果对象实现了GetAsyncEnumerator()，甚至也可以一样使用await foreach异步循环：

async Task Main()
{
    await foreach (var i in new F())
    {
        Console.Write(i + ", "); // 1, 2, 3, 4, 5, 
    }
}

class F
{
    public async IAsyncEnumerator<int> GetAsyncEnumerator()
    {
        for (var i = 0; i < 5; ++i)
        {
            await Task.Delay(1);
            yield return i;
        }
    }
}

await foreach是C# 8.0随着异步流一起发布的，具体可见我之前写的《代码演示C#各版本新功能》。

7. using关键字，与IDisposable接口

是，也不是。

引用类型和正常的值类型用using关键字，必须基于IDisposable接口。

但ref struct和IAsyncDisposable就是另一个故事了，由于ref struct不允许随便移动，而引用类型——托管堆，会允许内存移动，所以ref struct不允许和引用类型产生任何关系，这个关系就包含继承接口——因为接口也是引用类型。

但释放资源的需求依然存在，怎么办，“鸭子类型”来了，可以手写一个Dispose()方法，不需要继承任何接口：

void S1Demo()
{
    using S1 s1 = new S1();
}

ref struct S1
{
    public void Dispose()
    {
        Console.WriteLine("正常释放");
    }
}

同样的道理，如果用IAsyncDisposable接口：

async Task S2Demo()
{
    await using S2 s2 = new S2();
}

struct S2 : IAsyncDisposable
{
    public async ValueTask DisposeAsync()
    {
        await Task.Delay(1);
        Console.WriteLine("Async释放");
    }
}

8. T?，与Nullable<T>类型

是“黑魔法”，只有Nullable<T>才能接受T?，Nullable<T>作为一个值类型，它还能直接接受null值（正常值类型不允许接受null值）。

示例代码如下：

int? t1 = null;
Nullable<int> t2 = null;
int t3 = null; // Error CS0037: Cannot convert null to 'int' because it is a non-nullable value type

生成代码如下（int?与Nullable<int>完全一样，跳过了编译失败的代码）：

IL_0000: nop
IL_0001: ldloca.s 0
IL_0003: initobj valuetype [System.Runtime]System.Nullable`1<int32>
IL_0009: ldloca.s 1
IL_000b: initobj valuetype [System.Runtime]System.Nullable`1<int32>
IL_0011: ret

9. 任意类型的Index/Range泛型操作

有“黑魔法”，也有“鸭子类型”——存在操作空间。

Index/Range发布于C# 8.0，可以像Python那样方便地操作索引位置、取出对应值。以前需要调用Substring等复杂操作的，现在非常简单。

string url = "https://www.super-cool.com/product/7705a33a-4d2c-455d-a42c-c95e6ac8ee99/summary";
string productId = url[35..url.LastIndexOf("/")];
Console.WriteLine(productId);

生成代码如下：

string url = "https://www.super-cool.com/product/7705a33a-4d2c-455d-a42c-c95e6ac8ee99/amd-r7-3800x";
int num = 35;
int length = url.LastIndexOf("/") - num;
string productId = url.Substring(num, length);
Console.WriteLine(productId); // 7705a33a-4d2c-455d-a42c-c95e6ac8ee99

可见，C#编译器忽略了Index/Range，直接翻译为调用Substring了。

但数组又不同：

var range = new[] { 1, 2, 3, 4, 5 }[1..3];
Console.WriteLine(string.Join(", ", range)); // 2, 3

生成代码如下：

int[] range = RuntimeHelpers.GetSubArray<int>(new int[5]
{
    1,
    2,
    3,
    4,
    5
}, new Range(1, 3));
Console.WriteLine(string.Join<int>(", ", range));

可见它确实创建了Range类型，然后调用了RuntimeHelpers.GetSubArray<int>，完全属于“黑魔法”。

但它同时也是“鸭子”类型，只要代码中实现了Length属性和Slice(int, int)方法，即可调用Index/Range：

var range2 = new F()[2..];
Console.WriteLine(range2); // 2 -> -2

class F
{
    public int Length { get; set; }
    public IEnumerable<int> Slice(int start, int end)
    {
        yield return start;
        yield return end;
    }
}

生成代码如下：

F f = new F();
int length2 = f.Length;
length = 2;
num = length2 - length;
string range2 = f.Slice(length, num);
Console.WriteLine(range2);

总结

如上所见，C#的“黑魔法”确实挺多，但“鸭子类型”也有很多，“骚操作”的“操作空间”很大。

©著作权归作者所有,转载或内容合作请联系作者
  • 人面猴
    序言：七十年代末，一起剥皮案震惊了整个滨河市，随后出现的几起案子，更是在滨河造成了极大的恐慌，老刑警刘岩，带你破解...
    沈念sama阅读 213,558评论 6赞 492
  • 死咒
    序言：滨河连续发生了三起死亡事件，死亡现场离奇诡异，居然都是意外死亡，警方通过查阅死者的电脑和手机，发现死者居然都...
    沈念sama阅读 91,002评论 3赞 387
  • 救了他两次的神仙让他今天三更去死
    文/潘晓璐 我一进店门，熙熙楼的掌柜王于贵愁眉苦脸地迎上来，“玉大人，你说我怎么就摊上这事。” “怎么了？”我有些...
    开封第一讲书人阅读 159,036评论 0赞 349
  • 道士缉凶录：失踪的卖姜人
    文/不坏的土叔 我叫张陵，是天一观的道长。 经常有香客问我，道长，这世上最难降的妖魔是什么？ 我笑而不...
    开封第一讲书人阅读 57,024评论 1赞 285
  • 港岛之恋（遗憾婚礼）
    正文 为了忘掉前任，我火速办了婚礼，结果婚礼上，老公的妹妹穿的比我还像新娘。我一直安慰自己，他们只是感情好，可当我...
    茶点故事阅读 66,144评论 6赞 385
  • 恶毒庶女顶嫁案：这布局不是一般人想出来的
    文/花漫 我一把揭开白布。 她就那样静静地躺着，像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上，一...
    开封第一讲书人阅读 50,255评论 1赞 292
  • 城市分裂传说
    那天，我揣着相机与录音，去河边找鬼。 笑死，一个胖子当着我的面吹牛，可吹牛的内容都是我干的。 我是一名探鬼主播，决...
    沈念sama阅读 39,295评论 3赞 412
  • 双鸳鸯连环套：你想象不到人心有多黑
    文/苍兰香墨 我猛地睁开眼，长吁一口气：“原来是场噩梦啊……” “哼！你这毒妇竟也来了？” 一声冷哼从身侧响起，我...
    开封第一讲书人阅读 38,068评论 0赞 268
  • 万荣杀人案实录
    序言：老挝万荣一对情侣失踪，失踪者是张志新（化名）和其女友刘颖，没想到半个月后，有当地人在树林里发现了一具尸体，经...
    沈念sama阅读 44,478评论 1赞 305
  • 护林员之死
    正文 独居荒郊野岭守林人离奇死亡，尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,789评论 2赞 327
  • 白月光启示录
    正文 我和宋清朗相恋三年，在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,965评论 1赞 341
  • 活死人
    序言：一个原本活蹦乱跳的男人离奇死亡，死状恐怖，灵堂内的尸体忽然破棺而出，到底是诈尸还是另有隐情，我是刑警宁泽，带...
    沈念sama阅读 34,649评论 4赞 336
  • 日本核电站爆炸内幕
    正文 年R本政府宣布，位于F岛的核电站，受9级特大地震影响，放射性物质发生泄漏。R本人自食恶果不足惜，却给世界环境...
    茶点故事阅读 40,267评论 3赞 318
  • 男人毒药：我在死后第九天来索命
    文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹，春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,982评论 0赞 21
  • 一桩弑父案，背后竟有这般阴谋
    文/苍兰香墨 我抬头看了看天上的太阳。三九已至，却和暖如春，着一层夹袄步出监牢的瞬间，已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,223评论 1赞 267
  • 情欲美人皮
    我被黑心中介骗来泰国打工， 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留，地道东北人。 一个月前我还...
    沈念sama阅读 46,800评论 2赞 365
  • 代替公主和亲
    正文 我出身青楼，却偏偏与公主长得像，于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子，可洞房花烛夜当晚...
    茶点故事阅读 43,847评论 2赞 351