C++如何检测类型是否支持流写入 实现map转字符串编译校验

自定义流输出能力检测萃取 #

你可以自己实现一个C++11兼容的is_streamable类型萃取，用来在编译期判断某类型是否支持std::ostream的<<运算符：

#include <type_traits>
#include <ostream>

// C++11 兼容的 void_t 实现，C++17及以上可直接用标准库的std::void_t
template<typename... T> struct make_void { using type = void; };
template<typename... T> using void_t = typename make_void<T...>::type;

// 主模板，默认不支持流输出
template<typename T, typename = void>
struct is_streamable : std::false_type {};

// 偏特化：如果 T 能作为右操作数传给 ostream 的 << 运算符，则匹配此特化
template<typename T>
struct is_streamable<T, void_t<
    decltype(std::declval<std::ostream&>() << std::declval<const T&>())
>> : std::true_type {};

// C++14及以上可用变量模板简化调用
template<typename T>
constexpr bool is_streamable_v = is_streamable<T>::value;

方法1：用static_assert触发清晰编译报错 #

如果你不需要为不支持流输出的类型提供其他重载的map2String，只是希望编译失败时能给出明确的错误提示，直接在函数内部加静态断言即可：

template<typename M, typename = std::enable_if_t<
                                std::is_same<M, std::map<typename M::key_type, typename M::mapped_type>>::value ||
                                std::is_same<M, std::unordered_map<typename M::key_type, typename M::mapped_type>>::value>>
std::string map2String(const M& mp) {
    // 加入静态断言，编译期检查类型合法性
    static_assert(is_streamable<typename M::key_type>::value, "Map key type must support << operator for std::ostream");
    static_assert(is_streamable<typename M::mapped_type>::value, "Map value type must support << operator for std::ostream");
    
    std::stringstream res;
    for (const auto& element : mp) {
        res << element.first << "," << element.second << "|";
    }
    return res.str();
}

这种方式的报错信息非常直观，开发者可以直接从提示里看到是类型不支持流输出操作，避免默认模板实例化报错的冗余信息。 #

方法2：将流输出检查加入SFINAE条件（适用于多重载场景） #

如果你需要为不支持流输出的map提供其他版本的map2String重载，可以把流输出的判断条件加到原有的enable_if逻辑里，让不满足条件的场景自动匹配其他重载：

template<typename M, typename = std::enable_if_t<
    (std::is_same<M, std::map<typename M::key_type, typename M::mapped_type>>::value ||
    std::is_same<M, std::unordered_map<typename M::key_type, typename M::mapped_type>>::value) &&
    is_streamable<typename M::key_type>::value &&
    is_streamable<typename M::mapped_type>::value
>>
std::string map2String(const M& mp) {
    // 原有实现
    std::stringstream res;
    for (const auto& element : mp) {
        res << element.first << "," << element.second << "|";
    }
    return res.str();
}

内容的提问来源于stack exchange，提问作者Yves