Costanti di stringa incorporate due volte in .Net?

Question

Dire che ho un semplice (il più semplice?) C# programma:

class Program { 
    static void Main() { 
     System.Console.WriteLine("Hello, world"); 
    } 
} 

Se, compilo il codice e guardo il file exe risultante, vedo il "Ciao, mondo" stringa l'immagine exe come in previsto.

Se refactoring del codice per:

class Program { 
    const string Greeting = "Hello, world"; 
    static void Main() { 
     System.Console.WriteLine(Greeting); 
    } 
} 

Se compilo il codice e guardo il file exe risultante, vedo il "Ciao, mondo" stringa letterale l'immagine exe in due volte. Questo è stato sorprendente per me. Avevo l'impressione che fossero condivisi i letterali delle stringhe e che sarebbe stato visualizzato solo una volta nell'immagine. Qualcuno può spiegarlo? Forse questa seconda copia della stringa è necessaria per i metadati di riflessione?

Answer 1

Il ECMA-335 CLI specification fa luce su questo. A C# const viene dichiarato come campo static literal in IL. Dalla sezione I.8.6.1.2 (sottolineatura mia):

Il letterale vincolo promette che il valore della posizione è in realtà un valore fisso di un tipo built-in. Il valore è specificato come parte del vincolo. I compilatori sono necessari per sostituire tutti i riferimenti alla posizione con il suo valore e pertanto il VES non deve allocare spazio per la posizione. Questo vincolo, mentre logicamente applicabile a qualsiasi posizione, deve essere posizionato solo su campi statici di tipi composti. I campi contrassegnati come così contrassegnati non possono essere referenziati da CIL (devono essere allineati al loro valore costante in fase di compilazione), ma sono disponibili utilizzando la riflessione e gli strumenti che gestiscono direttamente i metadati.

Così il compilatore assume il valore costante e lo sostituisce in tutto il codice. Non è consentito fare riferimento alla memoria costante. Quello che fa da lì è ciò che fa per ogni altra stringa letterale. Fornisce uno slot nella tabella dei metadati e utilizza il codice operativo ldstr per caricare la stringa. Pertanto, il valore appare due volte nell'assieme. Una volta nel percorso di archiviazione per la costante, a cui non è possibile fare riferimento da un compilatore conforme. E un'altra volta nella tabella dei metadati.