您需要存储如何在某处流式传输。
有几种不同的方法。如果您可以集中枚举或注册所有可以流式传输的类型,则可以创建从 typeid 到流式代码的映射,然后使用该映射流式传输您的特定 std::any。
std::unordered_map< std::type_index, void(*)(std::any const&, std::ostream&)> streamers;
template<class T>
void add_streamer() {
streamers[ typeid(T) ] = [](std::any const& a, std::ostream& os ) {
os << std::any_cast<T>(a);
};
}
template<class...Ts>
void add_streamers() {
( void(add_streamer<T>()), ... );
}
现在您可以流式传输了:
void stream( std::ostream& os, std::any const& a ) {
streamers[ a.type() ]( a, os ); // maybe check errors!
}
另一种计划是增加您的 any 实例。
struct streamable_any : std::any {
void(*streamer)(std::ostream&, streamable_any const&) = nullptr;
friend std::ostream& operator<<( std::ostream& os, streamable_any const& a ) {
a.streamer( os, a );
return os;
}
template<class T,
std::enable_if_t<!std::is_same<std::decay_t<T>, streamable_any>{}, bool> = true
>
streamable_any( T&& t ):
std::any( std::forward<T>(t) ),
streamer([](std::ostream& os, streamable_any const& self ) {
os << std::any_cast<std::decay_t<T>>(self);
} )
{}
};
现在 streamable_any 现在只存储可流式传输的类型,并将如何将其流式传输到带有实例的函数指针中。
更安全的streamable_any 不会公开继承std::any,因为通过转换为基础修改std::any 会中断流式传输。只是因为any_cast之类的痛苦而已。
Live example.