IsExplicitlyDereferenced Třída

Definice

Označuje, že spravovaný ukazatel představuje parametr ukazatele v podpisu metody. Tuto třídu nelze dědit.

public ref class IsExplicitlyDereferenced abstract sealed
public static class IsExplicitlyDereferenced
type IsExplicitlyDereferenced = class
Public Class IsExplicitlyDereferenced
Dědičnost
IsExplicitlyDereferenced

Příklady

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



#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 vygenerují do metadat jako ukazatele. Pokud chcete rozlišovat mezi těmito dvěma typy v metadatech, kompilátor Microsoft C++ použije tento modifikátor na spravované ukazatele. Generuje žádný modifikátor u spravovaných referenčních typů. Kompilátory potřebují při importu metody z oboru metadat znát správnou syntaxi volání. Třída IsExplicitlyDereferenced a její partner, IsImplicitlyDereferenced třída, disambiguate referenční parametry z parametrů ukazatele.

Kompilátory generují vlastní modifikátory v metadatech, aby změnily způsob, jakým kompilátor JIT (just-in-time) zpracovává hodnoty, pokud výchozí chování není vhodné. Když kompilátor JIT narazí na vlastní modifikátor, zpracuje hodnotu způsobem, který určuje modifikátor. 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 generovat pomocí jedné z následujících technik:

Platí pro