我正在尝试使用c ++ 17检查编译时是否存在重载运算符<<。理想情况下,它应该类似于以下内容:
template<typename T>
static void serialize_storage(const void* this_, std::ostream& stream) {
if constexpr (std::is_invocable<...>::value) {
stream << (*reinterpret_cast<const T*>(this_));
} else {
throw std::runtime_error("Type can not be serialized");
}
}
为 is_invocable 形成参数似乎很棘手,因为 operator<< 被重载为 std::ostream 的成员或“独立”运算符。所以我先尝试了两种不同的功能。
一个例子:
#include <map>
#include <string>
#include <iostream>
using Mmap = std::map<std::string, std::string>;
std::ostream& operator<<(std::ostream& stream, const Mmap& map) {
stream << map.size();
return stream;
}
template<typename T>
typename std::enable_if<std::is_invocable<decltype (operator <<(std::declval<std::ostream&>(), std::declval<const T&>())), std::ostream&, const T&>::value, void>::type
serialize_storage(const void* this_, std::ostream& stream) {
stream << (*reinterpret_cast<const T*>(this_));
}
template<typename T>
typename std::enable_if<std::is_invocable<decltype (std::declval<std::ostream>().operator <<(std::declval<T>())), std::ostream, T>::value, void>::type
serialize_storage(const void* this_, std::ostream& stream) {
stream << (*reinterpret_cast<const T*>(this_));
}
int main(int , char* [])
{
Mmap foo;
char boo = 'A';
serialize_storage<Mmap>(&foo, std::cerr);
serialize_storage<char>(&boo, std::cerr);
std::cerr << std::endl;
return 0;
}
但是编译器不能同时替代这两种类型。它看到候选人,但 std::ostream::operator<<(char) 和重载的 std::ostream& operator<<(std::ostream& stream, const Mmap& map) 都不符合 is_invocable 条件。