In .NET, perché le costanti vengono valutate in fase di compilazione anziché in fase di JIT?

Question

Oggi ho avuto un po 'di sorpresa quando ho cambiato il valore di una costante pubblicamente visibile in una classe statica e poi ho sostituito una vecchia copia dell'assieme con la versione appena compilata. La sorpresa è stata che il programma esistente che faceva riferimento all'assembly non ha rilevato il nuovo valore della costante. Cioè, non ho ricompilato l'eseguibile ma piuttosto ho appena sostituito quell'unico assieme.

Una descrizione completa del mio esperimento è a How constant is a constant?

devo ammettere di essere molto sorpreso da questo comportamento. Capisco cosa sta succedendo, ma non capisco why. C'è una ragione tecnica particolare per cui le costanti non possono essere raccolte al momento del JIT piuttosto che compilare il tempo? Ci sono casi in cui fare ciò potrebbe rompere le cose?

Answer 1

Le costanti devono essere costante. Per tutte le volte. Le costanti sono cose come il valore di pi, o il numero di protoni in un atomo di piombo.

Se le modifiche continue, , non erano realmente una costante; utilizzare invece un campo readonly.

puoi anche consultare i Linee guida di progettazione quadro, in cui si afferma:

Utilizzare i campi di costanti per le costanti che non cambierà mai. Il compilatore masterizza i valori dei campi const direttamente nel codice chiamante. Pertanto i valori const non possono mai essere modificati senza il rischio di rompere la compatibilità.

In sostanza, modificare una costante senza ricompilare tutto ciò che dipende da esso è altrettanto rovinato come cambiare la firma di un metodo senza ricompilare tutto ciò che dipende da esso. Il compilatore "inserisce tutti i tipi di ipotesi sulle informazioni sui metadati dagli assembly referenziati quando compila un assembly dipendente. Se fai cambiare in qualsiasi, non puoi aspettarti che le cose continuino semplicemente a funzionare.

Answer 2

C'è anche un terzo modo per dichiarare "costanti": una proprietà statica pubblica.

public static string ConstString {get{return "First test";}} 

Questo ha la semantica delle versioni di un campo di sola lettura, ma se il jitter Inlines il getter diventa una costante jit-tempo. E a differenza di const può essere utilizzato su tipi definiti dall'utente.

Penso che sia una buona idea utilizzare le proprietà statiche per i tipi di valore e la stringa, ma non per le classi definite dall'utente, poiché non si desidera assegnare una nuova istanza ad ogni accesso di proprietà.

Ho usato questo nel mio tipo PUNTOFISSO in questo modo:

public struct FixedPoint 
{ 
    private int raw; 
    private const fracDigits=16; 

    private FixedPoint(int raw) 
    { 
    this.raw=raw; 
    } 

    public static FixedPoint Zero{get{return new FixedPoint();}} 
    public static FixedPoint One{get{return new FixedPoint(1<<fracDigits);}} 
    public static FixedPoint MaxValue{get{return new FixedPoint(int.MaxValue);}} 
}