¿Por qué! 0 es un tipo en Microsoft Intermediate Language (MSIL)?


89

En muchos listados de MSIL, he observado lo siguiente:

System.Nullable`1<!0> etc ...

o

class !0 etc ...

¿Cuál es el significado de !0en estas circunstancias?

Respuestas:


119

Esta es una peculiaridad del descompilador que usa para ver un ensamblado .NET. Es el comportamiento de ildasm.exe, otros como Reflector o ILSpy lo hacen bien. El programador de Microsoft que lo escribió tomó un atajo, genera una cadena desde el IL que solo muestra el argumento de tipo de la forma en que está codificado, sin escribir el código adicional para buscar el nombre del argumento de tipo en los metadatos.

Debe leer !ncomo argumento de tipo n-ésimo del tipo genérico. Donde! 0 significa "primer tipo de argumento",! 1 significa "segundo tipo de argumento", etcétera. Para Nullable <>, sabe que '! 0` significa' T 'del artículo de MSDN.

También puede encontrar algo como !!T. Dos signos de exclamación indican un argumento de tipo para un método genérico . Esta vez, ildasm.exe no buscar el nombre de argumento de tipo en lugar de utilizar !!0. Por qué el programador tomó el atajo en tipos genéricos pero no en métodos genéricos es difícil de aplicar ingeniería inversa. Ildasm es un programa bastante peculiar y está escrito en un estilo de codificación C ++ que es muy diferente de otros códigos C ++ en .NET. No tan disciplinado, probabilidades distintas de cero de que esta fuera la tarea de un pasante :)

El sufijo `1 en" Nullable "es una codificación normal para nombres de tipos genéricos, indica que el tipo genérico tiene un argumento de tipo. En otras palabras, para Nullable <> nunca verá que se usa! 1.

Así que simplemente lea !0como "T". O usa un descompilador mejor.


35

Ese es un parámetro de tipo genérico.

Son posicionales.

Descompile algunos códigos genéricos para ver cómo se usan (compare IL vs C #).


5
Si uso TryRoslyn no lo entiendo ... goo.gl/ZZKE38 obtengo !Ty !!T, dependiendo si el parámetro genérico es de la clase contenedora o del método ... Lo mismo si uso ildasm
xanatos

@xanatos No siempre. También veo código como ldfld class System.Collections.Generic.Dictionary``2<!0, !1> valuetype System.Collections.Generic.Dictionary``2/Enumerator<!TKey, !TValue>::dictionaryo call instance void class System.Collections.Generic.Dictionary``2<!TKey, !TValue>::Insert(!0, !1, bool). Sin embargo, el IL sin formato solo usa el argumento posicional; !TKeyya es un intento de hacer que el IL sea más legible. ¿Quizás no siempre funciona bien? La especificación ECMA siempre usa también el !0/ posicional !00.
Luaan
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.