Làm thế nào tôi có thể nhận được gần các loại tham chiếu không nullable trong C# ngày hôm nay?

Question

Tôi đã đọc nhiều câu hỏi và câu trả lời cho số non-nullable. Có vẻ như cách tốt nhất để tiếp cận các loại không thể vô hiệu hóa trong C# (4.0) là hack của Jon Skeet NonNullable<>.

Tuy nhiên, có vẻ như C++/CLI đã giải quyết được nhiều vấn đề bằng cách hỗ trợ các tham chiếu được quản lý: Foo% (thay vì bản gốc C++ Foo&). Trình biên dịch làm cho công việc này bằng cách thêm modreq(IsImplicitlyDereferenced) vào đối số. Đang cố gắng để gọi một chức năng như vậy từ C# kết quả trong:

'<FunctionName>' is not supported by the language 

Có điều gì tốt hơn sau đó NonNullable <>?

Có cách nào để (hợp lý - tức là, w/o sử dụng phản chiếu) gọi phương thức C++/CLI Foo::Method(Bar%) từ C#?

---

[sửa] Có vẻ như hiện nay là không có gì tốt hơn so với NonNullable <> ... Tôi ước gì tôi đã có thể nhận một số ý kiến ​​trên ++/CLI thứ C vì nó đã có ít nhất một phần dung dịch.

Answer 1

Tôi đã gặp phải điều này một vài lần ... Tôi chưa tìm thấy bất kỳ điều gì tốt hơn giải pháp của Skeet. Nó giải quyết tất cả các trường hợp tôi đã gặp phải, vì vậy tôi phải bỏ phiếu cho tôi.

Tôi đồng ý rằng đó là một chút tình huống khó khăn mà chúng tôi phải giải quyết cho điều đó ... nhưng bản sửa lỗi của anh ấy không giải quyết được vấn đề.

Answer 2

Yep, speC#: http://research.microsoft.com/en-us/projects/specsharp/

- Chỉnh sửa: Tôi chỉ nhận thấy bạn nói C# 4.0; Tôi khá chắc chắn SpeC# không hỗ trợ phiên bản đó. Tuy nhiên, nó đáng xem xét.

Bạn cũng có thể (tôi nghĩ) để kiểm tra ở giai đoạn nhẹ sau đó biên dịch, thông qua một quy tắc trong Gendarme: http://www.mono-project.com/Gendarme (giả định rằng chạy chống lại 4.0)