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

这些不是C#语言的关键字,而是编译器识别的特殊标识符(compiler-recognized identifiers),属于不安全上下文中的底层指针操作辅助工具,仅在启用unsafe且目标平台支持的情况下由编译器直接处理,不能在普通代码中声明或重定义。
它把一个变量(包括值类型或引用类型)封装成TypedReference结构体,相当于创建了一个“可携带类型信息的引用”。这不是指针,也不等价于&variable,而是一种运行时能保留类型元数据的间接引用载体。
常见用法场景极少,主要出现在需要绕过泛型约束、做动态反射式赋值、或与旧版IL交互时。例如:
__refvalue前必须先用__makeref构造TypedReference
__makeref(5))使用,只能作用于有确定内存地址的变量(局部变量、字段等)TypedReference不可直接打印或比较,也不能跨方法传递(因包含栈地址,极易悬空)给定一个通过__makeref生成的TypedReference,__reftype返回其原始类型(Type对象)。它不触发装箱,也不访问实例数据,纯属元数据读取。
用途非常窄,典型例子是编写通用的“类型感知”调试工具或序列化底层逻辑:
Type t = __reftype(tr); —— tr是TypedReference变量object o = 42; __makeref(o),__reftype仍返回typeof(object))这是三者中最危险也最易误用的一个。它允许你把一个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框架或极底层互操作代码,否则建议完全避开。
以上就是C# __makeref, __reftype, __refvalue是什么 - C#中的隐藏关键字的详细内容,更多请关注php中文网其它相关文章!
每个人都需要一台速度更快、更稳定的 PC。随着时间的推移,垃圾文件、旧注册表数据和不必要的后台进程会占用资源并降低性能。幸运的是,许多工具可以让 Windows 保持平稳运行。
Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号