¿Por qué se omiten las comprobaciones de visibilidad solo para métodos dinámicos?

Question

Tengo un código de transferencia que usa DynamicMethod s ampliamente para permitir la precompilación, para un mejor rendimiento de arranque en frío. Me di cuenta de que DynamicMethod s se pueden JITted y se pueden ejecutar con las comprobaciones de visibilidad omitidas, lo que les permite acceder a tipos anidados privados, pero los ensamblados normales no pueden (¿o no? No veo ninguna opción obvia de cargador). ¿Cuál es la razón de esta decisión de diseño?

Answer 1

Necesito agitar un poco las manos respondiendo esta pregunta, CAS es siempre complicado. El argumento skipVisibility es relevante para las aplicaciones host confiables que generan código que se ejecuta en un entorno limitado. En tal caso, no es apropiado realizar comprobaciones cuando se genera el método, ya que el entorno de ejecución es incorrecto. Tiene que suceder cuando el método ejecuta dentro de la caja de arena. Donde está sujeto a las verificaciones CAS normales realizadas por el sandbox.

Estableciendo el argumento en true de hecho agrega una solicitud de permiso para ReflectionPermissionFlag.MemberAccess, necesaria para tener la oportunidad de obtener el método generado.

Topsy-turvy. Hay información de fondo en this MSDN article, sección "Adición de RestrictedMemberAccess a Sandboxed Domains".