你所不知道的 C# 中的细节
你所不知道的 C# 中的细节
前言#
有一个东西叫做鸭子类型,所谓鸭子类型就是,只要一个东西表现得像鸭子那么就能推出这玩意就是鸭子。
C# 里面其实也暗藏了很多类似鸭子类型的东西,但是很多开发者并不知道,因此也就没法好好利用这些东西,那么今天我细数一下这些藏在编译器中的细节。
不是只有 Task 和 ValueTask 才能 await#
在 C# 中编写异步代码的时候,我们经常会选择将异步代码包含在一个 Task 或者 ValueTask 中,这样调用者就能用 await 的方式实现异步调用。
西卡西,并不是只有 Task 和 ValueTask 才能 await。Task 和 ValueTask 背后明明是由线程池参与调度的,可是为什么 C# 的 async/await 却被说成是 coroutine 呢?
因为你所 await 的东西不一定是 Task/ValueTask,在 C# 中只要你的类中包含 GetAwaiter() 方法和 bool IsCompleted 属性,并且 GetAwaiter() 返回的东西包含一个 GetResult() 方法、一个 bool IsCompleted 属性和实现了 INotifyCompletion,那么这个类的对象就是可以 await 的 。
因此在封装 I/O 操作的时候,我们可以自行实现一个 Awaiter,它基于底层的 epoll/IOCP 实现,这样当 await 的时候就不会创建出任何的线程,也不会出现任何的线程调度,而是直接让出控制权。而 OS 在完成 I/O 调用后通过 CompletionPort (Windows) 等通知用户态完成异步调用,此时恢复上下文继续执行剩余逻辑,这其实就是一个真正的 stackless coroutine。
Copy
public class MyTask
{
public MyAwaiter<T> GetAwaiter() { return new MyAwaiter<T>(); }
}
public class MyAwaiter : INotifyCompletion
{
public bool IsCompleted { get; private set; } public T GetResult() { throw new NotImplementedException(); } public void OnCompleted(Action continuation) { throw new NotImplementedException(); }
}
public class Program
{
static async Task Main(string[] args) { var obj = new MyTask<int>(); await obj; }
}
事实上,.NET Core 中的 I/O 相关的异步 API 也的确是这么做的,I/O 操作过程中是不会有任何线程分配等待结果的,都是 coroutine操作:I/O 操作开始后直接让出控制权,直到 I/O 操作完毕。而之所以有的时候你发现 await 前后线程变了,那只是因为 Task 本身被调度了。
UWP 开发中所用的 IAsyncAction/IAsyncOperation 则是来自底层的封装,和 Task 没有任何关系但是是可以 await 的,并且如果用 C++/WinRT 开发 UWP 的话,返回这些接口的方法也都是可以 co_await 的。
不是只有 IEnumerable 和 IEnumerator 才能被 foreach#
经常我们会写如下的代码:
Copy
foreach (var i in list)
{
// ......
}
然后一问为什么可以 foreach,大多都会回复因为这个 list 实现了 IEnumerable 或者 IEnumerator。
但是实际上,如果想要一个对象可被 foreach,只需要提供一个 GetEnumerator() 方法,并且 GetEnumerator() 返回的对象包含一个 bool MoveNext() 方法加一个 Current 属性即可。
Copy
class MyEnumerator
{
public T Current { get; private set; } public bool MoveNext() { throw new NotImplementedException(); }
}
class MyEnumerable
{
public MyEnumerator<T> GetEnumerator() { throw new NotImplementedException(); }
}
class Program
{
public static void Main() { var x = new MyEnumerable<int>(); foreach (var i in x) { // ...... } }
}
不是只有 IAsyncEnumerable 和 IAsyncEnumerator 才能被 await foreach#
同上,但是这一次要求变了,GetEnumerator() 和 MoveNext() 变为 GetAsyncEnumerator() 和 MoveNextAsync()。
其中 MoveNextAsync() 返回的东西应该是一个 Awaitable,至于这个 Awaitable 到底是什么,它可以是 Task/ValueTask,也可以是其他的或者你自己实现的。
Copy
class MyAsyncEnumerator
{
public T Current { get; private set; } public MyTask<bool> MoveNextAsync() { throw new NotImplementedException(); }
}
class MyAsyncEnumerable
{
public MyAsyncEnumerator<T> GetAsyncEnumerator() { throw new NotImplementedException(); }
}
class Program
{
public static async Task Main() { var x = new MyAsyncEnumerable<int>(); await foreach (var i in x) { // ...... } }
}
ref struct 要怎么实现 IDisposable#
众所周知 ref struct 因为必须在栈上且不能被装箱,所以不能实现接口,但是如果你的 ref struct 中有一个 void Dispose() 那么就可以用 using 语法实现对象的自动销毁。
Copy
ref struct MyDisposable
{
public void Dispose() => throw new NotImplementedException();
}
class Program
{
public static void Main() { using var y = new MyDisposable(); // ...... }
}
不是只有 Range 才能使用切片#
C# 8 引入了 Ranges,允许切片操作,但是其实并不是必须提供一个接收 Range 类型参数的 indexer 才能使用该特性。
只要你的类可以被计数(拥有 Length 或 Count 属性),并且可以被切片(拥有一个 Slice(int, int) 方法),那么就可以用该特性。
Copy
class MyRange
{
public int Count { get; private set; } public object Slice(int x, int y) => throw new NotImplementedException();
}
class Program
{
public static void Main() { var x = new MyRange(); var y = x[1..]; }
}
不是只有 Index 才能使用索引#
C# 8 引入了 Indexes 用于索引,例如使用 ^1 索引倒数第一个元素,但是其实并不是必须提供一个接收 Index 类型参数的 indexer 才能使用该特性。
只要你的类可以被计数(拥有 Length 或 Count 属性),并且可以被索引(拥有一个接收 int 参数的索引器),那么就可以用该特性。
Copy
class MyIndex
{
public int Count { get; private set; } public object this[int index] { get => throw new NotImplementedException(); }
}
class Program
{
public static void Main() { var x = new MyIndex(); var y = x[^1]; }
}
作者: hez2010
低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。
持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。
转载内容版权归作者及来源网站所有,本站原创内容转载请注明来源。
- 上一篇
有哪些你看了以后大呼过瘾的数据分析书?
书不在多,而在于精。下面从数据分析招聘要求的必须技能:统计学,Excel,SQL,业务知识,Python这5个部分来详细聊聊每一步如何去学习和看哪些书 第1步:统计学1)统计学有什么用呢?请给我一个学习的理由如果你打开招聘的职位要求,都会要求具有统计学的知识,这是因为统计学是数据分析、机器学习的基础知识,是必须要学习的。然而很多人因为不明白学习统计学的意义是什么,统计学在生活中有什么用,而最终学的没有目的。下面的书会让你知道学习的意义是什么。 推荐理由:很多人感到统计学无聊,是因为从一开始就没有明白学习这门课的意义是什么,所以学下去的动力不足。《赤裸裸的统计学》可以让你了解学习统计学的意义什么?在日常生活中统计学有什么用?你也可以把它当作一本科普书来读。2)如何深入学习统计学?前面的书让你知道了学习的意义是什么,具备了统计学思维。接下来,就可以进一步学习统计学在数据分析中是如何使用的。 推荐理由:如果你是零基础,《深入浅出统计学》可以让你轻松愉快的学会,书里面有通俗易懂的案例,图文并茂,学习统计学不会那么枯燥。 推荐理由:适合有基础的人看。如果你之前学过些统计学,但是又还给了老师,那么...
- 下一篇
PEP 443 单分派泛型函数 -- Python官方文档译文 [原创]
PEP 443 单分派泛型函数 -- Python官方文档译文 [原创] PEP 443 -- 单分派泛型函数(Single-dispatch generic functions)目录摘要原由和目标(Rationale and Goals)用户 API(User API)关于目前的实现代码(Implementation Notes)抽象基类(Abstract Base Classes)模板的用法(Usage Patterns)替代方案(Alternative approaches)致谢(Acknowledgements)参考文献(References)版权(Copyright)摘要(Abstract)本 PEP 在functools标准库模块中提出了一种新机制,以提供一种简单的泛型编程形式,名为单派发(single-dispatch)泛型函数。 泛型函数由多个函数组成,可为不同的类型实现相同的操作。调用期间应选用哪一实现由分派算法确定。如果实现代码根据单个参数的类型做出选择,则被称为单派发。 原由和目标(Rationale and Goals)Python 一直以内置和标准库的形式提供...
相关文章
文章评论
共有0条评论来说两句吧...
文章二维码
点击排行
推荐阅读
最新文章
- Springboot2将连接池hikari替换为druid,体验最强大的数据库连接池
- CentOS6,CentOS7官方镜像安装Oracle11G
- Jdk安装(Linux,MacOS,Windows),包含三大操作系统的最全安装
- CentOS关闭SELinux安全模块
- CentOS7编译安装Gcc9.2.0,解决mysql等软件编译问题
- Windows10,CentOS7,CentOS8安装MongoDB4.0.16
- Hadoop3单机部署,实现最简伪集群
- SpringBoot2编写第一个Controller,响应你的http请求并返回结果
- Eclipse初始化配置,告别卡顿、闪退、编译时间过长
- SpringBoot2全家桶,快速入门学习开发网站教程