＆符号在这里做什么？

Question

我正在尝试理解这部分代码，但遇到了一些我无法解释的内容：

template<unsigned ELEMENT_DIM, class SIM, unsigned SPACE_DIM>
void CellBasedSimulationArchiver<ELEMENT_DIM, SIM, SPACE_DIM>::Save(SIM* pSim)
{
    // Do a bunch of stuff

    boost::archive::text_oarchive* p_arch = arch_opener.GetCommonArchive();

    // Archive the simulation (const-ness would be a pain here)
    (*p_arch) & pSim;  //<--------------- What is this?
}

这个函数的重点是使用 boost 来存档模拟的状态，所以它可以在以后重新加载并继续。我试图了解归档实际上是如何发生的，但是带有箭头的线让我感到困惑。在某些时候，实际的保存必须发生，我猜箭头就是它发生的地方。

boost 肯定有什么问题，但这条线到底是什么意思，& 在这里做什么？它是某种参考吗？我查看了some documentation，它包含<< 运算符，但没有&

Answer 1

这里的＆符号是二进制& 运算符。对于整数类型，这将是按位 AND 运算符（就像 << 将是左移运算符），但 boost::archive::text_oarchive 不是整数类型。必须为此类定义了运算符重载函数。因此，此运算符将调用该函数。

根据docs：

sa << x
sa & x

这些表达式必须执行完全相同的功能。他们将 x 的值与其他信息一起附加到 sa。此其他信息由存档的实现定义。通常，此信息是相应的加载存档类型正确恢复 x 值所需的信息。

所以，(*p_arch) & pSim; 将pSim 附加到p_arch 指向的存档中。