C++17下如何判断类型是否支持operator<<并实现差异化日志输出

当然可以实现这个功能！在C++17中，我们可以借助SFINAE（Substitution Failure Is Not An Error）和std::void_t来实现这个类型特性检测，再配合if constexpr来在编译时选择正确的输出分支。

首先，我们需要定义一个类型特性trait，用来判断给定类型T是否可以被输出到std::ostream：

#include <type_traits>
#include <iostream>
#include <typeinfo>

// 基础模板：默认标记为不支持operator<<
template <typename T, typename = std::void_t<>>
struct supports_operator_ostream : std::false_type {};

// 特化版本：当表达式 std::declval<std::ostream&>() << std::declval<T>() 合法时，匹配此模板
template <typename T>
struct supports_operator_ostream<T, std::void_t<decltype(std::declval<std::ostream&>() << std::declval<T>())>> : std::true_type {};

// 方便使用的常量别名，简化调用
template <typename T>
constexpr bool supports_operator_ostream_v = supports_operator_ostream<T>::value;

代码解释 #

• std::void_t是C++17引入的工具，它会忽略模板参数的具体类型，只关心参数对应的表达式是否能合法编译。
• std::declval用来在不需要实际构造对象的前提下，获取某个类型的引用，以此检测operator<<是否对该类型可行。
• 当T支持operator<<时，第二个模板参数会被推导为void，从而匹配特化版本，此时trait的value为true；否则匹配基础模板，value为false。

接下来，我们用C++17的if constexpr（编译时条件判断）来在not_equal函数中选择不同的输出逻辑：

template <typename T>
int not_equal(const T& arg1, const T& arg2) {
    if (arg1 == arg2) return 0;

    if constexpr (supports_operator_ostream_v<T>) {
        std::cerr << "Error when comparing " << arg1 << " != " << arg2 << std::endl;
    } else {
        std::cerr << "Error when comparing instances of type: " << typeid(arg1).name() << std::endl;
    }
    return 1;
}

这里if constexpr的核心作用是：编译器会在编译时判断条件是否成立，只实例化符合条件的分支代码。这样即使T不支持operator<<，错误分支的代码也不会被编译，避免了编译报错。

我们可以写几个测试用例验证功能：

// 自定义一个不支持operator<<的类
struct UnprintableClass {
    int value;
    bool operator==(const UnprintableClass& other) const {
        return value == other.value;
    }
};

// 自定义一个支持operator<<的类
struct PrintableClass {
    int value;
    bool operator==(const PrintableClass& other) const {
        return value == other.value;
    }
};

std::ostream& operator<<(std::ostream& os, const PrintableClass& obj) {
    os << "PrintableClass(" << obj.value << ")";
    return os;
}

int main() {
    // 测试内置类型（支持operator<<）
    not_equal(1, 2); // 输出：Error when comparing 1 != 2

    // 测试支持operator<<的自定义类
    not_equal(PrintableClass{1}, PrintableClass{2}); // 输出：Error when comparing PrintableClass(1) != PrintableClass(2)

    // 测试不支持operator<<的自定义类
    not_equal(UnprintableClass{1}, UnprintableClass{2}); // 输出：Error when comparing instances of type: N12_GLOBAL__N_117UnprintableClassE（GCC的名字修饰结果，不同编译器输出可能不同）

    return 0;
}

• typeid(T).name()的输出格式是编译器相关的：GCC/Clang会输出经过名字修饰的字符串，MSVC则会输出更可读的类型名。你提到这种情况可接受，所以无需额外处理。
• 这个检测会自动适配所有可用的operator<<，包括全局函数和类友元实现的版本。
• 如果需要支持const/volatile限定的类型，当前实现已经覆盖了const T&的场景，无需额外调整。

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