Управляемый C++ Статический конструктор, не вызываемый .net4

Question

Недавно я перевел проект, над которым я работаю с .NET 3.5 на .NET 4. Я использую C#, управляемый C++ и неуправляемый C++.

В одном из моего Managed C++() Я-взаимодействия имеет статический конструктор:

public ref class StaticPool : public BaseStaticPools 
{ 
public: 
    static StaticPool() 
    {      
     InitializePools(); 
    } 

    static Poolable^ Dequeue() 
    { 
     return (Poolable^)Dequeue(Poolable::typeid); 
    } 

private: 
    static void InitializePools() 
    {      
     BaseStaticPools::CreatePool(Poolable::typeid);      
    } 
}; 

В .NET 3.5 раз Dequeue() были вызваны в первый раз это будет вызвать статическую инициализацию, которая работает статический конструктор. Как только я перешел на .NET 4.0, статический конструктор никогда не вызывался.

Я знаю, что были внесены изменения в статические инициализации в .NET 4.0, но, согласно всем, что я прочитал, он должен работать нормально.

Answer 1

В .NET инициализаторы типа можно вызывать только при первом обращении к полю. Это контролируется атрибутом [BeforeFieldInit].

Я подал отчет об ошибке, который доступен только бета-тестерам, несмотря на то, что он отмечен как «Общественный».

Вот объяснение от Microsoft, которая может оказаться полезной:

Для C++, это предполагаемое поведение. Мы отмечаем наши классы BeforeFieldInit, и поэтому инициализация CLR выполняется правильно. Мы не предлагаем способ в C++/CLI изменить это поведение. Если вам требуется запустить конструктор классов, вы можете явно вызвать System.Runtime.CompilerServices.RuntimeHelpers::RunClassConstructor.

---

Поскольку мы вызов стандарта здесь, линия из раздела I, 8.9.5 говорит, что это:

Если отмечено BeforeFieldInit то метод инициализатора типа является выполненным в, или раньше, первый доступ к любому статическому полю, определенному для этого типа.

В этом разделе подробно рассказывается о том, как реализация языка может предотвратить предотвращение поведения, которое вы описываете. C++/CLI выбирает не, а они позволяют программисту делать это, если они того пожелают.

В принципе, , поскольку код ниже не имеет абсолютно никаких статических полей, JIT полностью корректен, просто не вызывая статические конструкторы классов.

Answer 2

Джон Скит писал на эту тему:

Type initialization changes in .NET 4.0