Especificar nombres de tipo completos

Es preciso especificar los nombres de tipo para tener entradas válidas en varias operaciones de reflexión. Un nombre de tipo completo se compone de una especificación de nombre de ensamblado, una especificación de espacio de nombres y un nombre de tipo. Las especificaciones de nombre de tipo las utilizan los métodos Type.GetType, Module.GetType, ModuleBuilder.GetType y Assembly.GetType.

Gramática del formulario Backus-Naur para nombres de tipo

El formulario Backus-Naur (BNF) define la sintaxis de los lenguajes formales. La tabla que se muestra a continuación enumera las reglas léxicas BNF que describen cómo reconocer una entrada válida. Los elementos terminales, que son aquellos elementos que ya no se pueden reducir, aparecen en mayúsculas. Los elementos no terminales, que son aquellos elementos que aún se pueden reducir, aparecen en mayúsculas y minúsculas o como cadenas con comillas simples ('), pero éstas no forman parte de la sintaxis. La barra vertical (|) indica reglas que tienen subreglas.

Especificar caracteres especiales

En un nombre de tipo, IDENTIFIER es cualquier nombre válido determinado por las reglas de un lenguaje.

Se utiliza la barra diagonal inversa (\) como carácter de escape para separar los siguientes símbolos (token) cuando se utilizan como parte de IDENTIFIER.

Hay que observar que los espacios son relevantes en todos los componentes de TypeSpec, salvo en AssemblyNameSpec. En AssemblyNameSpec, los espacios delante del separador ',' son relevantes, pero los espacios detrás del separador ',' no se tienen en cuenta.

Las clases de reflexión, como Type.FullName, devuelven el nombre trastocado de modo que el nombre devuelto puede usarse en una llamada a GetType, como en MyType.GetType(myType.FullName).

Por ejemplo, el nombre completo de un tipo puede ser Ozzy.OutBack.Kangaroo+Wallaby,MyAssembly.

Si el espacio de nombres es Ozzy.Out+Back, el signo más debe ir precedido de una barra diagonal inversa. En caso contrario, el analizador lo interpretará como un separador de anidamiento. La reflexión emitirá esta cadena como Ozzy.Out\+Back.Kangaroo+Wallaby,MyAssembly.

Especificar nombres de ensamblado

La información mínima requerida en una especificación de nombre de ensamblado es el nombre textual (IDENTIFIER) del ensamblado. A continuación de IDENTIFIER puede aparecer una lista de pares de propiedad/valor separados por comas, tal como se describe en la siguiente tabla. La nomenclatura de IDENTIFIER debe observar las reglas vigentes para la nomenclatura de archivos. Para IDENTIFIER, no se distingue entre mayúsculas y minúsculas.

En el ejemplo siguiente se muestra un AssemblyName de un ensamblado de nombre simple con una referencia cultural predeterminada.

com.microsoft.crypto, Culture="" 

En el ejemplo siguiente se muestra una referencia completamente especificada de un ensamblado de nombre seguro con la referencia cultural "en".

com.microsoft.crypto, Culture=en, PublicKeyToken=a5d015c7d5a0b012,
    Version=1.0.0.0 

Los ejemplos siguientes muestran un AssemblyName parcialmente especificado, que se puede satisfacer mediante un ensamblado de nombre seguro o simple.

com.microsoft.crypto
com.microsoft.crypto, Culture=""
com.microsoft.crypto, Culture=en 

Los ejemplos siguientes muestran un AssemblyName parcialmente especificado, que se debe satisfacer mediante un ensamblado de nombre simple.

com.microsoft.crypto, Culture="", PublicKeyToken=null 
com.microsoft.crypto, Culture=en, PublicKeyToken=null

Los ejemplos siguientes muestran un AssemblyName parcialmente especificado, que se debe satisfacer mediante un ensamblado de nombre seguro.

com.microsoft.crypto, Culture="", PublicKeyToken=a5d015c7d5a0b012
com.microsoft.crypto, Culture=en, PublicKeyToken=a5d015c7d5a0b012,
    Version=1.0.0.0

Especificar punteros

SimpleTypeSpec* representa un puntero no administrado. Por ejemplo, para obtener un puntero al tipo MyType, hay que usar Type.GetType("MyType*"). Por ejemplo, para obtener un puntero a un puntero al tipo MyType, hay que usar Type.GetType("MyType**").

Especificar referencias

SimpleTypeSpec & representa una referencia o un puntero administrado. Por ejemplo, para obtener una referencia al tipo MyType, hay que usar Type.GetType("MyType &"). Hay que tener en cuenta que, a diferencia de los punteros, las referencias se limitan a un nivel.

Especificar matrices

En la gramática de BNF, ReflectionEmitDimension se aplica sólo a las definiciones de tipo incompletas recuperadas mediante ModuleBuilder.GetType. Las definiciones de tipo incompletas son objetos TypeBuilder construidos mediante Reflection.Emit pero en los que no se ha llamado a TypeBuilder.CreateType. Se puede usar ReflectionDimension para recuperar cualquier definición de tipo que se haya completado; es decir, un tipo que está cargado.

Se obtiene acceso a las matrices en la reflexión especificando el rango de la matriz:

• Type.GetType("MyArray[]") obtiene una matriz unidimensional con límite inferior 0.

• Type.GetType("MyArray[*]") obtiene una matriz unidimensional con límite inferior desconocido.

• Type.GetType("MyArray[][]") obtiene la matriz de una matriz bidimensional.

• Type.GetType("MyArray[*,*]") y Type.GetType("MyArray[,]") obtienen una matriz bidimensional rectangular con límites inferiores desconocidos.

Hay que tener en cuenta que desde el punto de vista del motor de tiempo de ejecución, MyArray[] != MyArray[*], a excepción de las matrices multidimensionales, las dos notaciones son equivalentes. Es decir, Type.GetType("MyArray [,]") == Type.GetType("MyArray[*,*]") se evalúa como true.

Para ModuleBuilder.GetType, MyArray[0..5] indica una matriz unidimensional con tamaño 6 y límite inferior 0. MyArray[4…] indica una matriz unidimensional de tamaño desconocido y límite inferior 4.

Vea también

Referencia

AssemblyName
ModuleBuilder
TypeBuilder
Type.FullName
Type.GetType
Type.AssemblyQualifiedName

Conceptos

Ver información de tipos