Chủ đề của tiện ích mở rộng có an toàn không?

Question

Chủ đề của tiện ích mở rộng này có an toàn không?

public static class Extensions 
    { 
     public static void Raise<T>(this EventHandler<T> handler, 
     object sender, T args) where T : EventArgs 
     { 
     if (handler != null) handler(sender, args); 
     } 
    } 

hoặc tôi có cần thay đổi không?

public static class Extensions 
    { 
     public static void Raise<T>(this EventHandler<T> handler, 
     object sender, T args) where T : EventArgs 
     { 
     var h = handler; 
     if (h!= null) h(sender, args); 
     } 
    } 

Answer 1

Bạn tìm thấy một lỗ vòng thú vị, nó đã đánh bại mọi người. Không, nó không an toàn.

Trong khi đó trông như EventHandler <> tham chiếu được sao chép thông qua đối số phương pháp, đây không phải là điều xảy ra khi chạy. Các phương thức mở rộng có thể được inlined, giống như một phương thức instance thông thường. Trong thực tế, nó là cực kỳ có khả năng nhận được nội tuyến vì nó quá nhỏ. Không có bản sao, bạn phải tự mình làm.

Answer 2

Cả hai phiên bản đều không an toàn, tùy thuộc vào ý bạn là "chủ đề an toàn". Xem xét phiên bản thứ hai của bạn:

var h = handler;   
    if (h!= null) 
     h(sender, args); 

"handler" là bản sao của một số trường có đại diện không thay đổi trong đó. Giả sử rằng trường đó bị biến đổi thành "null" trên một luồng khác sau khi kiểm tra null. Mã của bạn không bị lỗi trong trường hợp đó, bởi vì bạn đã tạo một bản sao của giá trị không null ban đầu. Nhưng chỉ đơn thuần là không bị lỗi không làm cho chương trình an toàn chủ đề an toàn. Một chương trình không sụp đổ nhưng vẫn tạo ra kết quả sai vẫn không phải là luồng an toàn.

Giả sử khi chủ đề khác đặt trường sự kiện thành rỗng, nó cũng làm biến đổi một số trạng thái mà nội dung trước đó cần để chạy chính xác. Bây giờ bạn sẽ chạy một trình xử lý sự kiện phụ thuộc vào trạng thái vừa bị đột biến trên một luồng khác; bạn đang chạy bộ xử lý sự kiện cũ.

Không có cách nào dễ dàng để bảo vệ chống lại vấn đề này; nếu đó là tình huống bạn đang ở, thì bạn sẽ phải thiết kế logic luồng của bạn cực kỳ cẩn thận để đối phó với tình hình.