IsExplicitlyDereferenced Třída

Definice

Obor názvů:

System.Runtime.CompilerServices

Sestavení:

System.Runtime.CompilerServices.VisualC.dll

Označuje, že spravovaný ukazatel představuje parametr ukazatele v rámci podpisu metody. Tato třída se nemůže dědit.

public ref class IsExplicitlyDereferenced abstract sealed

public static class IsExplicitlyDereferenced

type IsExplicitlyDereferenced = class

Public Class IsExplicitlyDereferenced

Dědičnost

Object

IsExplicitlyDereferenced

Příklady

Následující příklad ukazuje, jak generovat IsExplicitlyDereferenced objekt do sestavení pomocí reflexe.

#using <mscorlib.dll>

using namespace System;
using namespace System::Reflection;
using namespace System::Reflection::Emit;
using namespace System::Runtime::CompilerServices;
using namespace System::Threading;


ref class CodeEmitter
{
private:
    AssemblyBuilder^ asmBuilder;
    String^ asmName;
    ModuleBuilder^ modBuilder;


    void prepareAssembly(String^ name){
        
        // Check the input.
        if(!name){
        
            throw gcnew ArgumentNullException("AssemblyName");
        }

        asmName = name;

        // Create an AssemblyName object and set the name.
        AssemblyName^ asmName = gcnew AssemblyName();

        asmName->Name = name;

        // Use the AppDomain class to create an AssemblyBuilder instance.

        AppDomain^ currentDomain = Thread::GetDomain();

        asmBuilder = currentDomain->DefineDynamicAssembly(asmName,AssemblyBuilderAccess::RunAndSave);

        // Create a dynamic module.
        modBuilder = asmBuilder->DefineDynamicModule(name);
    }


public:

    // Constructor.
    CodeEmitter(String ^ AssemblyName){

        prepareAssembly(AssemblyName);
    }

    // Create a new type.
    TypeBuilder^ CreateType(String^ name){
       
        // Check the input.
        if(!name){
        
            throw gcnew ArgumentNullException("AssemblyName");
        }

        return modBuilder->DefineType( name );
    }

    // Write the assembly.
    void WriteAssembly(MethodBuilder^ entryPoint){
    
        // Check the input.
        if(!entryPoint){
        
            throw gcnew ArgumentNullException("entryPoint");
        }

        asmBuilder->SetEntryPoint( entryPoint );
        asmBuilder->Save( asmName );
    }

};

void main()
{

    // Create a CodeEmitter to handle assembly creation.
    CodeEmitter ^ e = gcnew CodeEmitter("program.exe");

    // Create a new type.
    TypeBuilder^ mainClass = e->CreateType("MainClass");
    
    // Create a new method.
    MethodBuilder^ mBuilder = mainClass->DefineMethod("mainMethod", MethodAttributes::Static);

    // Create an ILGenerator and emit IL for 
    // a simple "Hello World." program.
    ILGenerator^ ilGen = mBuilder->GetILGenerator();

    ilGen->Emit(OpCodes::Ldstr, "Hello World");

    array<Type^>^mType = {String::typeid};

    MethodInfo^ writeMI = Console::typeid->GetMethod( "WriteLine", mType );

    ilGen->EmitCall(OpCodes::Call, writeMI, nullptr );

    ilGen->Emit( OpCodes::Ret );

    /////////////////////////////////////////////////
    /////////////////////////////////////////////////
    // Apply a required custom modifier
    // to a field.
    /////////////////////////////////////////////////
    /////////////////////////////////////////////////

    array<Type^>^fType = {IsExplicitlyDereferenced::typeid};

    mainClass->DefineField("modifiedInteger", Type::GetType("System.IntPtr"), fType, nullptr, FieldAttributes::Private);

    // Create the type.
    mainClass->CreateType();

    // Write the assembly using a reference to 
    // the entry point.
    e->WriteAssembly(mBuilder);

    Console::WriteLine(L"Assembly created.");
}

Poznámky

V jazyce C++ se spravované ukazatele a spravované odkazy vysílají do metadat jako ukazatele. Chcete-li rozlišovat mezi těmito dvěma typy v metadatech, kompilátor jazyka Microsoft C++ použije tento modifikátor na spravované ukazatele. Nevygeneruje žádný modifikátor pro spravované odkazové typy. Kompilátory potřebují znát správnou syntaxi volání při importu metody z oboru metadat. Třída IsExplicitlyDereferenced a její partner, IsImplicitlyDereferenced třída, odliší referenční parametry z parametrů ukazatele.

Kompilátory generují vlastní modifikátory v rámci metadat, aby změnily způsob, jakým kompilátor jit (just-in-time) zpracovává hodnoty, když výchozí chování není vhodné. Když kompilátor JIT narazí na vlastní modifikátor, zpracovává hodnotu způsobem, který modifikátor určuje. Kompilátory můžou použít vlastní modifikátory na metody, parametry a návratové hodnoty. Kompilátor JIT musí reagovat na požadované modifikátory, ale může ignorovat volitelné modifikátory.

Vlastní modifikátory můžete do metadat vygenerovat pomocí jedné z následujících technik:

• Použití metod ve TypeBuilder třídě, jako DefineMethodjsou , DefineField, DefineConstructora DefineProperty.

• Generování instrukčního souboru jazyka MSIL (Microsoft Intermediate Language), který obsahuje volání modopt a modreqa sestavení souboru pomocíIlasm.exe (IL Assembler).

• Použití nespravovaného rozhraní API reflexe.