safe (справочник по C#)

Контекстное safe ключевое слово подтверждает, что объявление звучит в местах, где обновленная модель безопасности памяти требует явного выбора безопасности. Вы применяете safe в качестве модификатора в объявлении, которое компилятор не может классифицировать самостоятельно, например extern элемент или поле в структуре с явным макетом. Модификатор safe является аналогом unsafe: safe указывает, что вызывающие не нуждаются unsafe в контексте, в то время как unsafe распространяет обязательство проверять безопасность вызывающей стороны.

Important

Ключевое safe слово является частью обновленной модели безопасности памяти, предварительной версии функции в C# 15 и .NET 11. Компилятор в .NET 11 preview 5 еще не распознает ключевое слово. Чтобы следовать этой функции, задайте для параметра компилятора LangVersion значение preview. Полный дизайн см. в спецификации функции безопасности памяти. В коде этой статьи показан предлагаемый синтаксис и не компилируется с текущим компилятором предварительной версии.

Экстерн-члены

Член вызывает машинный extern код, поэтому компилятор не может классифицировать его безопасность. В обновленной модели помечается каждое extern объявление, включая частичный LibraryImport метод, safe либо unsafe:

// Preview: illustrates the updated model, which the current compiler doesn't enforce yet.
[LibraryImport("libc")]
internal static safe partial int getpid();

[LibraryImport("libc", StringMarshalling = StringMarshalling.Utf8)]
internal static unsafe partial nint strlen(byte* str);

getpid не принимает параметров и возвращает примитив, поэтому автор подтверждает, что вызов является безопасным, и вызывающие используют его без контекста unsafe . strlen принимает необработанный указатель на то, что машинный код расшифровывается, поэтому объявление является unsafe и распространяет обязательство вызывающим его абонентам. Опущение обоих модификаторов является ошибкой, которая заставляет вас принимать решение о безопасности.

Поля явного макета

В структуре с [StructLayout(LayoutKind.Explicit)]полями могут перекрываться в памяти, поэтому компилятор не может подумать о том, является ли чтение через одно поле звуком. Помечаете каждое поле такой структуры safe или unsafe:

// Preview
[StructLayout(LayoutKind.Explicit)]
internal struct Union
{
    [FieldOffset(0)]
    internal safe int AsInt;

    [FieldOffset(0)]
    internal safe float AsFloat;
}

Поле, которое содержит собственный указатель или тип которого в противном случае несет инвариантную систему типов, не может выразиться unsafe. Поле, тип которого полностью описан системой safeтипов. Как и в случае с extern элементами, опущение обоих модификаторов является ошибкой.

Спецификация языка C#

Дополнительные сведения см. в разделе " Небезопасный код " в спецификации языка C#. Спецификация языка является авторитетным источником синтаксиса и использования языка C#.

Сведения о проектировании обновленной модели безопасности памяти см. в спецификации функции безопасности памяти.

См. также

  • Last updated on