Freigeben über


Gewusst wie: Migrieren auf /clr:safe (C++/CLI)

Visual C++ kann unter Verwendung von /clr:safe überprüfbaren Komponenten generieren. Dadurch gibt der Compiler für jedes nicht überprüfbare Codekonstrukt einen Fehler aus.

Hinweise

In den folgenden Fällen werden Überprüfbarkeitsfehler ausgegeben:

  • Systemeigene Typen. Auch wenn sie nicht verwendet wird, verhindert eine Deklaration systemeigener Klassen, Strukturen, Zeiger oder Arrays die Kompilierung.

  • Globale Variablen

  • Funktionsaufrufe in eine nicht verwaltete Bibliothek, einschließlich der Common Language Runtime-Funktionsaufrufe

  • Eine überprüfbare Funktion darf keinen static_cast Operator für die Abwärtskonvertierung enthalten. Der static_cast Operator kann zur Typkonvertierung zwischen primitiven Typen verwendet werden, für die Abwärtskonvertierung muss jedoch safe_cast oder eine Umwandlung im C-Format (als safe_cast implementiert) verwendet werden.

  • Eine überprüfbare Funktion darf keinen reinterpret_cast Operator (oder eine entsprechende Umwandlung im C-Format) enthalten.

  • Eine überprüfbare Funktion kann keine Arithmetik mit einem interior_ptr ausführen. Es sind nur Zeigerzuweisungen und -dereferenzierungen zulässig.

  • Eine überprüfbare Funktion darf lediglich Zeiger auf Referenztypen auslösen oder abfangen, daher müssen Werttypen vor dem Auslösen geschachtelt werden.

  • Eine überprüfbare Funktion darf lediglich überprüfbare Funktionen aufrufen (CRT-Aufrufe sind daher nicht zulässig, denn sie enthalten AtEntry/AtExit, weshalb globale Konstruktoren nicht erlaubt sind).

  • Eine überprüfbare Klasse kann nicht Explicit verwenden.

  • Beim Erstellen einer EXE-Datei dürfen in einer Hauptfunktion keine Parameter deklariert werden, sodass GetCommandLineArgs zum Abrufen der Befehlszeilenargumente verwendet werden muss.

  • Ausführen eines nicht virtuellen Aufrufs einer virtuellen Funktion. Beispiele:

    // not_verifiable.cpp
    // compile with: /clr
    ref struct A {
       virtual void Test() {}
    };
    
    ref struct B : A {};
    
    int main() {
       B^ b1 = gcnew B;
       b1->A::Test();   // Non-virtual call to virtual function
    }
    

Auch die folgenden Schlüsselwörter sind aus überprüfbarem Code auszuschließen:

Siehe auch

Referenz

Reiner und überprüfbarer Code (C++/CLI)