Specifica di nomi di tipo completi
Per ottenere un input valido per diverse operazioni di reflection, è necessario specificare i nomi dei tipi. Un nome di tipo completo è costituito dalla specifica di un nome di assembly, dalla specifica di uno spazio dei nomi e da un nome di tipo. Le specifiche dei nomi di tipi vengono utilizzate da metodi come Type.GetType, Module.GetType, ModuleBuilder.GetType e Assembly.GetType.
Grammatica Backus-Naur Form per nomi di tipi
La Backus-Naur Form (BNF) definisce la sintassi di linguaggi formali. Nella tabella che segue sono elencate le regole lessicali BNF che consentono di riconoscere un input valido. I terminal (elementi non ulteriormente riducibili) sono riportati in maiuscolo. I non terminal (elementi ulteriormente riducibili) sono riportati come combinazione di lettere maiuscole e minuscole o in stringhe racchiuse tra virgolette. In quest'ultimo caso le virgolette (") non fanno parte della sintassi. Il carattere barra verticale (|) denota regole che presentano sottoregole.
Grammatica BNF per i nomi di tipo completi |
|---|
TypeSpec := ReferenceTypeSpec | SimpleTypeSpec |
ReferenceTypeSpec := SimpleTypeSpec '&' |
SimpleTypeSpec := PointerTypeSpec | ArrayTypeSpec | TypeName |
PointerTypeSpec := SimpleTypeSpec '*' |
ArrayTypeSpec := SimpleTypeSpec '[ReflectionDimension]' | SimpleTypeSpec '[ReflectionEmitDimension]' |
ReflectionDimension := '*' | ReflectionDimension ',' ReflectionDimension | NOTOKEN |
ReflectionEmitDimension := '*' | Number '..' Numero | Number '…' | ReflectionDimension ',' ReflectionDimension | NOTOKEN |
Number := [0-9]+ |
TypeName := NamespaceTypeName | NamespaceTypeName ',' AssemblyNameSpec |
NamespaceTypeName := NestedTypeName | NamespaceSpec '.' NestedTypeName |
NestedTypeName := IDENTIFIER | NestedTypeName '+' IDENTIFIER |
NamespaceSpec := IDENTIFIER | NamespaceSpec '.' IDENTIFIER |
AssemblyNameSpec := IDENTIFIER | IDENTIFIER ',' AssemblyProperties |
AssemblyProperties := AssemblyProperty | AssemblyProperties ',' AssemblyProperty |
AssemblyProperty := AssemblyPropertyName '=' AssemblyPropertyValue |
Specifica di caratteri speciali
In TypeName IDENTIFIER rappresenta qualsiasi nome valido stabilito in base alle regole di un linguaggio.
Utilizzare la barra rovesciata (\) come carattere di escape per separare i seguenti token, quando vengono utilizzati in IDENTIFIER.
Token |
Significato |
|---|---|
\, |
Separatore di assembly |
\+ |
Separatore di tipo annidato |
\& |
Tipo di riferimento |
\* |
Tipo di puntatore |
\[ |
Delimitatore delle dimensioni della matrice |
\] |
Delimitatore delle dimensioni della matrice |
\. |
Utilizzare la barra rovesciata prima di un punto solo se questo viene utilizzato in una specifica di matrice. In NamespaceSpec non è previsto l'uso di barre rovesciate prima dei punti. |
\\ |
Utilizzare la barra rovesciata quando richiesta come stringa letterale. |
Tenere presente che gli spazi sono rilevanti in tutti i componenti TypeSpec ad eccezione di AssemblyNameSpec. In AssemblyNameSpec gli spazi che precedono il separatore "," sono rilevanti, mentre quelli che lo seguono vengono ignorati.
Le classi Reflection, quali Type.FullName, restituiscono il nome alternativo in modo che possa essere utilizzato in una chiamata a GetType, ad esempio in MyType.GetType(myType.FullName).
Il nome completo di un tipo è ad esempio Ozzy.OutBack.Kangaroo+Wallaby,MyAssembly.
Se lo spazio dei nomi fosse Ozzy.Out+Back, il segno più (+) dovrebbe essere preceduto da una barra rovesciata. In caso contrario, verrebbe interpretato dal parser come operatore di nidificazione. Con Reflection la stringa viene riprodotta come Ozzy.Out\+Back.Kangaroo+Wallaby,MyAssembly.
Specifica dei nomi degli assembly
Le informazioni minime richieste per la specifica del nome di un assembly sono rappresentate dal nome testuale (IDENTIFIER) dell'assembly. Dopo l'IDENTIFIER è possibile aggiungere un elenco di coppie di valori/proprietà separate da virgole, come descritto nella tabella che segue. Per l'assegnazione del nome dell'IDENTIFIER attenersi alle regole per l'assegnazione dei nomi di file. IDENTIFIER non prevede distinzioni tra maiuscole e minuscole.
Nome della proprietà |
Descrizione |
Valori ammessi |
|---|---|---|
Versione |
Numero di versione dell'assembly |
Major.Minor.Build.Revision, dove Major, Minor, Build e Revision sono valori interi compresi tra 0 e 65535. |
PublicKey |
Chiave pubblica completa |
Valore string della chiave pubblica completa in formato esadecimale. Specificare un riferimento null (Nothing in Visual Basic) per indicare un assembly privato in modo esplicito. |
PublicKeyToken |
Token di chiave pubblica (hash a 8 byte della chiave pubblica completa) |
Valore string del token della chiave pubblica in formato esadecimale. Specificare un riferimento null (Nothing in Visual Basic) per indicare un assembly privato in modo esplicito. |
Culture |
Impostazioni cultura dell'assembly |
Impostazioni cultura dell'assembly in formato RFC-1766, o "neutral" per assembly non dipendenti dalla lingua (non satellite). |
Personalizzato |
Oggetto binario di grandi dimensioni personalizzato (BLOB). Utilizzato attualmente solo in assembly generati dal Generatore di immagini native (Ngen). |
Stringa personalizzata utilizzata dallo strumento generatore di immagini native per notificare alla cache dell'assembly che l'assembly da installare è un'immagine nativa e pertanto deve essere installato nella cache delle immagini native. Definita anche come stringa zap. |
Nell'esempio riportato di seguito viene illustrato AssemblyName per un assembly con nome semplice e impostazioni cultura predefinite.
com.microsoft.crypto, Culture=""
Nell'esempio riportato di seguito viene illustrato un riferimento completamente specificato per un assembly con nome sicuro e impostazioni cultura "en".
com.microsoft.crypto, Culture=en, PublicKeyToken=a5d015c7d5a0b012,
Version=1.0.0.0
Di seguito sono riportati esempi di AssemblyName parzialmente specificati che possono essere soddisfatti da un assembly con nome semplice o con nome sicuro.
com.microsoft.crypto
com.microsoft.crypto, Culture=""
com.microsoft.crypto, Culture=en
Di seguito sono riportati esempi di AssemblyName parzialmente specificati che devono essere soddisfatti da un assembly con nome semplice.
com.microsoft.crypto, Culture="", PublicKeyToken=null
com.microsoft.crypto, Culture=en, PublicKeyToken=null
Di seguito sono riportati esempi di AssemblyName parzialmente specificati che devono essere soddisfatti da un assembly con nome sicuro.
com.microsoft.crypto, Culture="", PublicKeyToken=a5d015c7d5a0b012
com.microsoft.crypto, Culture=en, PublicKeyToken=a5d015c7d5a0b012,
Version=1.0.0.0
Specifica dei puntatori
SimpleTypeSpec* rappresenta un puntatore non gestito. Per ottenere ad esempio un puntatore per il tipo MyType, utilizzare Type.GetType("MyType*"). Per ottenere un puntatore a un puntatore per il tipo MyType, utilizzare Type.GetType("MyType**").
Specifica dei riferimenti
SimpleTypeSpec & rappresenta un riferimento o puntatore gestito. Per ottenere ad esempio un riferimento per il tipo MyType, utilizzare Type.GetType("MyType &"). Tenere presente che, a differenza dei puntatori, i riferimenti sono limitati a un solo livello.
Specifica delle matrici
Nella grammatica BNF, ReflectionEmitDimension è valido solo per definizioni di tipo incomplete recuperate tramite ModuleBuilder.GetType. Per definizioni di tipo incomplete si intendono oggetti TypeBuilder costruiti utilizzando Reflection.Emit ma sui quali non è stato chiamato TypeBuilder.CreateType. È possibile utilizzare ReflectionDimension per recuperare qualsiasi definizione di tipo completata, ovvero un tipo caricato.
Per accedere alle matrici tramite reflection, è necessario specificare il numero di dimensioni della matrice.
Type.GetType("MyArray[]") ottiene una matrice unidimensionale con limite inferiore pari a 0.
Type.GetType("MyArray[*]") ottiene una matrice unidimensionale con limite inferiore sconosciuto.
Type.GetType("MyArray[][]") ottiene una matrice di una matrice bidimensionale.
Type.GetType("MyArray[*,*]") e Type.GetType("MyArray[,]") ottiene una matrice rettangolare bidimensionale con limiti inferiori sconosciuti.
Dal punto di vista del runtime le due notazioni MyArray[] != MyArray[*] sono equivalenti ma per matrici multidimensionali. Type.GetType("MyArray [,]") == Type.GetType("MyArray[*,*]") viene pertanto valutata come true.
Per ModuleBuilder.GetType, MyArray[0..5] indica una matrice unidimensionale con dimensione pari a 6 e limite inferiore pari a 0. MyArray[4…] indica invece una matrice unidimensionale di dimensioni sconosciute e limite inferiore pari a 4.