c – 从库中重载函数

2023年4月6日 158次阅读

我目前正在为我的项目工作一个小而简单的序列化库.这涉及一个调用自由模板函数的存档,默认情况下调用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);
}
点赞