Extending the asynce methods in CSharp(译)
首先要搞清楚, 为什么要实现我们自己的异步, 我们可以使用Task来完成我们的异步操作, 我们将需要异步的操作用Task包装, Task(Awaiter)何时结束、如何调度都是TaskScheduler做的, 我们没有太多权限干预 我们能做的只是告诉Task 等你的任务完成之后 你需要调用stateMachiner的MoveNext方法, 如果我要实现自己的类似ETTask的功能, 我希望我能自己决定如何调度这些ETTask, 要不然实现自己的ETTask的意义就没有了. C#中异步操作到这里就已经揭示地比较清楚了, 只是Task的调度目前对我们来说还是黑盒, 最好它也只是黑盒
因此, 在笔者看来, 要实现自己的异步, 就是要实现如何调度这些异步操作, 即我们要实现TaskScheduler的功能.
我们使用Task包装一些操作, 这些操作可能是ComputeBound
类型或者IOBound
类型, 也可能只是一个延时Task.Delay
操作, 甚至可能就是一个简单的同步方法. 不论是什么操作, 你只要将该操作使用Task包装, 并且调用了该Task, 那么你就可以通过获取Task.GetAwaiter()
接口获取到该Task的Awaiter, 然后通过调用Awaiter.IsComplete来判断包装进该Task的操作有没有完成.
我们希望的是Task可以被await, 那么Task中就要有一个GetAwaiter()
方法
那么task的GetAwaiter方法返回回来的是一个TaskAwaiter类型
所以是TaskAwaiter类型实现了INotifyCompletion接口、 且TaskAwaiter中有bool IsComplete {get;}
属性和T GetResult()
方法
1 | public static async Task Foo() |
其中() => 42 的含义
():表示一个没有参数的匿名方法(类似无参函数)。
=>:Lambda 运算符,分隔参数和方法体。
42:方法的返回值(此处直接返回常量值 42)。
Lazy
Func
因此,代码可以简化为 Lambda 形式,而不需要显式定义一个单独的方法。
在之前的博客文章中,我们讨论了C#编译器如何转换异步方法。本文将重点介绍C#编译器提供的扩展点,用于自定义异步方法的行为。
有三种方式可以控制异步方法的运行机制:
- 在System.Runtime.CompilerServices命名空间中提供自定义的异步方法生成器
- 使用自定义任务等待器
- 定义自己的类任务类型
System.Runtime.CompilerServices命名空间中的自定义类型
正如我们在上一篇文章中所了解的,C#编译器将异步方法转换为一个生成的状态机,该状态机依赖于一些预定义类型。但C#编译器并不要求这些已知类型必须来自特定程序集。例如,您可以在项目中提供自己的AsyncVoidMethodBuilder实现,C#编译器会将异步机制”绑定”到您的自定义类型。
这是探索底层转换原理和了解运行时情况的绝佳方式:
必须要注意, 这种方式你必须将你的builder定义在System.Runtime.CompilerServices
命名空间下
1 | namespace System.Runtime.CompilerServices |
现在, 你项目中所有的异步方法都会使用这个自定义版本的AsyncVoidMethodBuilder
. 我们可以用下面的异步方法简单测试一下:1
2
3
4
5
6
7
8public void RunAsyncVoid()
{
Console.WriteLine("Before VoidAsync");
VoidAsync();
Console.WriteLine("After VoidAsync");
async void VoidAsync() { }
}
输出结果是:1
2
3
4
5Before VoidAsync
.ctor
Start
SetResult
After VoidAsync
您可以实现 UnsafeAwaitOnComplete 方法来测试带有 await 子句的异步方法在返回未完成任务时的行为。完整示例可以在 GitHub 上找到。
要修改 async Task 和 async Task
Custom awaiters
前面的示例属于”黑客手段”,并不适合生产环境。虽然我们可以通过这种方式学习异步机制,但您肯定不希望在自己的代码库中看到这样的代码。C# 语言设计者在编译器中内置了正确的扩展点,允许在异步方法中”await”不同的类型。
要使某个类型成为”可等待的”(即可以在 await 表达式中使用),该类型需要遵循特定模式:
编译器必须能够找到一个名为 GetAwaiter 的实例方法或扩展方法。该方法的返回类型需要满足以下要求:
- 必须实现 INotifyCompletion 接口
- 必须包含 bool IsCompleted {get;} 属性
- 必须提供 T GetResult() 方法
这意味着我们可以轻易的将Lazy<T>
变得awaitable:1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20public struct LazyAwaiter<T> : INotifyCompletion
{
private readonly Lazy<T> _lazy;
public LazyAwaiter(Lazy<T> lazy) => _lazy = lazy;
public T GetResult() => _lazy.Value;
public bool IsCompleted => true;
public void OnCompleted(Action continuation) { }
}
public static class LazyAwaiterExtensions
{
public static LazyAwaiter<T> GetAwaiter<T>(this Lazy<T> lazy)
{
return new LazyAwaiter<T>(lazy);
}
}
1 | public static async Task Foo() |
这个示例可能看起来有些刻意,但这种扩展机制实际上非常实用,并且已被广泛应用。例如:
.NET 的 Reactive Extensions 就提供了自定义等待器,允许在异步方法中等待 IObservable
基础类库(BCL)本身也包含多个实现:
YieldAwaitable(由 Task.Yield 使用)
HopToThreadPoolAwaitable
1 | public struct HopToThreadPoolAwaitable : INotifyCompletion |
以下单元测试展示了最后一个等待器的实际应用:
1 | [ ] |
任何异步方法的第一部分(在首个 await 语句之前)都会同步执行。在大多数情况下,这种机制非常适合用于立即进行参数验证,但有时我们需要确保方法体不会阻塞调用者线程。HopToThreadPoolAwaitable 的作用就是确保方法的剩余部分在线程池线程而非调用者线程中执行。
Task-Like Types
自定义等待器(custom awaiters)从支持 async/await 的编译器最初版本(即 C# 5)就已存在。这种扩展机制虽然很有用,但存在限制——所有异步方法都必须返回 void、Task 或 Task
类任务类型是指具有关联构建器类型的类或结构体,该构建器类型通过 AsyncMethodBuilderAttribute(**) 标识。要使类任务类型真正有用,它必须满足前一节描述的”可等待”条件。本质上,类任务类型整合了前文所述的两种扩展机制,并将第一种方式转化为官方支持方案。
以下是一个定义为结构体的自定义类任务类型简单示例:
1 | public sealed class TaskLikeMethodBuilder |
现在,我们可以定义返回类任务类型(TaskLike)的方法,甚至可以在方法体内使用不同的类任务类型:
1 | public async TaskLike FooAsync() |
引入类任务类型(task-like types)的主要目的是减少异步操作的开销。每个返回 Task
异步模式扩展基础
C# 编译器为扩展异步方法提供了多种方式:
- 修改现有基于 Task 的异步方法, 通过提供自定义的 AsyncTaskMethodBuilder 类型实现来改变行为
- 实现”可等待模式”, 通过实现 “awaitable pattern” 使类型支持 await 操作
- 构建自定义类任务类型(C# 7+), 从 C# 7 开始支持创建自己的类任务类型
扩展阅读
下一篇博客, 我们将探讨异步方法的性能特征,并分析新型值类型 System.ValueTask 如何影响性能表现。
学以致用
将Unity异步操作类型变得可以await
笔者今天找到的应用场景: 在Unity中, 如果你在Editor模式下执行某些异步操作, 你是没有办法通过MonoBehaviour开启协程来驱动异步操作的, 当然有一些奇技淫巧, 比如I2那个多语言插件, 笔者记得好像是通过在场景中创建一个挂在了其异步操作的MonoBehaviour的节点, 在那个节点上执行异步操作, 但是笔者觉得还是不太优雅, 需要Unity协程驱动的异步操作变成可以被Task await的操作.
代码如下:1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119public struct UnityWebRequestAsyncOperationAwaiter : ICriticalNotifyCompletion
{
private readonly UnityWebRequestAsyncOperation _asyncOperation;
public UnityWebRequestAsyncOperationAwaiter(UnityWebRequestAsyncOperation asyncOperation)
{
_asyncOperation = asyncOperation;
}
public void OnCompleted(Action continuation)
{
_asyncOperation.completed += _ => continuation();
}
public void UnsafeOnCompleted(Action continuation)
{
_asyncOperation.completed += _ => continuation();
}
public void GetResult()
{
if (_asyncOperation.webRequest.result != UnityWebRequest.Result.Success)
{
throw new UnityWebRequestException(_asyncOperation.webRequest);
}
}
public bool IsCompleted => _asyncOperation.isDone;
}
public class UnityWebRequestException : Exception
{
public UnityWebRequestException(UnityWebRequest request)
: base($"Error: {request.error}\nURL: {request.url}")
{
}
}
public static class UnityWebRequestAsyncOperationExtensions
{
public static UnityWebRequestAsyncOperationAwaiter GetAwaiter(this UnityWebRequestAsyncOperation asyncOperation)
{
return new UnityWebRequestAsyncOperationAwaiter(asyncOperation);
}
}
public static class AIDebugger
{
[ ]
public static void SetAIMatch([CommandParameter("是否开启AI匹配")]bool enableAI)
{
AIMatchDebugger.PostRequest(UserData.Instance.userId, enableAI);
}
}
public class AIMatchDebugger
{
[ ]
public InputField userIdInput;
public Toggle needAIToggle;
public Toggle needAIOnlyToggle;
public Button submitButton;
public Text statusText;
[ ]
public const string serverURL = "http://fhdz3dfzwss.nalrer.cn:8016/gtest/dizhu/aiMatch";
void Start()
{
submitButton.onClick.AddListener(SubmitForm);
LoadDefaultValues();
}
void LoadDefaultValues()
{
userIdInput.text = "72087";
needAIToggle.isOn = true;
needAIOnlyToggle.isOn = true;
}
public void SubmitForm()
{
// PostRequest();
}
public static async Task PostRequest(int userId, bool enableAI)
{
try
{
// 准备表单数据
WWWForm form = new WWWForm();
form.AddField("userId", userId.ToString());
form.AddField("needAI", enableAI ? 1 : 0);
form.AddField("needAIOnly", enableAI ? 1 : 0);
QDebug.Log("请求发出去了");
// 发送请求
using (UnityWebRequest www = UnityWebRequest.Post(serverURL, form))
{
await www.SendWebRequest();
if (www.result != UnityWebRequest.Result.Success)
{
// statusText.text = $"Error: {www.error}";
QDebug.LogError(www.error);
}
else
{
// statusText.text = "修改成功";
QDebug.Log("Form upload complete!");
}
}
}
catch (Exception e)
{
QDebug.LogError("发生异常了");
throw; // TODO handle exception
}
}
}
总结
笔者暂且认为第三种 Task-Like Types是当前主流的C#中实现自定义异步的方式. 想要用这种方式实现异步, 你需要:
你有很多的操作, 无论是C#提供给你的Task还是你自己基于C#实现的类Task都是把你想要用异步方式执行的操作包装起来.
构建自己的异步有三个重要角色:
- 自己的AsyncMethodBuilder
- 自己的Awaiter
- 自己的TaskLike类型 这里注意
awaiter
是awaiter
,tasklike
是tasklike
, 但是ETTask将既是tasklike又是awaiter
- 有一个名为
TaskLikeMethodBuilder
的method builder, 这个Builder里面需要如下接口- public static TaskLikeMethodBuilder Create()接口
- public void Start
(ref TStateMachine stateMachine) where TStateMachine : IAsyncStateMachine接口 - public void SetException(Exception e)接口
- public void SetResult() 接口
- public void AwaitOnCompleted
( ref TAwaiter awaiter, ref TStateMachine stateMachine) where TAwaiter : INotifyCompletion where TStateMachine : IAsyncStateMachine 接口
- public void AwaitUnsafeOnCompleted
( ref TAwaiter awaiter, ref TStateMachine stateMachine) where TAwaiter : ICriticalNotifyCompletion where TStateMachine : IAsyncStateMachine 接口
- public void SetStateMachine(IAsyncStateMachine stateMachine) 接口
- public TaskLike Task // 名字必须是Task
- 有一个实现了ICriticalNotifyCompletion接口的类
- OnCompleted(Action continuation)
- UnsafeOnCompleted(Action continuation)
- 一个Tasklike类
- 有一个GetAwaiter
- GetResult()接口
- IsCompleted属性 注意必须是属性(Property)