Các loại tham chiếu không thể vô hiệu hóa (một lần nữa)

Question

Đã có nhiều câu hỏi xung quanh hỗ trợ cho các kiểu tham chiếu không thể rỗng trong .NET. Hy vọng lớn là hợp đồng mã, nhưng nó được giới hạn trong việc kiểm tra thời gian chạy cho những người có ngân sách hạn chế.

Đối với các cách tiếp cận khác với Hợp đồng mã, Jon Skeet đã viết một số blog post về điều này một vài năm trước đây và một trong những người nhận xét đã cung cấp một cái nhìn hữu ích NonNull struct. Điều này có vẻ giống như một cách tiếp cận tuyệt vời, và tôi có thể tưởng tượng mở rộng nó để cung cấp tất cả các loại không vô giá trị microtypes. Thao tác IL có thể là bước xây dựng sau được kích hoạt bởi thuộc tính trên cấu trúc, ví dụ:

//Microtype representing a non-zero age, so we want to disable the default ctor 
[NoDefaultConstructor] 
public struct Age 
{ 
    public Age(int age) 
    { 
     // Implementation (including validation) elided 
    } 
} 

Trước khi điều tra thêm, tôi muốn hỏi xem có ai biết về bất kỳ sự cố nào có thể gây ra không? Tôi đã không thể nghĩ ra được.

Answer 1

Điều này có thể bị đánh bại khá dễ dàng - thời gian chạy không cố gắng gọi hàm tạo tham số của cấu trúc (nếu có) trong mọi trường hợp.

Cụ thể, nó sẽ không được gọi khi tạo một mảng kiểu cấu trúc.

Age[] ages = new Age[3]; 

// This guy skips your "real" ctor as well as the "invalid" parameterless one. 
Age age = ages[0]; 

... hoặc trong default(structType) biểu:

// Invalid state here too. 
Age age = default(Age); 

Từ Jon Skeet empirical research vào công cụ này, đây là một danh sách các hoạt động khác mà không gọi các nhà xây dựng:

• Chỉ cần khai báo biến, cho dù địa phương, tĩnh hay ví dụ
• Boxing
• Sử dụng default(T) trong một phương pháp chung
• Sử dụng new T() trong một phương pháp chung

Bây giờ tình hình đó để lại cho bạn trong là bạn phải bằng cách nào đó kiểm tra cho mỗi Age dụ hay không ví dụ được tạo ra bằng cách làm việc xung quanh hàng rào của bạn - không tốt hơn nhiều so với việc không dựng lên hàng rào ngay từ đầu.