Как работает статический конструктор?

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

Вот последовательность, которую я предполагал

1. Начало конструктора класса (также известного как cctor)
2. Конец контроля
3. начало Главного
4. начало MyMethod

Это правильно?

Нет. Правильная последовательность такова:

1. Запуск cctor for Program, если он есть. Нет.
2. Конец cctor для программы, если он есть. Нет.
3. Начало основного
4. Запуск cctor для MyClass
5. Конец cctor для MyClass
6. Начало MyClass.MyMethod

Что делать, если есть инициализатор статического поля?

В некоторых случаях среде CLR разрешено изменять порядок запуска инициализаторов статических полей. Подробнее см. на странице Джона по этому вопросу:

Различия между статическими конструкторами и инициализаторами типов

Возможно ли, чтобы статический метод, такой как MyMethod, был вызван до завершения cctor этого класса?

да. Если cctor сам вызывает MyMethod, очевидно, что MyMethod будет вызван до завершения cctor.

CCTOR не вызывает MyMethod. Возможно ли, чтобы статический метод, такой как MyMethod, был вызван до завершения cctor MyClass?

да. Если cctor использует другой тип, cctor которого вызывает MyMethod, то MyMethod будет вызван до завершения cctor MyClass.

Никакие контролеры не вызывают MyMethod прямо или косвенно! Теперь возможно ли, чтобы статический метод, такой как MyMethod, вызывался до завершения cctor MyClass?

No.

Это все еще верно, даже если задействовано несколько потоков?

да. cctor завершит работу в одном потоке до того, как статический метод можно будет вызвать в любом потоке.

Можно ли вызывать cctor более одного раза? Предположим, что два потока вызывают запуск cctor.

Гарантируется, что cctor будет вызываться не более одного раза, независимо от того, сколько потоков задействовано. Если два потока вызывают MyMethod «одновременно», они соревнуются. Один из них проигрывает гонку и блокируется до тех пор, пока cctor MyClass не завершит работу в победном потоке.

Проигравший поток блокируется до тех пор, пока cctor не будет выполнен? Правда?

Действительно.

А что, если cctor в победившей нити вызовет код, блокирующий блокировку, ранее взятую проигравшей нитью?

Тогда у вас есть классическое условие инверсии порядка блокировки. Ваша программа заблокирована. Навсегда.

Это кажется опасным. Как избежать тупика?

Если вам больно, когда вы это делаете, прекратите это делать. Никогда не делайте того, что может заблокировать контроль.

Стоит ли полагаться на семантику инициализации cctor для обеспечения соблюдения сложных требований безопасности? И это хорошая идея иметь cctor, который взаимодействует с пользователем?

Ни одна из хороших идей. Мой совет заключается в том, что вам следует найти другой способ обеспечить соблюдение предварительных условий ваших методов, влияющих на безопасность.

Согласно MSDN, статический конструктор:

Статический конструктор вызывается автоматически для инициализации класса перед созданием первого экземпляра или обращением к любым статическим членам.

Таким образом, статический конструктор будет вызываться до того, как будет вызван статический метод MyClass.MyMethod() (конечно, при условии, что он не также вызывается во время статического построения или инициализации статического поля).

Теперь, если вы делаете что-то асинхронное в этом static constructor, ваша задача — синхронизировать это.

№ 3 на самом деле является № 1: статическая инициализация не начинается до первого использования класса, к которому она принадлежит.

Это возможно, если MyMethod вызывается из статического конструктора или статического блока инициализации. Если вы не вызываете MyMethod прямо или косвенно из своего статического конструктора, все должно быть в порядке.

Из документации (выделено мной):

Статический конструктор вызывается автоматически для инициализации класса перед созданием первого экземпляра или ссылками на какие-либо статические члены.

Вы можете гарантировать, что 4 всегда будет после 2 (если вы не создадите экземпляр своего класса из своего статического метода), однако то же самое не верно для 1 и 3.

Статический конструктор будет вызван до выполнения mymethod. Однако, если вы облажались, если 4 вызывается до 2, я предлагаю вам переосмыслить свой дизайн. В любом случае не следует делать сложные вещи в статическом конструкторе.

CLR гарантирует, что статический конструктор запускается до обращения к любым статическим членам. Тем не менее, ваш дизайн немного вонючий. Было бы проще сделать что-то вроде этого:

static void Main(string[] args) 
{ 
     bool userIsAuthenticated = MyClass.AuthenticateUser();
     if (userIsAuthenticated)
         MyClass.MyMethod(); 
 } 

В вашем дизайне, если аутентификация не удалась, единственный способ предотвратить запуск MyMethod — создать исключение.

Гарантируется, что конструктор статического класса был вызван до выполнения любого из его методов. Пример:

class Program
{
    static void Main(string[] args)
    {
        Console.WriteLine("Press enter");
        Console.ReadLine();
        Boop.SayHi();
        Boop.SayHi();
        Console.ReadLine();
    }

}

static class Boop
{
    static Boop()
    {
        Console.WriteLine("Hi incoming ...");
    }

    public static void SayHi()
    {
        Console.WriteLine("Hi there!");
    }
}

Выход:

Нажмите Ввод

// после нажатия энтер

привет входящий...

Всем привет!

Всем привет!

Вот фактический порядок, в котором все идет вниз:

1. Начало Main
2. Запуск статического конструктора MyClass
3. Конец статического конструктора MyClass
4. Начало MyMethod
5. Конец Main

Или вы можете пройти через отладчик.