Unsafe 类

定义

public ref class Unsafe abstract sealed

public static class Unsafe

type Unsafe = class

Public Class Unsafe

继承

Object

Unsafe

注解

此类型通常由希望编写高性能代码并愿意禁止的低级别库作者使用。NET 的典型类型安全检查，以满足其性能目标。

请考虑以下示例，该示例反转 中的 Span<T>元素。

// A safe, verifiable way to reverse a Span<T>.
static void Reverse<T>(Span<T> span)
{
 while (span.Length > 1)
 {
   T firstElement = span[0];
   T lastElement = span[^1];
   span[0] = lastElement;
   span[^1] = firstElement;
   span = span[1..^1];
 }
}

此方法完全类型安全，.NET 运行时可以插入边界检查来帮助强制实施安全性。 但是，低级别的库作者可能想要禁止显示 。NET 的正常安全检查，以提高自己的代码的性能。 此类开发人员通常依赖于静态分析工具或他们自己的代码评审来帮助强制实施正确性。 API Unsafe 允许开发人员使用不可验证的构造重写此代码，如以下示例所示。

// A correct but unverifiable way to reverse a Span<T>.
static void Reverse<T>(Span<T> span)
{
 if (span.Length > 1)
 {
   ref T refLeft = ref MemoryMarshal.GetReference(span);
   ref T refRight = ref Unsafe.Add(ref refLeft, span.Length - 1);
   do
   {
     T leftElement = refLeft;
     T rightElement = refRight;
     refLeft = rightElement;
     refRight = leftElement;
     refLeft = ref Unsafe.Add(ref refLeft, 1);
     refRight = ref Unsafe.Subtract(ref refRight, 1);
   } while (Unsafe.IsAddressLessThan(ref refLeft, ref refRight));
 }
}

Unsafe由于 API 禁止典型的类型安全验证，因此由调用方来确保他们正在编写的代码是合法的。 滥用这些 API 可能会导致访问冲突、创建 GC 漏洞、生成不正确的 codegen 或在 .NET 运行时中引发未定义和破坏稳定的行为。