用于枚举序列化的函数模板

Question

我已经编写了一个函数模板，用于将枚举序列化到我们的流类或从我们的流类序列化枚举（是的，我知道 boost::serialization，但在我的情况下这不是一个选项）。按照我们公司的惯例，枚举被序列化为 int：

template<typename T>
Stream& operator<<( Stream& s, T const& value )
{
    s << ( int ) value;
}

template<typename T>
Stream& operator>>( Stream& s, T & value )
{
    int v;
    s >> v;
    value = (T) v;
}

这些是简单的模板，它们在我的用于（反）序列化枚举项向量的函数模板中也能很好地工作。但我担心它们过于通用，即它们也适用于不是 enums 但可以转换为 int 或从 int 转换的类型 T。我可以改进枚举序列化模板（或者向量序列化模板）以确保它们仅适用于枚举向量吗？

Answer 1

这里需要进行两项改进：并不总是序列化为 int（并非所有枚举都是），而是序列化为任何底层类型。并且，根据您的要求，仅接受枚举。

后者可以使用 std::enable_if 和 std::is_enum 轻松解决：

typename std::enable_if<std::is_enum<T>::value, Stream&>::type
    operator<<( Stream& s, T const& value )

// and likewise for operator>>

对于前者，请在函数内执行以下操作：

Stream& operator<<( Stream& s, T const& value )
{
    typedef typename std::underlying_type<T>::type safe_type;
    s << static_cast<safe_type>(value);
}

// and likewise for operator>>

这需要 C++0x。

如果这不是一个选项，则可以在 Boost 中找到 enable_if 和 is_enum。但是，我认为您需要underlying_type你自己。 （当然，在最坏的情况下，您可以自己完成这三个操作，但如果我没记错的话，is_enum 可能会很痛苦。）