如何使用 in 参数直接调用带有 ref 参数的方法

Question

我正在使用旧库中的方法：F (ref T t) where T: struct。仅出于性能原因将其声明为ref，并且不会修改它接收到的数据。此库无法更改。

在我的代码中，我有一个新方法 G (in T t) where T: struct 调用 F。

有没有办法直接用我收到的参考资料调用F，而无需先将其复制到临时文件中？

Answer 1

我刚刚读到“in”。显然，in、ref 和 out 都是引用调用的一种形式。然而，主要区别在于“他们的意图声明”。

in 参数无法修改。它们只是出于性能原因的参考，如果有的话。

ref 参数可能会或可能不会被修改。它最接近经典的“引用调用”。事实上，这是您通过裸指针实现它时获得的唯一方法

out 参数有需要修改；如果一个值需要初始化（如构造函数中的只读），这可能是相关的 - 如果它作为输出变量提交，编译器可以放心将设置。其他函数编译器确保了这一点。

在某种程度上in 是一种“参考，但只读”。无法将您收到的“输入”内容分配给“参考”或“输出”，并阻止您意外更改值。我想你也不会在那里使用 ref （这使得这可能毫无意义）或复制。

Answer 2

是的，有办法（但它使用了不安全的黑魔法）。

首先是免责声明。

F 方法不修改struct 的事实只是您的“约定”。对于 C# 编译器，ref 提供的 struct 是完全可变的。

拥有一个由readonly ref 通过in 提供的struct 告诉编译器：请确保这个struct 不能被变异。

顺便说一句，如果您将struct 传递为in，您必须确保此struct 被声明为readonly struct。否则，编译器将创建struct 的防御性副本（详情请阅读here。）这是您通常无法将readonly struct 引用传递给接受@ 的方法的第二个原因987654337@ ref 并对其进行变异。

如果您仍想解决所有这些限制，可以使用System.Runtime.CompilerServices.Unsafe NuGet 包。

Unsafe静态类中有一个方法可以帮助你：

public static ref T AsRef<T>(in T source);

这是一个例子：

void F<T>(ref T t) where T : struct
{
}

void G<T>(in T t) where T : struct
{
    F(ref System.Runtime.CompilerServices.Unsafe.AsRef(in t));
}