Является ли HashSet только для чтения неотъемлемо потокобезопасным?

Question

Если я инициализирую HashSet<> внутри инициализатора Lazy, а затем никогда не меняет его содержимое, то HashSet<> по сути потокобезопасен? Существуют ли операции чтения, требующие блокировки?

Аналогичный вопрос Java here для коллекций в целом, который по существу говорит «да», но с некоторыми оговорками (которые не применяются в этой ситуации).

Answer 1

Да, это так. Пока строительство объекта HashSet является потокобезопасным, доступ к нему всегда будет безопасным потоком, пока содержимое не изменится.

Если вы initialize в Lazy с помощью LazyThreadSafetyMode.PublicationOnly вы можете быть уверены, что инициализация Lazy является поточно.

Когда несколько потоков пытаются инициализировать экземпляр Lazy<T> одновременно, все потоки могут выполняться методом инициализации (или конструктор по умолчанию, если не существует метод инициализации). Первый поток для завершения инициализации задает значение экземпляра Lazy<T>. Это значение возвращается к любым другим потокам, которые одновременно запускали метод инициализации, если только метод инициализации не генерирует исключения из этих потоков.

Небольшой пример кода:

var l = new Lazy<HashSet<string>>(() => new HashSet<string>() { "a" } 
           , LazyThreadSafetyMode.PublicationOnly 
           );