MSDN SafeHandle 示例

Question

也许是一个愚蠢的问题...我是 C# 和 .Net 的新手。

In the example for the SafeHandle class (C#) on MSDN，代码让我有点摸不着头脑。

[SecurityPermission(SecurityAction.InheritanceDemand, UnmanagedCode = true)]
[SecurityPermission(SecurityAction.Demand, UnmanagedCode = true)]
internal class MySafeFileHandle : SafeHandleZeroOrMinusOneIsInvalid
{
    private MySafeFileHandle()
      : base(true)
    {}
    // other code here
}

[SuppressUnmanagedCodeSecurity()]
internal static class NativeMethods
{
    // other code...

    // Allocate a file object in the kernel, then return a handle to it.
    [DllImport("kernel32", SetLastError = true, CharSet = CharSet.Unicode)]
    internal extern static MySafeFileHandle CreateFile(String fileName,
       int dwDesiredAccess, System.IO.FileShare dwShareMode,
       IntPtr securityAttrs_MustBeZero, System.IO.FileMode    
       dwCreationDisposition, int dwFlagsAndAttributes, 
       IntPtr hTemplateFile_MustBeZero);

    // other code...
}

// Later in the code the handle is created like this:
MySafeFileHandle tmpHandle;
tmpHandle = NativeMethods.CreateFile(fileName, NativeMethods.GENERIC_READ,
            FileShare.Read, IntPtr.Zero, FileMode.Open, 0, IntPtr.Zero);

我的问题是： C 函数 CreateFile 中的 Win32 HANDLE 如何进入受保护的 MySafeFileHandle 对象 IntPtr "handle" 变量？ MySafeFileHandle 的构造函数是私有的，甚至不接受 IntPtr 作为参数！

CreateFile 声明上方的评论说了一些关于

…CLR 的平台编组层将以原子方式将句柄存储到 SafeHandle 对象中。

我不确定我确切地知道这意味着什么，谁能解释一下吗？

Answer 1

简短的回答：这很神奇。运行时知道如何正确地将非托管句柄（只是指针大小的值）转换为 SafeHandle 并返回。

长答案：这是足够先进的技术。具体来说，ILSafeHandleMarshaler 是（非托管！）类，负责来回封送SafeHandles。 source code 有用地总结了这个过程：

// 1) create local for new safehandle
// 2) prealloc a safehandle
// 3) create local to hold returned handle
// 4) [byref] add byref IntPtr to native sig
// 5) [byref] pass address of local as last arg
// 6) store return value in safehandle

它发出的将非托管句柄加载到安全句柄中的代码实际上是托管代码，尽管托管代码很乐意忽略可访问性。它获取并调用默认构造函数来创建一个新实例：

MethodDesc* pMDCtor = pMT->GetDefaultConstructor();
pslIL->EmitNEWOBJ(pslIL->GetToken(pMDCtor), 0);
pslIL->EmitSTLOC(dwReturnHandleLocal);   

然后直接设置SafeHandle.handle字段：

mdToken tkNativeHandleField = 
    pslPostIL->GetToken(MscorlibBinder::GetField(FIELD__SAFE_HANDLE__HANDLE));
...

// 6) store return value in safehandle
pslCleanupIL->EmitLDLOC(dwReturnHandleLocal);
pslCleanupIL->EmitLDLOC(dwReturnNativeHandleLocal);
pslCleanupIL->EmitSTFLD(tkNativeHandleField);

构造函数和 handle 字段实际上都不可访问，但此代码不受可见性检查。