C# 中的 ref 已经被放开,或许你已经不认识了

一:背景

1. 讲故事

最近在翻 netcore 源码看,发现框架中有不少的代码都被 ref 给修饰了,我去,这还是我认识的 ref 吗?就拿 Span 来说,代码如下:

public readonly ref struct Span<T>{public ref T GetPinnableReference(){ref T result = ref Unsafe.AsRef<T>(null);if (_length != 0){result = ref _pointer.Value;}return ref result;}public ref T this[int index]{get{return ref Unsafe.Add(ref _pointer.Value, index);}}             }

是不是到处都有 ref,在 struct 上有,在 local variable 也有,在 方法签名处 也有,在 方法调用处 也有,在 属性 上也有, 在 return处 也有,简直是应有尽有,太????????啦,那这一篇我们就来聊聊这个奇葩的 ref。

二:ref 各场景下的代码解析

1. 动机

不知道大家有没有发现,在 C# 7.0 之后,语言团队对性能这一块真的是前所未有的重视,还专门为此出了各种类和底层支持,比如说 Span, Memory,ValueTask,还有本篇要介绍的ref。

在大家传统的认知中 ref 是用在方法参数上,用于给 值类型 做引用传值,一个是为了大家业务上需要多次原地修改的情况,二个是为了避免值类型的copy引发的性能开销,不知道是哪一位大神脑洞大开,将 ref 应用在你所知道的代码各处,最终目的都是尽可能的提升性能。

2. ref struct 分析

从小就被教育 值类型分配在栈上,引用类型是在堆上,这话也是有问题的,因为值类型也可以分配在堆上,比如下面代码的 Location。

public class Program{public static void Main(string[] args){var person = new Person() { Name = "张三", Location = new Point() { X = 10, Y = 20 } };Console.ReadLine();}}public class Person{public string Name { get; set; }public Point Location { get; set; }  //分配在堆上}public struct Point{public int X { get; set; }public int Y { get; set; }}

其实这也是很多新手朋友学习值类型疑惑的地方,可以用 windbg 到托管堆找一下 Person 问问看,如下代码:


0:000> !dumpheap -type PersonAddress               MT     Size
0000010e368aadb8 00007ffaf50c2340       32     0:000> !do 0000010e368aadb8
Name:        ConsoleApp2.Person
MethodTable: 00007ffaf50c2340
EEClass:     00007ffaf50bc5e8
Size:        32(0x20) bytes
File:        E:\net5\ConsoleApp1\ConsoleApp2\bin\Debug\netcoreapp3.1\ConsoleApp2.dll
Fields:MT    Field   Offset                 Type VT     Attr            Value Name
00007ffaf5081e18  4000001        8        System.String  0 instance 0000010e368aad98 <Name>k__BackingField
00007ffaf50c22b0  4000002       10    ConsoleApp2.Point  1 instance 0000010e368aadc8 <Location>k__BackingField0:000> dp 0000010e368aadc8
0000010e`368aadc8  00000014`0000000a 00000000`00000000

上面代码最后一行 00000014`0000000a 中的 14 和 a 就是 y 和 x 的值,稳稳当当的存放在堆中,如果你还不信就看看 gc 0代堆的范围。


0:000> !eeheap -gc
Number of GC Heaps: 1
generation 0 starts at 0x0000010E368A1030
generation 1 starts at 0x0000010E368A1018
generation 2 starts at 0x0000010E368A1000
ephemeral segment allocation context: nonesegment             begin         allocated              size
0000010E368A0000  0000010E368A1000  0000010E368B55F8  0x145f8(83448)

从最后一行可看出,刚才的  0000010e368aadc8 确实是在 0 代堆 0x0000010E368A1030 - 0000010E368B55F8 的范围内。

接下来的问题就是能不能给 struct 做一个限制,就像泛型约束一样,不准 struct 分配在堆上,有没有办法呢?办法就是加一个 ref 限定即可,如下图:

从错误提示中可以看出,有意让 struct 分配到堆上的操作都是严格禁止的,要想过编译器只能将 class person 改成 ref struct person,也就是文章开头 Span  和  this[int index] 这样,动机可想而知,一切都是为了性能。

3. ref method 分析

给方法的参数传引用地址,我想很多朋友都已经轻车熟路了,比如下面这样:

public static int GetNum(ref int i){return i;}

现在大家可以试着跳出思维定势,既然可以往方法内仍 引用地址 ,那能不能往方法外抛 引用地址 呢?如果这也能实现就比较有意思了,我可以对集合内的某一些数据进行引用地址返回,在方法外照样可以修改这些返回值,毕竟传来传去都是引用地址,如下代码所示:

public class Program{public static void Main(string[] args){var nums = new int[3] { 10, 20, 30 };ref int num = ref GetNum(nums);num = 50;Console.WriteLine($"nums= {string.Join(",",nums)}");Console.ReadLine();}public static ref int GetNum(int[] nums){return ref nums[2];}}

可以看到,数组的最后一个值已经由 30 -> 50 了,有些朋友可能会比较惊讶,这到底是怎么玩的,不用想就是引用地址到处漂,不信的话,看看 IL 代码咯。


.method public hidebysig static int32& GetNums (int32[] nums) cil managed 
{// Method begins at RVA 0x209c// Code size 13 (0xd).maxstack 2.locals init ([0] int32&)// {IL_0000: nop// return ref nums[2];IL_0001: ldarg.0IL_0002: ldc.i4.2IL_0003: ldelema [System.Runtime]System.Int32IL_0008: stloc.0// (no C# code)IL_0009: br.s IL_000bIL_000b: ldloc.0IL_000c: ret
} // end of method Program::GetNums.method public hidebysig static void Main (string[] args) cil managed 
{IL_0013: ldloc.0IL_0014: call int32& ConsoleApp2.Program::GetNums(int32[])IL_0019: stloc.1IL_001a: ldloc.1IL_001b: ldc.i4.s 50IL_003e: popIL_003f: ret
} // end of method Program::Main

可以看到,到处都是 & 取值运算符,更直观一点的话用 windbg 看一下。


0:000> !clrstack -a
OS Thread Id: 0x7040 (0)
000000D4E777E760 00007FFAF1C5108F ConsoleApp2.Program.Main(System.String[]) [E:\net5\ConsoleApp1\ConsoleApp2\Program.cs @ 28]PARAMETERS:args (0x000000D4E777E7F0) = 0x00000218c9ae9e60LOCALS:0x000000D4E777E7C8 = 0x00000218c9aeadd80x000000D4E777E7C0 = 0x00000218c9aeadf00:000> dp 0x00000218c9aeadf0
00000218`c9aeadf0  00000000`00000032 00000000`00000000

上面代码处的 0x00000218c9aeadf0 就是 num 的引用地址,继续用 dp 看一下这个地址上的值为 16进制的32,也就是十进制的 50 哈。

三:总结

总的来说,netcore 就是在当初盛行的 云计算 和 虚拟化 时代诞生,基因和使命促使它必须要优化优化再优化,再小的蚂蚁也是肉,最后就是 C# 大法 ????????

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/307043.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

java中file_详细介绍Java中的File类

构造方法File f new File("文件路径")File f new File("parent","child")创建一个文件&#xff1a;//在工作空间目录下创建a.txt的文件File f new File("a.txt");f.createNewFile();在G:\路径下创建一个a.txt的文件.如果已经有的话…

.NET5全面拥抱Azure云,微软市值重回巅峰,那些年吹过的牛,都实现了!

“Microsoft Azure的重要性在于&#xff0c;它是继Windows取代DOS之后&#xff0c;微软的又一次颠覆性转型——通过在互联网架构上打造全新计算平台&#xff0c;使得Windows真正由PC和服务器延伸到“蓝天”上。” ------曾微软全球副总裁张亚勤2014年2月&#xff0c;纳德拉成为…

大象起舞——微软研发如何保持创新力和敏捷性

我有幸见证微软在近五年的变革&#xff0c;也作为局内人学习如此一个全球性的、庞大的研发团队是如何管理、自我调整和创新的。上周五应邀给一个大客户的研发中心做了一个分享&#xff0c;其中我深刻地认识到有几点创新是一种文化。作为企业需要用心营造这样一种文化&#xff0…

java 云架构_java版Spring Cloud云架构代码结构构建

本篇我们根据架构图进行代码的构建。根据微服务化设计思想&#xff0c;结合spring cloud一些优秀的项目&#xff0c;如服务发现、治理、配置化管理、路由负载、安全控制等优秀解决方案&#xff0c;使用Maven技术将框架进行模块化、服务化、原子化封装并构建&#xff0c;也为后期…

集赞有礼!进击吧! Blazor !第六期 企业内部应用建设实战

集赞有礼转发此文章至朋友圈&#xff0c;截止至直播结束前&#xff1a;集赞满20个&#xff0c;可获得Blazor贴纸&#xff1b;集赞满50个&#xff0c;可获得微软帆布包&#xff1b;集赞满88个&#xff0c;可获得笔记本&#xff1b;集赞最多的一位小伙伴将获得充电宝哦&#xff0…

基于阿里云日志服务快速打造简版业务监控看板

前言 最近老黄一直在弄双11相关的东西&#xff0c;所以博客和github都没怎么更新&#xff0c;这期间在公司也弄了不少东西。下面就简单分享一下最近做的业务监控相关的内容吧。先来说一下背景。某业务在双11第一波大促的时候因为没有提供实时的业务看板&#xff0c;总结会的时候…

一个.NET Core下的开源插件框架Pluginfactory

插件模式历史悠久&#xff0c;各种中大型软件基本上都会实现插件机制&#xff0c;以此支持功能扩展&#xff0c;从开发部署层面&#xff0c;插件机制也可实现功能解耦&#xff0c;对于并行开发、项目部署、功能定制等都有比较大的优势。在.NET Core下&#xff0c;一般我们基于.…

谈谈.NET Core IServiceProvider

【导读】最近重构部分代码&#xff0c;因历史原因在静态类中需使用注入实例&#xff0c;构造函数注入则不再可取&#xff0c;此时只能构造全局IServiceProvider&#xff0c;所以本文稍微分析下IServiceProvider要构造全局使用IServiceProvider&#xff0c;我们都知道不能在Conf…

使用 Xunit.DependencyInjection 改造测试项目

使用 Xunit.DependencyInjection 改造测试项目Intro这篇文章拖了很长时间没写&#xff0c;之前也有介绍过 Xunit.DependencyInjection 这个项目&#xff0c;这个项目是由大师写的一个 Xunit 基于微软 GenericHost 和 依赖注入实现的一个扩展库&#xff0c;可以让你更方便更容易…

discuz mysql data_Discuz!显示 Database Error的原因和解决方法

今天打开Discuz搭建的论坛显示&#xff1a;原因一&#xff1a;数据库表太大比如mysql数据库的表内容太大&#xff0c;超过10G就有可能会影响discuz论坛的运行。Discuz! Database Error是什么原因&#xff0c;怎么修复这种情况可以通过对数据库分表的方法来解决。原因二&#xf…

项目开发中经常有一些被嫌弃的小数据,现在全丢给 FastDFS

在我们开发项目的时候&#xff0c;经常会遇到大块数据的问题&#xff08;2M-100M&#xff09;&#xff0c;比如说保存报表中1w个人的ID号&#xff0c;说实话&#xff0c;这些数据存储在服务器哪里都被嫌弃&#xff0c;放在redis&#xff0c;mongodb中吧&#xff0c;一下子你就会…

java 反射 int_Java 反射由浅入深 | 进阶必备

原标题&#xff1a;Java 反射由浅入深 | 进阶必备一、Java 反射机制参考了许多博文&#xff0c;总结了以下个人观点&#xff0c;若有不妥还望指正&#xff1a;Java 反射机制在程序运行时&#xff0c;对于任意一个类&#xff0c;都能够知道这个类的所有属性和方法&#xff1b;对…

寻找性能更优秀的不可变小字典

Dictionary 是一个很常用的键值对管理数据结构。但是在性能要求严苛的情况下&#xff0c;字典的查找速度并不高。所以&#xff0c;我们需要更快的方案。需求说明 这里&#xff0c;我们需要一个 PropertyInfo 和委托对应的映射关系&#xff0c;这样我们就可以存储《寻找性能更优…

一款基于.NET Core的认证授权解决方案-葫芦藤1.0开源啦

背景18年公司准备在技术上进行转型&#xff0c;而公司技术团队是互相独立的&#xff0c;新技术的推动阻力很大。我们需要找到一个切入点。公司的项目很多&#xff0c;而各个系统之间又不互通&#xff0c;导致每套系统都有一套登录体系&#xff0c;给员工和客户都带来极大的不便…

.NET架构小技巧(8)——优待异常

天有不测风云&#xff0c;人有旦夕祸福&#xff0c;程序呢——会有异常错误。C#中用try&#xff0c;catch&#xff0c;finally来捕捉处理异常&#xff0c;捕捉谁的异常呢&#xff1f;一般都是系统类库或三方类库中抛出的异常&#xff0c;那如果我自己架构程序&#xff0c;异常也…

跟我一起学.NetCore之EF Core 实战入门,一看就会

前言还记得当初学习数据库操作时&#xff0c;用ADO.NET一步一步地进行数据操作及查询&#xff0c;对于查询到的数据还得对其进行解析&#xff0c;然后封装返回给应用层&#xff1b;遇到这种重复而繁琐的工作&#xff0c;总有一些大神或团队对其进行封装&#xff0c;从而出现了很…

java 声明变量构成_Java—变量

1.1 按数据类型分类1.1.1 基本数据类型(四类八种)☛ 引用数据类型的特点存的是地址值,可以为null值☛ 基本数据类型的特点存的是具体的值,不可以是null值☛ 整型整型取值范围字节数byte(字节)-128 ~ 1271byteshort(短整型)-2byteint(默认整型)-4bytelong(长整型)12345678L8byte…

寻找性能更优秀的动态 Getter 和 Setter 方案

反射获取 PropertyInfo 可以对对象的属性值进行读取或者写入&#xff0c;但是这样性能不好。所以&#xff0c;我们需要更快的方案。方案说明 就是用表达式编译一个Action<TObj,TValue>作为 Setter&#xff0c;编译一个Func<TObj,TValue>作为 Getter。然后把这些编译…

Newbe.ObjectVisitor 0.2.10 发布,更花里胡哨

更新内容 现在&#xff0c;你可以通过上下文修改属性的值了&#xff1a;//✔️ from 0.2 // 可以修改属性 o.V().ForEach((context) > ModifyData(context)).Run();public static void ModifyData(IObjectVisitorContext<Yueluo,string> context) {context.Value con…

.NET 5 和 C#9 /F#5 一起到来, 向实现 .NET 统一迈出了一大步

经过一年多的开发&#xff0c;Microsoft 于北京时间 11 月 11 日&#xff08;星期三&#xff09;发布了其 .NET 5软件开发平台&#xff0c;强调平台的统一&#xff0c;并引入了 C# 9 和 F# 5 编程语言&#xff0c;新平台朝着桌面、Web、移动、云和 IoT 目标统一 .NET 开发体验的…