Perché il costruttore statico della classe genitore non viene chiamato quando si richiama un metodo su una classe nidificata?

Question

Dato il seguente codice, perché il costruttore statico di "Outer" non è chiamato dopo la prima riga di "Main"?

namespace StaticTester 
{ 
    class Program 
    { 
     static void Main(string[] args) 
     { 
      Outer.Inner.Go(); 
      Console.WriteLine(); 

      Outer.Go(); 

      Console.ReadLine(); 
     } 
    } 

    public static partial class Outer 
    { 
     static Outer() 
     { 
      Console.Write("In Outer's static constructor\n"); 
     } 

     public static void Go() 
     { 
      Console.Write("Outer Go\n"); 
     } 

     public static class Inner 
     { 
      static Inner() 
      { 
       Console.Write("In Inner's static constructor\n"); 
      } 

      public static void Go() 
      { 
       Console.Write("Inner Go\n"); 
      } 
     } 
    } 
} 

Answer 1

Nel caso di classi nidificate, se la classe nidificata non fa mai riferimento ai membri statici del suo ambito esterno, il compilatore (e CLR) non sono obbligati a chiamare il costruttore statico di quella classe esterna.

Se si desidera forzare l'esecuzione del costruttore statico, è sufficiente aggiungere codice al tipo interno che esegue una lettura di un campo o di una proprietà del tipo esterno.

È possibile leggere ulteriori informazioni sulla semantica di inizializzazione pigra di C# su Jon Skeet's blog - è abbastanza buona. Puoi anche dare un'occhiata al suo libro - C# In Depth, copre anche questi argomenti ... in profondità.

Answer 2

Outer.Inner si riferisce solo a un tipo, in realtà non sta invocando nulla su "Outer".

Answer 3

Un inizializzatore statico viene eseguito solo quando la classe contenente viene utilizzata per la prima volta.

Chiamando Outer.Inner, non si utilizza Outer a tutti, dal momento che Outer.Inner è un tipo diverso rispetto Outer. Pertanto, l'inizializzatore statico in Outer non verrà eseguito.

Answer 4

La tua domanda si risponde con la sezione 10.12 della specifica, in cui si afferma:

L'esecuzione di un costruttore statico è innescato dal primo dei seguenti eventi che si verificano all'interno di un dominio applicazione:

• Un'istanza di viene creato il tipo di classe.

• Qualsiasi i membri statici del tipo di classe sono referenziati.

Dato che non hai fatto nessuna di queste due cose, il ctor non viene eseguito.