如何阻止double隐式转换为char？限制FancyString<<仅支持字符类型

现有遗留代码实现了FancyString结构体，通过operator<<追加字符，但该操作符接受char类型参数时，会允许其他可隐式转换为char的类型（如double、int）调用，导致意外行为。需要在不废弃该类的前提下，仅允许signed char、unsigned char、char类型调用该操作符，其他类型触发编译错误。

方案一：显式重载合法类型+删除通用模板重载 #

通过显式实现三种字符类型的operator<<重载，同时声明一个通用模板版本并标记为删除。非字符类型会匹配到删除的模板重载，直接触发编译错误。

struct FancyString {
    // 处理char类型
    FancyString& operator << (char c) {
        // 追加字符的逻辑
        return *this;
    }

    // 处理signed char，转发到char版本
    FancyString& operator << (signed char c) {
        return operator<<(static_cast<char>(c));
    }

    // 处理unsigned char，转发到char版本
    FancyString& operator << (unsigned char c) {
        return operator<<(static_cast<char>(c));
    }

    // 删除所有其他类型的重载，编译时直接报错
    template<typename T>
    FancyString& operator << (T) = delete;
};

优点：报错信息清晰，编译器会直接提示调用了已删除的函数；逻辑直观，容易理解和维护。

方案二：利用SFINAE约束模板参数 #

借助C++标准库的type_traits和SFINAE特性，编写一个模板版本的operator<<，仅允许三种字符类型实例化该模板。

#include <type_traits>

struct FancyString {
    template<typename T, typename = std::enable_if_t<
        std::is_same_v<std::remove_cv_t<T>, char> ||
        std::is_same_v<std::remove_cv_t<T>, signed char> ||
        std::is_same_v<std::remove_cv_t<T>, unsigned char>
    >>
    FancyString& operator << (T c) {
        // 统一转换为char后执行追加逻辑
        char ch = static_cast<char>(c);
        // 追加字符的逻辑
        return *this;
    }
};

优点：代码更简洁，无需单独实现多个重载；自动过滤掉带const/volatile修饰的字符类型（通过std::remove_cv_t）。

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