Безопасность потоков в статических методах и переменных

Question

У меня создалось впечатление, что статическая инициализация по потоку по умолчанию. Это верно? Также рассмотрим приведенный ниже пример одноэлементного рисунка.

public sealed class SingletonDemo 
{ 
    private static readonly SingletonDemo instance = new SingletonDemo();  
    private SingletonDemo() 
    {} 
    public static SingletonDemo Instance 
    { 
     get 
     { 
      return instance; 
     } 
    } 
} 

Является ли выше пример безопасной? Если да, то почему? Если нет, то почему?

Answer 1

У меня создалось впечатление, что статическая инициализация по потоку по умолчанию. Это верно?

Да, с точки зрения инициализации - если вы не используете отражения для вызова типа инициализатору снова, и т.д. Конечно, может затем быть несколько потоков, обращающиеся к синглтон в то время, так что вам нужно, чтобы убедиться, что instance пользователей потокобезопасны.

Обратите внимание, что с C# 6, код может быть упрощен до:

правил инициализации

public sealed class SingletonDemo 
{ 
    public static SingletonDemo Instance { get; } = new SingletonDemo();  
    private SingletonDemo() {} 
} 

типа CLR гарантировать, что:

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

с кодом, как это, лень не гарантировала - другими словами, SingletonDemo может быть инициализирован, даже если он никогда не использовал (например, потому что метод называется который условно использует его, но условие не попало). Для того, чтобы сделать его полностью ленивы, вы можете либо использовать Lazy<T> или статический инициализатор:

public sealed class SingletonDemo 
{ 
    public static SingletonDemo Instance { get; } = new SingletonDemo();  
    private SingletonDemo() {} 
    private static SingletonDemo() {} 
}