从库中重载函数

Overloading a function from a library

本文关键字:函数 重载      更新时间:2023-10-16

我目前正在为我的项目开发一个小而简单的序列化库。这涉及到一个调用自由模板函数的归档,该函数在默认情况下调用T的save成员函数:

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问题是我不知道如何让编译器找到重载的函数。我花了最后几个小时看boost代码,我试图找到诀窍。

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