【.NET8】访问私有成员新姿势UnsafeAccessor(上)

2023-11-11

前言

前几天在.NET性能优化群里面,有群友聊到了.NET8新增的一个特性,这个类叫 UnsafeAccessor,有很多群友都不知道这个特性是干嘛的,所以我就想写一篇文章来带大家了解一下这个特性。

其实在很早之前我就有关注到这个特殊的特性,但是当时.NET8还没有正式发布,所以我也没有写文章,现在.NET8已经RC了,很快就会发布正式版,而且刚好有了一些时间,所以也可以带大家了解一下这个新的特性。

由于篇幅原因,这篇文章会分为上下两篇,其中上篇会带大家了解 UnsafeAccessor是干嘛的,有哪些用法,下篇会带大家了解 UnsafeAccessor的性能比较以及它的实现原理。

首先在我们了解这个类之前要假设一个场景,在很多时候我们都会遇到这样的场景,就是我们需要在一个类中访问另外一个类的私有成员,比如有如下代码:

var a = new A();
Console.WriteLine(a._value);
public class A
{
    private int _value = 10;
}

在上面的代码中,我们在类 B中访问了类 A的私有成员 _value,这种情况在我们的实际开发中是很常见的,但是在.NET中是不允许的,因为私有成员是不允许被外部访问的,所以我们在类 B中是不能访问类 A的私有成员 _value的,但是在实际的开发中,我们有时候确实需要访问类 A的私有成员 _value,这个时候我们该怎么办呢?下面我们来看一下如何访问私有成员。

.NET8以前的解决方案

在.NET8之前,我们可以通过如下的几种方法来访问私有成员,分别是反射、Emit、Expression,下面我们分别来看一下这几种方法。

反射

在.NET中,有一种叫反射的技术,这个对于任何一个.NET开发工程师应该都不陌生,我们可以通过反射来访问程序集的元数据信息,调用方法,访问字段等等,所以可以通过反射来访问私有成员,比如下面的代码我们可以通过反射来访问私有成员,如下所示:

var a = new A();
// 反射访问私有成员
var value = typeof(A).GetField("_value", BindingFlags.NonPublic | BindingFlags.Instance).GetValue(a);
Console.WriteLine(value);
public class A
{
    private int _value = 10;
}

在上面的代码中,我们通过反射来访问了类 A的私有成员 _value,这样就可以访问到了,但是这种方式有一个缺点,就是性能比较差,因为反射是通过查找元数据和临时调用来实现的,所以性能比较差。在实际的开发中,我们一般不会使用反射来访问私有成员。

Emit

Emit 是 .NET 提供的一种动态生成和编译代码的技术。通过 Emit,我们可以动态生成一个新的方法,这个方法可以直接访问私有成员,这样就避免了反射的性能问题。以下是一个使用 Emit 访问私有成员的例子:

var a = new A();
// 创建一个动态方法,签名为 int GetValue(A a)
var method = new DynamicMethod("GetValue", typeof(int), new Type[] { typeof(A) }, typeof(A));
// 获取方法的 ILGenerator,通过 Emit 生成方法体
var il = method.GetILGenerator();
// 将参数 a 的私有成员 _value 压入堆栈
il.Emit(OpCodes.Ldarg_0);
// 将私有成员 _value 压入堆栈
il.Emit(OpCodes.Ldfld, typeof(A).GetField("_value", BindingFlags.NonPublic | BindingFlags.Instance));
// 返回栈顶的值
il.Emit(OpCodes.Ret);
// 通过 Emit 创建的方法,可以直接访问私有成员 _value
var func = (Func<A, int>)method.CreateDelegate(typeof(Func<A, int>));
// 调用方法
var value = func(a);
Console.WriteLine(value);
public class A
{
    private int _value = 10;
}

在上面的代码中,我们通过 Emit 创建了一个新的方法,这个方法可以直接访问类 A 的私有成员 _value。这种方法的性能比反射好很多,但是代码比较复杂,不易于维护。

Expression

Expression 是 .NET 提供的一种表达式树的技术。通过 Expression,我们可以创建一个表达式树,然后编译这个表达式树,生成一个可以访问私有成员的方法。以下是一个使用 Expression 访问私有成员的例子:

var a = new A();
// 创建一个表达式树,访问私有成员 _value
var parameter = Expression.Parameter(typeof(A), "x");
// 访问私有成员 _value
var field = Expression.Field(parameter, typeof(A).GetField("_value", BindingFlags.NonPublic | BindingFlags.Instance));
// 编译表达式树,生成一个可以访问私有成员 _value 的方法
var lambda = Expression.Lambda<Func<A, int>>(field, parameter);
// 调用方法
var func = lambda.Compile();
var value = func(a);
Console.WriteLine(value);
public class A
{
    private int _value = 10;
}

在上面的代码中,我们通过 Expression 创建了一个表达式树,然后编译这个表达式树,生成了一个可以访问类 A 的私有成员 _value 的方法。这种方法的性能比反射好,代码也相对简单,但是仍然比直接访问复杂。

.NET8的解决方案

我想很多聪明的小伙伴都已经猜到了,在.NET8中新增的 UnsafeAccessor就是用来访问私有成员的,我们可以通过 UnsafeAccessor来访问私有成员,下面我们来看一下如何使用 UnsafeAccessor来访问私有成员。

私有字段

using System.Runtime.CompilerServices;
[UnsafeAccessor(UnsafeAccessorKind.Field, Name = "_value")]
static extern ref int GetValue(A a);
var a = new A();
var value = GetValue(a);
Console.WriteLine(value);
public class A
{
    private int _value = 10;
}

首先我们需要引入 System.Runtime.CompilerServices这个命名空间,然后定义一个 staicexternref方法,这个方法的返回值类型是字段的类型,然后它的参数就是对应实例的类型。在方法上面我们需要添加一个 UnsafeAccessor特性,这个特性有一个参数 UnsafeAccessorKind,这个参数表示我们要访问的是什么类型的私有成员,比如字段、属性、方法等等,这里我们要访问的是字段,所以我们传入的是 UnsafeAccessorKind.Field,然后我们还需要指定要访问的字段的名称,这里我们要访问的是 _value字段,所以我们传入的是 Name="_value",这样我们就可以通过 UnsafeAccessor来访问私有成员了。

来看一下运行的结果,可以看到和我们预期的一样输出了 10

a9702cf214d40f7a7c595587d4b2154b.png

因为它是返回了 ref的引用,所以我们可以通过这个引用来修改私有成员的值,比如我们修改一下 _value的值,如下所示:

using System.Runtime.CompilerServices;
[UnsafeAccessor(UnsafeAccessorKind.Field, Name = "_value")]
static extern ref int ValueAccessor(A a);
var a = new A();
ref var value = ref ValueAccessor(a);
Console.WriteLine(value);
value = 20;
Console.WriteLine(ValueAccessor(a));
public class A
{
    private int _value = 10;
}

来看一下运行的结果,可以看到我们修改了 _value的值,第二次输出的时候就变成了 20

6690952fb3df94e1b7c5679db7ba223c.png

私有构造方法

同样的,使用 UnsafeAccessor我们也可以访问类中的私有构造方法和私有的方法,我们可以看到 UnsafeAccessor有一个参数 UnsafeAccessorKind,这个参数表示我们要访问的是什么类型的私有成员,比如字段、属性、方法等等,下方是它的定义:

private enum UnsafeAccessorKind
{
    Constructor,
    Method,
    StaticMethod,
    Field,
    StaticField
};

先来看一下如何访问私有构造方法,如下所示:

using System.Runtime.CompilerServices;
[UnsafeAccessor(UnsafeAccessorKind.Constructor)]
static extern A CreateA(int value);
var a = CreateA(10);
Console.WriteLine(a.Value);
public class A
{
    public readonly int Value;
    private A(int value)
    {
        Value = value;
    }
}

在上面的代码中,我们通过 UnsafeAccessor访问了类 A的私有构造方法,这个私有构造方法的参数是 int类型的,我们可以看到我们通过 UnsafeAccessor访问了私有构造方法,然后创建了一个 A的实例,然后输出了 Value的值,可以看到输出的结果是 10,这样我们就可以通过 UnsafeAccessor来访问私有构造方法了。

4b6419d5cd7b5ce7c9345fc5d9894a07.png

私有属性

由于属性是语法糖,编译器会自动为我们生成一个 getset方法,比如 publicintValue{get;set;},就会自动生成一个 get_Valueset_Value方法,我这里就不单独对访问私有方法进行演示,直接演示访问私有属性,它和访问私有方法是一样的,如下所示:

using System.Runtime.CompilerServices;
[UnsafeAccessor(UnsafeAccessorKind.Method, Name = "get_Value")]
static extern int GetValue(A a);
[UnsafeAccessor(UnsafeAccessorKind.Method, Name = "set_Value")]
static extern void SetValue(A a, int value);
var a = new A();
SetValue(a, 10);
Console.WriteLine(GetValue(a));
public class A
{
    public int Value { get; set; }
}

在上面的代码中,我们通过 UnsafeAccessor访问了类 A的私有属性 Value,这个私有属性有 getset方法,我们通过 UnsafeAccessor访问了 getset方法,然后我们就可以访问私有属性了,这样我们就可以通过 UnsafeAccessor来访问私有属性了。

1d0d2ff87610515ce1da93b17b8343bf.png

局限性

当然,现在使用 UnsafeAccessor还有一些局限性,大家在使用的过程中需要注意一下。

通用泛型

比如现阶段它不支持通用泛型,像下面这样的代码是不支持的:

[UnsafeAccessor(UnsafeAccessorKind.Field, Name="_myList")]
static extern ref List<T> Field<T>(MyClass<T> _this);

但是现在可以写成下方这样的代码:

[UnsafeAccessor(UnsafeAccessorKind.Field, Name="_myList")]
static extern ref List<string> StringField(MyClass<string> _this);
[UnsafeAccessor(UnsafeAccessorKind.Field, Name="_myList")]
static extern ref List<double> DoubleField(MyClass<double> _this);

不过这会在.NET9中解决,有兴趣的小伙伴可以关注下方的链接: https://github.com/dotnet/runtime/issues/89439

私有类型

比如有下面这样的一个示例代码:

// Assembly A
private class C
{
    private static int Method(int a) { ... }
}
// Assembly B
[UnsafeAccessor(UnsafeAccessorKind.StaticMethod, Name="Method")]
static extern int CallMethod(??? c, int a);

这里的问题是,我们不知道如何定义 CallMethod的第一个参数,因为 C是私有的,我们无法在 CallMethod的入参中定义它。

静态类

比如有下面这样的一个示例代码:

// Assembly A
public static class C
{
    private static int Method(int a) { ... }
}
// Assembly B
[UnsafeAccessor(UnsafeAccessorKind.StaticMethod, Name="Method")]
static extern int CallMethod(??? c, int a);

这里的问题是,我们无法在 B中定义 CallMethod的第一个参数,因为 C是静态的,我们无法在 CallMethod的入参中定义它。

私有类参数

比如有下面这样的一个示例代码:

// Assembly A
public class C
{
    private class D { }
    private static int Method(D d) { ... }
}
// Assembly B
[UnsafeAccessor(UnsafeAccessorKind.StaticMethod, Name="Method")]
static extern int CallMethod(??? d); // Unable express D type as a parameter.

这里的问题是,我们无法在 B中定义 CallMethod的入参,因为 D是私有的,我们无法在 CallMethod的入参中定义它。包括目前还有私有返回值参数也是无法定义的。

但是这些问题在.NET9中也会解决,有兴趣的小伙伴可以关注下方的链接:

https://github.com/dotnet/runtime/issues/90081

总结

在本文中,首先介绍了在.NET8之前访问私有成员的几种方法,包括反射、Emit、和Expression。这些方法虽然可以实现访问私有成员,但是各有其优缺点,例如反射性能较差,Emit和Expression代码复杂度较高。

随后,我们详细介绍了.NET8新增的特性 UnsafeAccessor,这是一种更方便、更高效的访问私有成员的方法。我们通过实例代码演示了如何使用 UnsafeAccessor访问私有成员,包括私有字段、私有构造方法和私有属性。并且, UnsafeAccessor还支持修改私有成员的值。

然而, UnsafeAccessor目前还存在一些局限性,例如不支持通用泛型,无法访问私有类型、静态类和私有类参数。但是,这些问题预计在.NET9中将得到解决。

总的来说, UnsafeAccessor为.NET开发者提供了一个新的工具,使我们能够更方便、更高效地访问私有成员。虽然当前还存在一些局限性,但随着.NET的不断发展和进步,我们有理由相信这些问题将会得到解决。同时,我们也期待.NET在未来能够提供更多的功能和特性,以满足我们日益增长的开发需求。

 

本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

【.NET8】访问私有成员新姿势UnsafeAccessor(上) 的相关文章

  • 检查Web服务是否存在

    有人可以告诉我确定给定 URL 是否存在 Web 服务 ASP NET 的最佳方法吗 我假设一种方法类似于使用 System Net Webclient 发出请求 但我如何确定它是否是有效的 Web 服务以及我应该发出哪种类型的请求 编辑
  • 如何提取括号(圆括号)之间的文本?

    我有一根绳子User name sales 我想提取括号之间的文本 我该怎么做 我怀疑子字符串 但我无法弄清楚如何阅读 直到右括号 文本的长度会有所不同 如果您希望远离正则表达式 我能想到的最简单的方法是 string input User
  • 如何在没有 WebBrowser 控件的情况下“呈现”HTML

    首先 我不知道 渲染 是否是正确的词 我喜欢从网站获取信息 因此 目前我使用 WebBbrowser 控件 现在我喜欢使用 HttpWebRequests 因为我认为这样更快 并且可以更轻松地使用线程 但我无法使用它们 因为我从 HttpW
  • 在源代码管理中管理我的数据库

    由于我正在处理一个新的数据库项目 在 VS2008 中 而且我从未从头开始开发数据库 因此我立即开始研究如何在源代码管理 在本例中为 Subversion 中管理数据库 我找到了一些关于SO的信息 包括这篇文章 保持多个环境中的开发数据库同
  • LINQ:获取表详细信息

    我正在使用 LINQPad 我想了解表的架构详细信息 我知道我是用 SQL 来做的 SELECT column name FROM information schema columns WHERE table name table name
  • 有人有 Postsharp 制作经验吗? [关闭]

    就目前情况而言 这个问题不太适合我们的问答形式 我们希望答案得到事实 参考资料或专业知识的支持 但这个问题可能会引发辩论 争论 民意调查或扩展讨论 如果您觉得这个问题可以改进并可能重新开放 访问帮助中心 help reopen questi
  • 如何按字段对列表进行排序

    美好的一天 4 你们大家 我有一个对象列表 我的对象喜欢 Product iPhone Category SmartPhone Product HP Category PC Product HTC Category SmartPhone 我
  • .NET 有 Base64Stream 吗?

    如果我想生成 Base64 编码的输出 我该如何在 NET 中做到这一点 我知道从 NET 2 0 开始 就有了IC加密转换 http msdn microsoft com en us library system security cry
  • 在分布式事务中手动登记后,使用 enlist=false 的连接不会关闭

    我有一个分布式事务上下文使用ServiceDomain 在其中 我打开一个 SQL 连接 其中连接字符串指定Enlist false 这样它就不是自动地被纳入交易 然后 如果我使用手动在分布式事务中登记连接EnlistDistributed
  • Moq - 是否可以在不使用 It.IsAny 的情况下设置模拟

    我一直使用 Moq 进行单元测试 有时我会嘲笑有很多参数的方法 想象一下这样的方法 public class WorkClient public void DoSomething string itemName int itemCount
  • 未指定authenticationScheme,并且没有使用默认身份验证和自定义授权找到DefaultChallengeScheme

    我有一个 NET Core 2 0 应用程序 并且遇到授权问题 我想针对特殊请求使用自定义授权 标头和标准默认身份验证 首先 我在中添加配置Startup cs public IServiceProvider ConfigureServic
  • 获取强类型的子属性名称

    通过将数据绑定对象到控件和网格 我讨厌属性名称如何成为魔术字符串 因此我创建了一个非常简单的方法 如下所示 public static string GetPropertyName
  • CollectionBase 与泛型

    我正在将应用程序从 NET 1 1 迁移到 NET 2 0 我应该删除 CollectionBase 的所有使用吗 如果是这样 最好的迁移策略是什么 是的 最好看的类是 System Collections Generic 我通常使用列表
  • HttpUtility.ParseQueryString 不解码特殊字符

    Uri uri new Uri redirectionUrl NameValueCollection col HttpUtility ParseQueryString uri Query uri Query已经被解码 那么我有什么办法可以阻
  • Python 仪器驱动程序

    我是一名实验物理学家 并且是Python http en wikipedia org wiki Python 28programming language 29 我发现它非常适合数据分析和脚本编写 实际上我还用它来连接实验室仪器 网络分析仪
  • 使用VS2019创建WebService

    我想使用 Visual Studio 2019 使用 C 在现有 NET 项目中创建 WebService 在互联网上搜索 我能找到的只是旧 VS 版本的教程 如何创建它 使用 Visual Studio 2019 接收 POST 数据的最
  • C#中析构函数的使用?

    我对 C 中析构函数的使用有点困惑 据我所知我们不能打电话 根据我的愿望 析构函数会在垃圾收集器之前自动调用 以对类 对象 执行一些工作 所以我想问一下我们是否在 C 中使用析构函数 那么我们何时需要垃圾收集器 据我所知 析构函数可以处理内
  • 将 Foq 与 F# 函数类型结合使用

    例如 我使用 F 类型定义来防止函数之间的硬依赖 type IType1 int gt int type IType2 int gt string let func1 i int int i i let func2 i int string
  • C# 异步任务比同步慢

    你知道为什么同步斐波那契方法比异步 等待更快并且比异步任务更快吗 我在每个项目方法上都使用了异步 所以主要是这是一个非常糟糕的方法 Code static int FibonacciSync int number if number 0 r
  • 在 .NET Core 中从 HttpResponseMessage 转换为 IActionResult

    我正在将之前在 NET Framework 中编写的一些代码移植到 NET Core 我有这样的事情 HttpResponseMessage result await client SendAync request if result St

随机推荐

  • 【华为OD机试】最大股票收益【2023 B卷

    华为OD机试 真题 点这里 华为OD机试 真题考点分类 点这里 题目描述 假设知道某段连续时间内股票价格 计算通过买入卖出可获得的最大收益 输入一个大小为 n 的数 price p1 p2 p3 p4 pn pi 是第i天的股票价格 pi
  • Quartus如何生成顶层文件里的小模块,解决波形图无法导入输入输出

    生成模块 有这么个模块叫SRAM 就可以在顶层文件里找到了 解决波形图无法导入输入输出 统一名字 文件夹名字和 qpf文件一致和顶层文件名字一样 还和波形图文件一样
  • nodejs npm run build 打包压缩zip文件

    步骤1 安装 npm install archiver D 步骤2 根目录下新建zip js 内容如下 const fs require fs const archiver require archiver 创建文件输出流 let outp
  • This figure includes Axes that are not compatible with tight_layout, so results might be incorrect.

    困难 是智者的机遇 是人与人差距所在 疑惑 D pytools anaconda PyCharm 2018 3 5 helpers pycharm matplotlib backend backend interagg py 62 User
  • Vue项目中grid布局的应用

    Vue项目中grid布局的应用 一 使用背景 二 常见属性 1 grid template 属性 1 1 columns列相关配置 1 1 1 指定列的个数 1 1 2 auto fill属性 自动填充 1 1 3 fr 比例关系 1 1
  • windows向linux传送文件

    windows与Linux之间传送文件 1 用putty的内置小组件PSCP exe 此法可行 pscp exe 可从putty官方下载 然后放到 windows 的c windows system32目录下 这样cmd 命令提示符窗口 输
  • linux下使用ffmpeg录屏

    linux系统中 使用ffmpeg进行录屏与截图 把 dev fb0设备的framebuffer显示图像录制为视频 ffmpeg f fbdev framerate 10 i dev fb0 out avi 编码帧率默认值为25fps 把
  • Android查看应用签名方法

    查看keystore文件签名 查看keystore文件签名信息 前提要有keystore文件和密钥 才能够获取keystore文件的签名信息 打开 AS工具窗口栏右边的 Gradle gt Project gt app gt Tasks g
  • QtCreator设置多个qmake

    qt Creator 有时候需要设置不同qt库文件 也就是不同qmake 我们可以设置 1 Tools gt KIts 然后选择Manual gt add 然后添加Name写5 15或者其它名字 然后点击Qt Version gt Manu
  • PID算法(没办法完全理解的东西)

    快速 P 准确 I 稳定 D P Proportion 比例 就是输入偏差乘以一个常数 I Integral 积分 就是对输入偏差进行积分运算 D Derivative 微分 对输入偏差进行微分运算 输入偏差 读出的被控制对象的值 设定值
  • 24. 二叉搜索树的最近公共祖先

    题目链接 235 二叉搜索树的最近公共祖先 大概思路 题目要求 给定一颗二叉搜索树 两个确定值q p 要求q p的最近公共祖先 思路 利用搜索树的特性 当q p的值均小于遍历的节点值的时候 可以判断q p均在根节点的左子树上 小于则在右子树
  • DUKE大学BOE数据集 OCT图像积液分割数据集

    使用此数据集用来做积液分割研究 地址 http people duke edu sf59 Chiu BOE 2014 dataset htm 使用python将 mat转换为图片格式 对BOE MAT格式文件处理成图片 import cv2
  • 数据生成

    数据生成 MATLAB实现MCMC马尔科夫蒙特卡洛模拟的数据生成 目录 数据生成 MATLAB实现MCMC马尔科夫蒙特卡洛模拟的数据生成 生成效果 基本描述 模型描述 程序设计 参考资料 生成效果 基本描述 1 MATLAB实现MCMC马尔
  • java常见轮询算法

    轮询算法 轮询算法就是通过一个算法 对提供的一组列表进行计算 按照一定规则取出列表中的元素 常见的有顺序模式 随机模式 加权模式 加权平滑模式 定义轮询算法的接口 轮询算法接口 public interface Balance
  • 计费服务器不响应,按小时计费的服务器不开机会计费吗

    按小时计费的服务器不开机会计费吗 内容精选 换一换 按需付费是后付费方式 可以随时开通 删除弹性云服务器 支持秒级计费 系统会根据云服务器的实际使用情况每小时出账单 并从账户余额里扣款 按需付费的弹性云服务器关机再次开机时 可能会出现由于资
  • NMOS作为开关的两种接法

    NMOS作为开关的两种接法 1 左边电路负载是接在S极对地 如果R1很小且Q1 G极一直为High 那么流过Q1的电流可能将会非常大 MOS管容易烧 2 R1 I Us VGS Vg Vs 此时VGS不一定会大于Vgs th MOS会不完全
  • html抽奖概率,求一个可挑概率的html5抽奖 圆盘的

    该楼层疑似违规已被系统折叠 隐藏此楼查看此楼圆盘抽奖 margin 0 padding 0 elm1 height 40px background color a00 elm2 height 50px background color 0a
  • mysql库的安装

    编译文件时找不到mysql库 使用以下命令查看是否安装mysql库 dpkg l grep libmysqlclient dev 安装 sudo apt get install libmysqlclient dev 安装完成可以正常编译
  • Parallels Desktop 17 发布 针对M1大幅优化

    今天 Parallels 公司发布了 Parallels Desktop 17 它对 Windows 11 和 macOS Monterey 进行了适配优化 同时为基于Apple M1 和Intel 芯片的Mac进行图形 性能提升和生产力的
  • 【.NET8】访问私有成员新姿势UnsafeAccessor(上)

    前言 前几天在 NET性能优化群里面 有群友聊到了 NET8新增的一个特性 这个类叫 UnsafeAccessor 有很多群友都不知道这个特性是干嘛的 所以我就想写一篇文章来带大家了解一下这个特性 其实在很早之前我就有关注到这个特殊的特性