Beheben von Fehlern und Warnungen in unsicheren Codekonstrukten

In diesem Artikel werden die folgende Compilerdiagnose behandelt:

  • CS0193: Der * oder -> Operator muss auf einen Zeiger angewendet werden.
  • CS0196: Ein Zeiger muss nur mit einem Wert indiziert werden.
  • CS0208: Kann die Adresse nicht annehmen, die Größe abrufen oder einen Zeiger auf einen verwalteten Typ deklarieren ('Typ')
  • CS0209: Der Typ eines in einer fixed Anweisung deklarierten lokalen Typs muss ein Zeigertyp sein.
  • CS0210: Sie müssen einen Initialisierer in einer using oder fixed Deklaration angeben.
  • CS0211: Die Adresse des angegebenen Ausdrucks kann nicht abgerufen werden.
  • CS0212: Sie können nur die Adresse eines nicht behobenen Ausdrucks innerhalb eines fixed Anweisungsinitialisierungsprogramms verwenden.
  • CS0213: Sie können die fixed Anweisung nicht verwenden, um die Adresse eines bereits festen Ausdrucks zu übernehmen.
  • CS0214: Zeiger und Puffer mit fester Größe können nur in unsicherem Kontext verwendet werden.
  • CS0227: Unsicherer Code kann nur angezeigt werden, wenn kompiliert mit /unsafe
  • CS0233: "Identifier" hat keine vordefinierte Größe, daher kann sizeof nur in einem unsicheren Kontext verwendet werden.
  • CS0242: Der fragliche Vorgang ist für leere Zeiger nicht definiert.
  • CS0244: Weder 'is' noch 'as' ist für Zeigertypen gültig
  • CS0254: Die rechte Seite einer festen Anweisung darf kein Umwandlungsausdruck sein.
  • CS0459: Die Adresse einer schreibgeschützten lokalen Variablen kann nicht ermittelt werden.
  • CS0821: Implizit typierte lokale Variablen können nicht behoben werden
  • CS1641: Ein Pufferfeld mit fester Größe muss den Arraygrößenbezeichner nach dem Feldnamen aufweisen.
  • CS1642: Pufferfelder mit fester Größe dürfen nur Elemente von Strukturen sein.
  • CS1656: 'Variable' kann nicht zugewiesen werden, da es sich um einen schreibgeschützten Variablentyp handelt.
  • CS1663: Der Puffertyp mit fester Größe muss einer der folgenden sein: bool, byte, short, int, long, char, sbyte, ushort, uint, ulong, float oder double
  • CS1665: Puffer mit fester Größe müssen eine Länge größer als 0 haben.
  • CS1666: Sie können keine Puffer mit fester Größe verwenden, die in nicht behobenen Ausdrücken enthalten sind. Versuchen Sie, die feste Anweisung zu verwenden.
  • CS1708: Auf Puffer mit fester Größe kann nur über Lokale oder Felder zugegriffen werden.
  • CS1716: Verwenden Sie nicht das Attribut "System.Runtime.CompilerServices.FixedBuffer". Verwenden Sie stattdessen den Feldmodifizierer "fixed".
  • CS1919: Unsicherer Typ "Typname" kann nicht in der Objekterstellung verwendet werden.
  • CS4004: In einem unsicheren Kontext nicht await möglich
  • CS7092: Ein fester Puffer darf nur eine Dimension aufweisen.
  • CS8372: Verwenden Sie kein 'System.Runtime.CompilerServices.FixedBuffer' Attribut für eine Eigenschaft
  • CS8812: Die Methodengruppe 'method' kann nicht in den Nicht-Funktions-Zeigertyp 'type' konvertiert werden.
  • CS9049: Ein festes Feld darf kein Verweisfeld sein.
  • CS9123: Der Operator "&" sollte nicht für Parameter oder lokale Variablen in asynchronen Methoden verwendet werden.
  • CS9360: Dieser Vorgang kann nur in einem unsicheren Kontext verwendet werden.
  • CS9361: stackalloc Ausdruck ohne Initialisierer innerhalb SkipLocalsInit darf nur in einem unsicheren Kontext verwendet werden.
  • CS9362: "Member" muss in einem unsicheren Kontext verwendet werden, da es als "RequiresUnsafe" oder "extern" gekennzeichnet ist.
  • CS9363: "member" muss in einem unsicheren Kontext verwendet werden, da es Zeiger in seiner Signatur enthält.
  • CS9364: Unsicheres member 'member' kann das sichere member 'member' nicht außer Kraft setzen.
  • CS9365: Unsicheres Mitglied 'member' kann sicheres Mitglied 'member' nicht implizit implementieren.
  • CS9366: Unsicheres Element 'member' kann kein sicheres Element 'member' implementieren.
  • CS9367: RequiresUnsafeAttribute Auf dieses Symbol kann nicht angewendet werden.
  • CS9368: RequiresUnsafeAttribute ist nur unter den aktualisierten Speichersicherheitsregeln gültig.
  • CS9376: Ein unsicherer Kontext ist für den Konstruktor 'Konstruktor' erforderlich, der als 'RequiresUnsafe' oder 'extern' gekennzeichnet ist, um die Einschränkung des Typparameters 'new()' in 'generischen Typs oder Methode' zu erfüllen.
  • CS9377: Der Modifizierer "unsafe" hat hier keine Auswirkungen unter den aktuellen Speichersicherheitsregeln.

Zeigeroperationen und Dereferenzierung

  • CS0193: Der *- oder ->-Operator muss auf einen Zeiger angewendet werden.
  • CS0196: Ein Zeiger muss nur mit einem Wert indiziert werden.
  • CS0242: Der fragliche Vorgang ist für leere Zeiger nicht definiert.

Um Zeigervorgänge richtig zu verwenden, befolgen Sie die Regeln für die Ableitung, Indizierung und arithmetische Vorgänge. Weitere Informationen finden Sie unter Zeigertypen und Funktionszeiger.

  • Wenden Sie den *- oder ->-Operator nur auf Datenzeiger (CS0193) an. Verwenden Sie diese Operatoren nicht mit Nichtpointertypen oder Funktionszeigern. Im Gegensatz zu C/C++ können Sie in C# Funktionszeiger nicht dereferenzieren.
  • Indexzeiger mit nur einem Wert (CS0196). Die mehrdimensionale Indizierung wird für Zeiger nicht unterstützt.
  • Vermeiden Sie Vorgänge, die für leere Zeiger (CS0242) nicht definiert sind. Erhöhen Sie z. B. keinen leeren Zeiger, da der Compiler nicht die Größe der Daten kennt, auf die verwiesen wird.

Zeigertypen und verwaltete Typen

  • CS0208: Kann die Adresse nicht annehmen, die Größe abrufen oder einen Zeiger auf einen verwalteten Typ deklarieren ('Typ')
  • CS0233: "Identifier" hat keine vordefinierte Größe, daher kann sizeof nur in einem unsicheren Kontext verwendet werden.

Verwenden Sie nicht verwaltete Typen und ordnungsgemäße Kontexte, um mit Zeigern und dem sizeof Operator ordnungsgemäß zu arbeiten. Weitere Informationen finden Sie unter "Nicht verwaltete Typen " und " sizeof Operator".

  • Verwenden Sie Zeiger nur für nicht verwaltete Typen (CS0208). Nehmen Sie nicht die Adresse von, ermitteln Sie nicht die Größe von, oder deklarieren Sie keine Zeiger auf verwaltete Typen. Verwaltete Typen umfassen Referenztypen und -strukturen, die Referenztypfelder oder -eigenschaften enthalten.
  • Verwenden Sie den sizeof Operator innerhalb eines unsafe Kontexts, wenn Sie mit Typen arbeiten, deren Größe keine Kompilierungszeitkonstante (CS0233) ist.

Feste Anweisungsverwendung

  • CS0209: Der Typ eines in einer festen Anweisung deklarierten lokalen Typs muss ein Zeigertyp sein.
  • CS0210: Sie müssen in einer festen Deklaration oder using-Anweisung einen Initialisierer angeben.
  • CS0211: Die Adresse des angegebenen Ausdrucks kann nicht abgerufen werden.
  • CS0212: Sie können die Adresse eines nicht fixierten Ausdrucks nur innerhalb eines festen Anweisungsinitialisierers verwenden.
  • CS0213: Sie können die fixed-Anweisung nicht verwenden, um die Adresse eines bereits fixierten Ausdrucks zu ermitteln.
  • CS0254: Die rechte Seite einer fixed-Anweisung darf kein Cast-Ausdruck sein.
  • CS0459: Kann die Adresse einer schreibgeschützten lokalen Variablen nicht nehmen.
  • CS0821: Implizit typierte lokale Variablen können nicht behoben werden
  • CS1656: 'Variable' kann nicht zugewiesen werden, da es sich um einen schreibgeschützten Variablentyp handelt.

Diese Fehler treten auf, wenn Sie die fixed Anweisung falsch verwenden. Die fixed Anweisung verhindert, dass der Garbage Collector eine verschiebbare Variable versetzt, und deklariert einen Zeiger auf diese Variable. Weitere Informationen finden Sie unter "Unsicherer Code und Zeiger".

So verwenden Sie die fixed Anweisung richtig:

  • Deklarieren Sie die Variable als Zeigertyp (CS0209).
  • Stellen Sie einen Initialisierer in der fixed-Anweisungsdeklaration bereit (CS0210).
  • Verwenden Sie die Adresse nur gültiger Ausdrücke: Felder, lokale Variablen und Zeigerindirektion (CS0211). Nehmen Sie nicht die Adresse von berechneten Ausdrücken, wie zum Beispiel der Summe zweier Variablen.
  • Verwenden Sie den Adressoperator bei nicht fixierten Ausdrücken nur innerhalb des fixed Anweisungsinitialisierers (CS0212).
  • Verwenden Sie keine fixed-Anweisung für bereits behobene Ausdrücke (CS0213). Lokale Variablen und Parameter in einer unsafe Methode sind bereits im Stack behoben.
  • Verwenden Sie keine Umwandlungsausdrücke auf der rechten Seite einer fixed Anweisungszuweisung (CS0254).
  • Verwenden Sie nicht die Adresse von schreibgeschützten lokalen Variablen (CS0459). Variablen in foreach Schleifen, using Anweisungen und fixed Anweisungen sind nur lesbar. Dieser Fehler wird nicht mehr von aktuellen Versionen des Compilers erstellt.
  • Verwenden Sie explizite Typen anstelle von var in fixed-Anweisungen (CS0821).
  • Weisen Sie in schreibgeschützten Kontexten wie foreach Schleifen, using Befehlen oder fixed Befehlen (CS1656) keine Variablen zu.

Unsichere Kontextanforderungen

  • CS0214: Zeiger und Puffer mit fester Größe können nur in unsicherem Kontext verwendet werden.
  • CS0227: Unsicherer Code kann nur angezeigt werden, wenn die Kompilierung mit /unsafe erfolgt.
  • CS0244: Weder 'is' noch 'as' ist für Zeigertypen gültig
  • CS1919: Unsicherer Typ "Typname" kann in der Objekterstellung nicht verwendet werden.
  • CS4004: In einem unsicheren Kontext nicht await möglich
  • CS9123: Der Operator '&' sollte nicht für Parameter oder lokale Variablen in asynchronen Methoden verwendet werden.
  • CS9360: Dieser Vorgang kann nur in einem unsicheren Kontext verwendet werden.
  • CS9361: stackalloc Ausdruck ohne Initialisierer innerhalb von SkipLocalsInit darf nur in einem unsicheren Kontext verwendet werden.
  • CS9362: "Member" muss in einem unsicheren Kontext verwendet werden, da es als "RequiresUnsafe" oder "extern" gekennzeichnet ist.
  • CS9363: "member" muss in einem unsicheren Kontext verwendet werden, da es Zeiger in seiner Signatur enthält.
  • CS9376: Ein unsicherer Kontext ist für den Konstruktor 'Konstruktor' erforderlich, der als 'RequiresUnsafe' oder 'extern' gekennzeichnet ist, um die Einschränkung des Typparameters 'new()' in 'generischer Typ oder Methode' zu erfüllen.

Diese Diagnose tritt auf, wenn Sie unsichere Codekonstrukte ohne den erforderlichen unsafe Kontext verwenden oder versuchen, Vorgänge auszuführen, die mit unsicheren Typen nicht zulässig sind. Weitere Informationen finden Sie unter "Unsicherer Code und Zeiger und das unsafe Schlüsselwort".

  • Markieren Sie Methoden, Typen oder Codeblöcke, die Zeiger oder Puffer mit fester Größe mit dem unsafe Schlüsselwort (CS0214) verwenden. Der Compiler erfordert einen expliziten unsicheren Kontext für code, der mit Zeigertypen oder Pufferfeldern mit fester Größe funktioniert.
  • Aktivieren Sie die Compileroption AllowUnsafeBlocks in Ihren Projekteinstellungen (CS0227). Ohne diese Option lehnt der Compiler alle unsafe Blöcke ab, auch wenn der Code andernfalls korrekt ist.
  • Verwenden Sie die isas Operatoren nicht mit Zeigertypen (CS0244). Diese Typtestoperatoren sind für Zeiger nicht gültig, da Zeiger nicht an der Typhierarchie teilnehmen.
  • Verwenden Sie den new Operator nicht zum Erstellen von Zeigertypinstanzen (CS1919). Um Objekte im nicht verwalteten Speicher zu erstellen, verwenden Sie Interop, um systemeigene Methoden aufzurufen, die Zeiger zurückgeben.
  • Schützen Sie unsicheren Code getrennt von asynchronem Code (CS4004). Der Compiler lässt Ausdrücke innerhalb eines await Blocks nicht zu, da die Laufzeit die Gültigkeit des Zeigers über Suspensionspunkte hinweg nicht garantieren kann. Erstellen Sie separate Methoden für unsichere Vorgänge, und rufen Sie sie von asynchronen Methoden auf.
  • Verwenden Sie die Adresse des Operators (&) nicht für Parameter oder lokale Variablen in asynchronen Methoden (CS9123). Die Variable ist möglicherweise nicht im Stapel vorhanden, wenn der asynchrone Vorgang nach einem Anhaltepunkt fortgesetzt wird.
  • Markieren Sie Vorgänge, die unsichere Konstrukte (z. B. Zeiger dereferencing, Address-of oder sizeof bei nicht verwalteten Typen) mit dem unsafe Schlüsselwort (CS9360) umfassen. Unter den aktualisierten Speichersicherheitsregeln von C# 15 identifiziert der Compiler einzelne Vorgänge, die einen unsicheren Kontext erfordern.
  • Verwenden Sie das unsafe Schlüsselwort für stackalloc Ausdrücke ohne Initialisierer, wenn das SkipLocalsInit Attribut angewendet wird (CS9361). Ohne Initialisierer enthält der vom Stapel zugewiesene Speicher nicht initialisierte Daten, bei denen es sich um einen unsicheren Vorgang handelt.
  • Verwenden Sie einen unsafe Kontext, wenn Sie Mitglieder aufrufen, die mit RequiresUnsafe oder extern (CS9362) gekennzeichnet sind, oder Member mit Zeigern in ihren Signaturen (CS9363). Der C# 15-Compiler verfolgt die unsichere Membernutzung an der Aufrufstelle und nicht nur bei der Deklaration nach.
  • Verwenden Sie einen unsafe Kontext, wenn für eine new() Einschränkung ein Konstruktor aufgerufen werden muss, der mit RequiresUnsafe oder extern (CS9376) gekennzeichnet ist. Die generische Instanziierung ruft den Konstruktor implizit auf, sodass der aufrufende Kontext unsicher sein muss.

Unsichere Sicherheitsverträge für Mitglieder

  • CS9364: Unsicheres Mitglied "member" kann das sichere Mitglied "member" nicht überschreiben.
  • CS9365: Unsicheres Mitglied "Member" kann kein sicheres Mitglied 'Member' implizit implementieren.
  • CS9366: Unsicheres „member“ kann kein sicheres „member“ implementieren.
  • CS9367: RequiresUnsafeAttribute kann nicht auf dieses Symbol angewendet werden.
  • CS9368: RequiresUnsafeAttribute ist nur unter den aktualisierten Speichersicherheitsregeln gültig.
  • CS9377: Der Modifizierer "unsafe" hat hier keine Auswirkungen unter den aktuellen Speichersicherheitsregeln.

Diese Diagnose erzwingt die C# 15-Sicherheitsvertragsregeln für Mitglieder, die als unsicher gekennzeichnet sind. Der Compiler stellt sicher, dass unsichere Member nicht gegen die Sicherheitserwartungen verstoßen, die von Basisklassen und Schnittstellen festgelegt wurden. Weitere Informationen finden Sie unter "Unsicherer Code und Zeiger und das unsafe Schlüsselwort".

  • Überschreiben Sie kein sicheres Basismitglied mit einem unsicheren Mitglied (CS9364). Eine Außerkraftsetzung muss den Sicherheitsvertrag des Basismitglieds beibehalten. Wenn das Basiselement sicher ist, muss die Überschreibung ebenfalls sicher sein. Entfernen Sie den unsafe Modifizierer oder RequiresUnsafeAttribute vom überschreibenden Mitglied, oder markieren Sie das Basismitglied als unsicher.
  • Implementieren Sie nicht implizit ein sicheres Schnittstellenmitglied mit einem unsicheren Mitglied (CS9365). Wenn ein Typ implizit ein Schnittstellenelement implementiert, erwarten Aufrufer über die Schnittstelle einen sicheren Vorgang. Entfernen Sie die unsichere Bezeichnung aus dem implementierenden Mitglied, oder verwenden Sie die explizite Schnittstellenimplementierung.
  • Implementieren Sie kein sicheres Schnittstellenmitglied mit einem unsicheren Mitglied (CS9366). Auch bei expliziter Implementierung muss der Sicherheitsvertrag des Schnittstellenmitglieds beibehalten werden.
  • Gilt nur für RequiresUnsafeAttribute unterstützte Symboltypen (CS9367). Dieses Attribut kann auf Methoden, Eigenschaften, Ereignisse, Konstruktoren und Typen angewendet werden, aber nicht alle Symboltypen unterstützen es.
  • Aktivieren Sie die aktualisierten Speichersicherheitsregeln zur Verwendung von RequiresUnsafeAttribute (CS9368). Dieses Attribut ist Teil des optimierten Speichersicherheitsmodells von C# 15 und wird unter älteren Regeln nicht erkannt. Stellen Sie sicher, dass Ihr Projekt auf eine Sprachversion ausgerichtet ist, die die aktualisierten Regeln unterstützt.
  • Entfernen Sie den unsafe Modifizierer, wenn er keine Auswirkung hat (CS9377). Unter den aktuellen Speichersicherheitsregeln benötigen oder profitieren bestimmte Kontexte nicht vom unsafe Modifizierer. Der Compiler warnt, wenn der Modifizierer bedeutungslos ist, damit Sie unnötige Anmerkungen bereinigen können.

Puffer fester Größe

  • CS1641: Ein Pufferfeld mit fester Größe muss den Arraygrößenbezeichner nach dem Feldnamen aufweisen.
  • CS1642: Pufferfelder mit fester Größe dürfen nur Elemente von Strukturen sein.
  • CS1663: Der Puffertyp für feste Größe muss eine der folgenden sein: bool, byte, short, int, long, char, sbyte, ushort, uint, ulong, float oder double
  • CS1665: Puffer mit fester Größe müssen eine Länge größer als 0 haben.
  • CS1666: Sie können keine Puffer mit fester Größe verwenden, die in nicht behobenen Ausdrücken enthalten sind. Versuchen Sie, die feste Anweisung zu verwenden.
  • CS1708: Auf Puffer mit fester Größe kann nur über Lokale oder Felder zugegriffen werden.
  • CS1716: Verwenden Sie nicht das Attribut "System.Runtime.CompilerServices.FixedBuffer". Verwenden Sie stattdessen den "festen" Feldmodifizierer.
  • CS7092: Ein fester Puffer darf nur eine Dimension aufweisen.
  • CS8372: Verwenden Sie kein 'System.Runtime.CompilerServices.FixedBuffer' Attribut für eine Eigenschaft
  • CS9049: Ein festes Feld darf kein Bezugsfeld sein

Diese Fehler treten auf, wenn Sie mit Puffern mit fester Größe arbeiten. Puffer mit fester Größe sind Arrays, die direkt in Strukturen eingebettet sind und in erster Linie für Interoperabilitätsszenarien verwendet werden. Weitere Informationen finden Sie unter Puffer mit fester Größe.

So deklarieren und verwenden Sie Puffer mit fester Größe richtig:

  • Geben Sie die Arraygröße nach dem Feldnamen mithilfe einer positiven ganzzahligen Konstante an (CS1641, CS1665).
  • Deklarieren Sie Puffer mit fester Größe nur in Anweisungen, nicht in Klassen (CS1642). Verwenden Sie ein normales Array, wenn Sie das Feld in einer Klasse benötigen.
  • Verwenden Sie einen der unterstützten Elementtypen: bool, , , byteshort, int, long, , charsbyte, ushort, , uintulong, , , oder floatdouble (CS1663).
  • Verwenden Sie eine fixed Anweisung, um die enthaltende Struktur anzuheften, bevor Sie auf den Puffer zugreifen (CS1666).
  • Zugriff auf Puffer mit fester Größe nur über Lokale oder Felder, nicht über Zwischenausdrücke (CS1708).
  • Verwenden Sie den fixed Feldmodifizierer anstelle des System.Runtime.CompilerServices.FixedBuffer Attributs (CS1716). Wenden Sie dieses Attribut nicht auf Eigenschaften an (CS8372).
  • Deklarieren sie feste Puffer mit nur einer Dimension (CS7092). Mehrdimensionale feste Puffer werden nicht unterstützt.
  • Deklarieren Sie puffer mit fester Größe nicht als ref Felder (CS9049). Puffer mit fester Größe müssen Wertfelder sein.

Funktionszeiger

  • CS8812: Die Methoden-Gruppe 'method' kann nicht in den Nicht-Funktions-Zeigertyp 'type' umgewandelt werden.

Verwenden Sie den Adressoperator zusammen mit einer expliziten Typumwandlung zu einem Funktionszeiger, um einen Funktionszeiger zu erhalten. Verwenden Sie den Adressoperator & nicht, um Methodengruppen void* oder andere Nicht-Funktionszeigertypen zuzuweisen. Weitere Informationen finden Sie unter Funktionszeiger.

  • Last updated on