Có thể tạo chu trình tham chiếu chỉ sử dụng các loại giá trị không?

Question

Bằng cách giải thích, hãy loại giá trị này trong C#:

struct ObjRef 
{ 
    public object Value; 
    public ObjRef(object value) { Value = value; } 
} 

tôi có thể tưởng tượng một đồ thị đối tượng nơi có hai đóng hộp trường thuộc loại này, từng nắm giữ một tham chiếu đến người kia. Đây là những gì tôi có ý nghĩa bởi một chu trình tham chiếu chỉ với các kiểu giá trị.

Câu hỏi của tôi là liệu biểu đồ đối tượng đó có thể được xây dựng trong .NET hay không. Về mặt khái niệm, việc xây dựng, nếu nó tồn tại, sẽ như sau:

object left = new ObjRef(); 
object right = new ObjRef(left); 
left.Value = right; 

nhưng rõ ràng, dòng cuối cùng không có giá trị C#. Đặt dòng cuối cùng:

((ObjRef)left).Value = right; 

không đạt được kết quả như hộp bỏ unbox left và bạn sẽ tắt một bản sao. Vì vậy, ít nhất trong C# thẳng, nó không giống như xây dựng là có thể.

Có ai biết liệu xây dựng có thể đạt được bằng cách sử dụng phản chiếu, mã không an toàn, dynamic, mã IL hoặc theo bất kỳ cách nào khác không? Hoặc, bất cứ ai có thể cho thấy rằng CLR có hiệu quả ngăn chặn một chu kỳ tham chiếu?

Xin lưu ý rằng tôi không thực sự muốn tạo biểu đồ đối tượng như vậy. Thay vào đó, câu trả lời có thể ảnh hưởng đến việc thiết kế các thuật toán làm việc với các đồ thị đối tượng, chẳng hạn như các trình định dạng tuần tự hóa/deserialization.

---

EDIT

Như Brian đề nghị, nó thực sự có thể thay đổi giá trị đóng hộp mà không unboxing nó, bằng cách đúc nó vào một loại giao diện thay vì kiểu giá trị. Vì vậy, cho mã này:

interface IObjRef 
{ 
    IObjRef Value { get; set; } 
} 

struct ObjRef : IObjRef 
{ 
    IObjRef value; 
    public IObjRef Value { get { return value; } set { this.value = value; } } 
    public ObjRef(IObjRef value) { this.value = value; } 
} 

sau đó tham chiếu vòng tôi mô tả có thể được xây dựng như thế này:

IObjRef left = new ObjRef(); 
IObjRef right = new ObjRef(left); 
left.Value = right; 

Mà về cơ bản lá chúng tôi với lý do # 72 lý do tại sao có thể thay đổi giá trị loại là ác.

Answer 1

Điều này có thể bằng cách sử dụng giao diện và có loại giá trị triển khai giao diện và tham chiếu với nhau. Điều này cho phép họ tạo chu trình thông qua các giá trị được đóng hộp vì cấu trúc khi được sử dụng với tham chiếu giao tiếp sẽ được đóng hộp.

mẫu nhanh

interface ICycle 
{ 
    void SetOther(ICycle other); 
} 

struct Cycle : ICycle 
{ 
    ICycle value; 
    public void SetOther(ICycle other) 
    { 
     value = other; 
    } 
} 

class Example 
{ 
    static void CreateCycle() 
    { 
     ICycle left = new Cycle(); // Left is now boxed 
     ICycle right = new Cycle(); // Right is now boxed 
     left.SetOther(right); 
     right.SetOther(left); // Cycle 
    } 
} 

Tôi chia sẻ câu hỏi của Brian mặc dù về tự hỏi điều gì lợi thế này sẽ cung cấp cho bạn.

Answer 2

Thành thật mà nói, tôi đã không thử nó, nhưng xem nếu có tài sản Value trên một giao diện, và sau đó sử dụng giao diện như hộp của bạn cho phép bạn thay đổi bản thân đóng hộp chứ không phải là một bản sao mới.

Tôi mơ hồ cảm thấy như nó có thể, mặc dù tôi không chắc chắn lý do tại sao tôi nghĩ rằng. Hữu ích, huh?

Answer 3

Tôi không biết cấu trúc có thể triển khai giao diện. Điều đó có vẻ thực sự kỳ quái; những gì nó tốt cho? Là không thích cho các cấu trúc nói chung, hoặc cho các cấu trúc với các thuộc tính và phương pháp mà hành động theo chúng? Nó quá tệ .net không cho phép một người khai báo các thuộc tính và phương thức cấu trúc nhất định như các mutators, mà việc sử dụng các cấu trúc "ReadOnly" sẽ bị cấm.