我目前正在为我的项目工作一个小而简单的序列化库.这涉及一个调用自由模板函数的存档,默认情况下调用T的存储成员函数:
template<typename Archive, typename T>
inline void save(Archive& a, const T& v)
{
v.save(ar);
}
现在我想在库外部重载此函数以支持没有save方法的类型:
/* A.h */
Class A {/**/};
template<typename Archive>
inline void save(Archive& a, const A& v)
{
a << member; //etc
}
在main.cpp中:
#include "serialization/OStreamArchive.h
#include "a.h"
int main()
{
OStreamArchive<std::ofilestream> ar(somefstream);
A a;
ar << a;
}
所以在概念上它应该像boost序列化库一样工作:http://www.boost.org/doc/libs/1_59_0/libs/serialization/doc/tutorial.html#nonintrusiveversion
问题是我不知道如何让编译器找到重载函数.我花了最后几个小时看着增强代码,我试图找到诀窍.
save的完整调用结构如下:
/* OFileStream.h */
template<typename T>
OStreamArchive& operator<<(const T& value)
{
serialization::commonSave(*this, value);
}
/* save.h */
template<typename Archive, typename T>
inline void save(Archive& archive, const T& value)
{
serialization::Access::save(archive, value); //call T::save
}
template<typename Archive, typename T>
inline void commonSave(Archive& archive, const T& value, std::false_type)
{
serialization::save(archive, value);
}
template<typename Archive, typename T>
inline void commonSave(Archive& archive, const T& value)
{
//primitives get extra treatment
serialization::commonSave(archive, value, typename std::is_fundamental<T>::type());
}
最佳答案 当您创建从模板中使用的自定义点时,将使用ADL进行查找.也就是说,需要在与至少与参数相关联的命名空间中找到该功能的定制版本.当然,您还需要确保不使用合格的调用来调用定义保留点的函数.
如果使用此定义,则应找到save()的特殊版本:
template <typename Archive, typename T>
inline void commonSave(Archive& archive, T const& value, std::false_type) {
using serialization; // find things in namespace serialization if
// if there is no better version
save(archive, value);
}