先略看题目:
1 请简述async函数的编译方式
2 请简述Task状态机的实现和工作机制
3 请简述await的作用和原理,并说明和GetResult()有什么区别
4 Task和Thread有区别吗?如果有请简述区别
5 简述yield的作用
6 利用IEnumerable<T>实现斐波那契数列生成
7 简述stackless coroutine和stackful coroutine的区别,并指出C#的coroutine是哪一种
8 请简述SelectMany的作用
9 请实现一个函数Compose用于将多个函数复合
10 实现Maybe<T> monad,并利用LINQ实现对Nothing(空值)和Just(有值)的求和
11 简述LINQ的lazy computation机制
12 利用SelectMany实现两个数组中元素的两两相加
13 请为三元函数实现柯里化
14 请简述ref struct的作用
15 请简述ref return的使用方法
16 请利用foreach和ref为一个数组中的每个元素加1
17 请简述ref、out和in在用作函数参数修饰符时的区别
18 请简述非sealed类的IDisposable实现方法
19 delegate和event本质是什么?请简述他们的实现机制
没错,这是一位来自【广州.NET技术俱乐部】微信群的偏Programming Languages(编程语言开发科学)的大佬,本文我将斗胆回答一下这些题目😂。
由于这些题目(对我来说)比较难,因此我这次只斗胆回答前10道题,发作上篇,另外一半的题目再等我慢慢查阅资料,另行回答😂。
1. 请简述async函数的编译方式
async/await是C# 5.0推出的异步代码编程模型,其本质是编译为状态机。只要函数前带上async,就会将函数转换为状态机。
2. 请简述Task状态机的实现和工作机制
CPS全称是Continuation Passing Style,在.NET中,它会自动编译为:
(1)将所有引用的局部变量做成闭包,放到一个隐藏的状态机的类中;
(2)将所有的await展开成一个状态号,有几个await就有几个状态号;
(3)每次执行完一个状态,都重复回调状态机的MoveNext方法,同时指定下一个状态号;
(4)MoveNext方法还需处理线程和异常等问题。
3. 请简述await的作用和原理,并说明和GetResult()有什么区别
从状态机的角度出发,await的本质是调用Task.GetAwaiter()的UnsafeOnCompleted(Action)回调,并指定下一个状态号。
从多线程的角度出发,如果await的Task需要在新的线程上执行,该状态机的MoveNext()方法会立即返回,此时,主线程被释放出来了,然后在UnsafeOnCompleted回调的action指定的线程上下文中继续MoveNext()和下一个状态的代码。
而相比之下,GetResult()就是在当前线程上立即等待Task的完成,在Task完成前,当前线程不会释放。
注意:Task也可能不一定在新的线程上执行,此时用GetResult()或者await就只有会不会创建状态机的区别了。
4. Task和Thread有区别吗?如果有请简述区别
Task和Thread都能创建用多线程的方式执行代码,但它们有较大的区别。
Task较新,发布于.NET 4.5,能结合新的async/await代码模型写代码,它不止能创建新线程,还能使用线程池(默认)、单线程等方式编程,在UI编程领域,Task还能自动返回UI线程上下文,还提供了许多便利API以管理多个Task,用表格总结如下:
区别 | Task | Thread |
.net版本 | 4.5 | 1.1 |
async/await | 支持 | 不支持 |
创建新线程 | 支持 | 支持 |
线程池/单线程 | 支持 | 不支持 |
返回主线程 | 支持 | 不支持 |
管理API | 支持 | 不支持 |