C# __makeref, __reftype, __refvalue是什么 – C#中的隐藏关键字

__makeref、__reftype、__refvalue是C#中仅在unsafe上下文中由编译器识别的特殊标识符，用于底层指针操作：__makeref封装变量为TypedReference，__reftype提取其静态类型，__refvalue按指定类型读写值；三者均不安全、已弃用，应优先使用Span、ref T或Unsafe类替代。

这些不是C#语言的关键字，而是编译器识别的特殊标识符（compiler-recognized identifiers），属于不安全上下文中的底层指针操作辅助工具，仅在启用unsafe且目标平台支持的情况下由编译器直接处理，不能在普通代码中声明或重定义。

__makeref：获取变量的“引用句柄”

它把一个变量（包括值类型或引用类型）封装成TypedReference结构体，相当于创建了一个“可携带类型信息的引用”。这不是指针，也不等价于&variable，而是一种运行时能保留类型元数据的间接引用载体。

常见用法场景极少，主要出现在需要绕过泛型约束、做动态反射式赋值、或与旧版IL交互时。例如：

• 调用__refvalue前必须先用__makeref构造TypedReference
• 不能对临时表达式（如__makeref(5)）使用，只能作用于有确定内存地址的变量（局部变量、字段等）
• 结果TypedReference不可直接打印或比较，也不能跨方法传递（因包含栈地址，极易悬空）

__reftype：提取TypedReference背后的类型

给定一个通过__makeref生成的TypedReference，__reftype返回其原始类型（Type对象）。它不触发装箱，也不访问实例数据，纯属元数据读取。

用途非常窄，典型例子是编写通用的“类型感知”调试工具或序列化底层逻辑：

AISEO AI Content Detector

AISEO推出的AI内容检测器

82

查看详情

• Type t = __reftype(tr); —— tr是TypedReference变量
• 返回的是编译时已知的静态类型，不是运行时实际类型（比如Object o = 42; __makeref(o)，__reftype仍返回typeof(object)）

__refvalue：从TypedReference读取/写入值

这是三者中最危险也最易误用的一个。它允许你把一个TypedReference当作指定类型的左值来读或写：

• int x = __refvalue(tr, int); —— 读取为int
• __refvalue(tr, String) = "hello"; —— 写入为string

关键限制：

• 类型参数必须与__makeref所绑定的原始变量类型兼容（否则运行时抛InvalidProgramException）
• 不能用于ref、out参数或readonly字段
• 若原变量位于栈上（如局部值类型），而TypedReference被意外逃逸，__refvalue可能读到垃圾内存

基本上就这些。它们不是设计给日常开发用的，没有文档保障，.net Core/.NET 5+ 中已被标记为“不推荐使用”，多数功能可用Span<t></t>、ref T、Unsafe类或表达式树更安全地替代。除非你在写运行时、AOP框架或极底层互操作代码，否则建议完全避开。