Là C# 6? (Elvis op) chủ đề an toàn? Nếu vậy, làm thế nào?

Question

Các lời xin lỗi trước: câu hỏi này đến từ một nhà phát triển C++ lõi cứng, không được cải thiện cố gắng học C# nâng cao. Hãy xem xét những điều sau:

if (myUserDefinedObject != null) 
{ 
    myUserDefinedObject.ToString(); 
} 

Đây rõ ràng không phải là chủ đề an toàn. Mặt khác, tôi đã nhìn thấy hai hướng dẫn nói? (Các Null Conditional Operator hoặc 'Elvis Operator') ví dụ,

myUserDefinedObject?.ToString(); 

LÀ chủ đề an toàn. Trừ khi trình biên dịch kết thúc tốt đẹp một [mutex?] Khóa xung quanh nó dưới nắp (run rẩy), tôi không hiểu làm thế nào mà có thể đúng. Nếu thành ngữ này là thread an toàn, ai đó có thể chỉ cho tôi một mô tả kỹ thuật về cách thức đó được thực hiện? Nếu nó không phải là thread an toàn, không ai có một tham chiếu mà thực sự nói nó không phải là?

Answer 1

Từ MSDN (tôi nhấn mạnh):

Một sử dụng cho việc tiếp cận thành viên vô điều kiện là cách gọi các đại biểu trong một cách thread-safe với mã ít hơn nhiều. Cách cũ đòi hỏi mã như sau:

var handler = this.PropertyChanged; 
if (handler != null) 
    handler(…) 

cách mới đơn giản hơn nhiều:

PropertyChanged?.Invoke(e) 

Cách mới là thread-an toàn vì trình biên dịch tạo ra mã để đánh giá PropertyChanged một lần duy nhất, giữ kết quả trong biến tạm thời.

Vì vậy, không có khóa liên quan đến vấn đề này.

Answer 2

Tôi muốn làm rõ câu trả lời của BJ Myers (đúng).

Trong C# một sự kiện có thể được coi như một trường kiểu đại biểu - giống như một thuộc tính có thể được coi là trường thuộc loại thuộc tính - và giá trị của trường đó có thể là rỗng. Nếu bạn ở trong tình huống không may có một trình xử lý sự kiện đang được sửa đổi trên một chuỗi trong khi một chuỗi khác đang cố gọi nó, bạn có thể vào tình huống:

if (this.SomeEvent != null) 
    this.SomeEvent(...); 

không an toàn. Giá trị có thể được biến đổi để nó không phải là null trước khi kiểm tra, null sau khi kiểm tra, và chương trình bị treo.

Cách thông thường để tạo "chủ đề an toàn" này và tôi sử dụng cụm từ được khuyên dùng, là sao chép giá trị vào một địa phương và sau đó kiểm tra giá trị cục bộ cho giá trị rỗng. Điều này có lợi ích của việc không bị đổ vỡ với một dereference null. Tuy nhiên, các nhà phát triển thông minh sẽ lưu ý rằng vẫn còn một cuộc đua!Chuỗi có thể

• Non-null xử lý sự kiện được lưu trữ trên thread
• Event handler thiết lập để null trên thread B
• Nhà nước cần thiết cho xử lý sự kiện bị hủy diệt trên thread B
• Event handler chạy trên chủ đề A và chết khủng khiếp

Vì vậy, theo nghĩa đó, mẫu này không phải là "an toàn chủ đề". Nếu bạn đang ở vị trí không may này bạn chịu trách nhiệm đảm bảo rằng logic luồng thích hợp được triển khai để điều này không thể xảy ra. Bạn có thể làm điều đó tuy nhiên bạn muốn. Nếu bạn muốn các lợi ích (có thể nghi ngờ) có thể gọi trình xử lý sự kiện trên một chuỗi trong khi thay đổi sự kiện trên một chuỗi khác, thì bạn phải trả tiền để đảm bảo an toàn hoặc xử lý lỗi điều kiện chủng tộc.

Cá nhân tôi sẽ tránh tình trạng này như bệnh dịch hạch, nhưng tôi không đủ thông minh để viết mã đa luồng chính xác.

Bây giờ, đối với câu hỏi thực tế:

some_expression ?. ToString(); 

cũng giống như

temp = some_expression 
temp == null ? null : temp.ToString() 

Là mã sau "thread" theo ý kiến ​​của bạn?