En muchos listados de MSIL, he observado lo siguiente:
System.Nullable`1<!0> etc ...
o
class !0 etc ...
¿Cuál es el significado de !0
en estas circunstancias?
Respuestas:
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 !n
como 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 !0
como "T". O usa un descompilador mejor.
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 #).
ldfld class System.Collections.Generic.Dictionary``2<!0, !1> valuetype System.Collections.Generic.Dictionary``2/Enumerator<!TKey, !TValue>::dictionary
o 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; !TKey
ya 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
.
!T
y!!T
, dependiendo si el parámetro genérico es de la clase contenedora o del método ... Lo mismo si uso ildasm