調試Boost.Serialization地址跟蹤

Question

粗略地說，我有一個對象o和一個指向對象po = &o，這我序列是這樣的：

// Somewhere 
ar & o; 

// Somewhere else, but after somewhere 
ar & po; 

當序列化po，Boost.Serialization應該發現它有已經序列化了o而不是再次序列化*po。我有一種情況，圖書館未能發現這種情況，而是連續兩次序列化o。

不幸的是，在一個簡單示例中重現此行爲的所有嘗試均失敗，並且原始代碼太大而無法在此處發佈。因此，我不是問題的解決方案，而是要求指向Boost.Serialization中的相關代碼部分的指針，它跟蹤地址並確定指針是否需要「深度」序列化。我希望我可以自己做調試。

當然，任何有關錯誤可能的最佳猜測也是受歡迎的，但我不想讓你的水晶球過度疲勞。 ;-)

順便說一句，我用boost::archive::text_oarchive如果這是相關的。

Answer 1

問題的代碼段是basic_oarchive中的save_pointer()函數。

Boost.Serialization使用兩個特性來檢查對象是否已被序列化：對象地址和對象類型。地址部分是顯而易見的，如果你也考慮類型部分是有意義的。我的問題是，我做了而不是想一想，只檢查了兩個地址是否相同。這確實如此，但由於類型不同，序列化庫假定它是兩個不同的對象。

Answer 2

您做的假設是Boost Serialization跟蹤引用上的實例。這是一個錯誤的假設。

AFAIR它跟蹤指針（和智能指針）上的實例。

類似的東西適用於運行時動態類型的多態類。