是否可以仅使用值类型创建引用循环?

为了便于解释,请使用C#中的值类型:

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

盒装的 此类型的实例,每个实例都持有对另一个实例的引用。这就是我所说的只有值类型的引用循环。

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

但很明显,最后一行不是有效的C#。做最后一行:

((ObjRef)left).Value = right;

left 最后你会变异一个拷贝。所以至少在直线C#中,这种构造看起来是不可能的。

有人知道这个构造是否可以通过反射,不安全的代码, dynamic ,IL代码,或以任何其他方式?或者,有人能证明CLR有效地防止了这样的引用循环吗?

编辑

作为 Brian 建议,通过将装箱值转换为接口类型而不是值类型,确实可以修改装箱值而无需取消装箱。所以考虑到这个代码:

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; }
}

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