解决实现 ISerialized 的对象的循环引用

我正在编写自己的 IFormatter 实现，但我想不出一种方法来解决两个都实现 ISerialized 的类型之间的循环引用。

这是通常的模式：

[Serializable]
class Foo : ISerializable
{
    private Bar m_bar;

    public Foo(Bar bar)
    {
        m_bar = bar;
        m_bar.Foo = this;
    }

    public Bar Bar
    {
        get { return m_bar; }
    }

    protected Foo(SerializationInfo info, StreamingContext context)
    {
        m_bar = (Bar)info.GetValue("1", typeof(Bar));
    }

    public void GetObjectData(SerializationInfo info, StreamingContext context)
    {
        info.AddValue("1", m_bar);
    }
}

[Serializable]
class Bar : ISerializable
{
    private Foo m_foo;

    public Foo Foo
    {
        get { return m_foo; }
        set { m_foo = value; }
    }

    public Bar()
    { }

    protected Bar(SerializationInfo info, StreamingContext context)
    {
        m_foo = (Foo)info.GetValue("1", typeof(Foo));
    }

    public void GetObjectData(SerializationInfo info, StreamingContext context)
    {
        info.AddValue("1", m_foo);
    }
}

然后我这样做：

Bar b = new Bar();
Foo f = new Foo(b);
bool equal = ReferenceEquals(b, b.Foo.Bar); // true

// Serialise and deserialise b

equal = ReferenceEquals(b, b.Foo.Bar);

如果我使用开箱即用的 BinaryFormatter 来序列化和反序列化 b，则上述引用相等性测试将返回 true，正如人们所期望的那样。但我无法想象在我的自定义 IFormatter 中实现此目的的方法。

在非 ISerialized 情况下，一旦解决了目标引用，我就可以使用反射简单地重新访问“挂起”对象字段。但对于实现 ISerialized 的对象，无法使用 SerializationInfo 注入新数据。

有人能指出我正确的方向吗？

这种情况的原因是FormatterServices.GetUninitializedObject http://msdn.microsoft.com/en-us/library/system.runtime.serialization.formatterservices.getuninitializedobject.aspx方法。一般的想法是，如果您有对象 A 和 B，它们在各自的对象中相互引用SerializationInfo，您可以按如下方式反序列化它们：

（出于本解释的目的，(SI,SC)指类型的反序列化构造函数，即采用SerializationInfo and a StreamingContext.)

1. 首先选择一个要反序列化的对象。选择哪一个并不重要，只要您不选择值类型即可。假设你选A。
2. Call GetUninitializedObject to allocate（但不初始化） A 类型的实例，因为您还没有准备好调用它(SI,SC)构造函数。
3. 以通常的方式构建B，即创建一个SerializationInfo对象（其中将包括对现在半反序列化的 A 的引用）并将其传递给 B 的(SI,SC)构造函数。
4. 现在您拥有了所需的所有依赖项初始化你分配的 A 对象。创建它的SerializationInfo对象并调用 A(SI,SC)构造函数。您可以通过反射在现有实例上调用构造函数。

The GetUninitializedObject方法是纯粹的 CLR 魔法 - 它创建一个实例，而无需调用构造函数来初始化该实例。它基本上将所有字段设置为零/空。

这就是为什么我们警告您不要在对象中使用子对象的任何成员的原因。(SI,SC)构造函数 - 可以分配子对象，但此时尚未初始化。这也是原因IDeserializationCallback接口，它使您有机会在保证完成所有对象初始化之后和返回反序列化对象图之前使用您的子对象。

The 对象管理器 http://msdn.microsoft.com/en-us/library/system.runtime.serialization.objectmanager.aspx类可以为您完成所有这些（以及其他类型的修复）。然而，考虑到反序列化的复杂性，我总是发现它的记录相当少，所以我从未花时间尝试弄清楚如何正确使用它。它使用一些更多的魔法来执行步骤 4，使用一些优化的 CLR 内部反射来调用(SI,SC)构造函数更快（我将其计时速度大约是公共方式的两倍）。

最后，有些对象图涉及无法反序列化的循环。一个例子是当你有两个周期时IObjectReference实例（我已经测试过BinaryFormatter对此，它会抛出异常）。另一个我怀疑的是如果你有只涉及装箱值类型的循环 https://stackoverflow.com/q/3640963/89434.