如何抑制C++中operator=(bool)重载对T*隐式转换的过度匹配

我定义了json_variant的如下赋值重载：

json_variant &operator=(json_variant &&value);
json_variant &operator=(const json_variant &value);
json_variant &operator=(bool value);
json_variant &operator=(double value);
json_variant &operator=(const std::string &value);
json_variant &operator=(std::string &&value);
json_variant &operator=(json_object &&value);
json_variant &operator=(json_array &&value);

执行json_variant v; v = "abc";时，实际调用的是operator=(bool)而非预期的operator=(const std::string&)。原因是原生的指针到bool的转换优先级高于用户定义的const char*到std::string的转换，这种误匹配极易引发严重问题。

下面是几种更优雅的解决思路：

方案一：用SFINAE限制operator=(bool)仅接受bool类型，禁用指针赋值 #

通过模板特化和类型萃取，直接阻断所有指针类型匹配operator=(bool)的可能：

#include <type_traits>

// 仅接受真正的bool参数
json_variant& operator=(bool value) {
    // 原有赋值逻辑
    return *this;
}

// 禁用所有指针类型的赋值
template<typename T>
std::enable_if_t<std::is_pointer_v<T>, json_variant&>
operator=(T) = delete;

这样，const char*无法再隐式转换为bool，编译器会自动选择将其转换为std::string，匹配operator=(const std::string&)。同时所有其他指针类型（如int*）也会被直接禁用赋值，从根源避免误触发。

方案二：显式添加const char*重载并转发到std::string版本 #

针对字符串字面量的场景直接处理，同时禁用其他指针类型：

// 直接处理const char*，转发到std::string重载
json_variant& operator=(const char* str) {
    return *this = std::string(str);
}

// 禁用非const char*的指针赋值
template<typename T>
std::enable_if_t<std::is_pointer_v<T> && !std::is_same_v<T, const char*>, json_variant&>
operator=(T) = delete;

这种方式更直观，明确覆盖字符串字面量的赋值场景，同时阻断其他指针类型的误操作。

方案三：使用std::string_view重载（C++17及以上） #

利用std::string_view高效兼容多种字符串类型，同时配合指针禁用逻辑：

#include <string_view>

// 处理std::string_view，兼容const char*、std::string等
json_variant& operator=(std::string_view sv) {
    return *this = std::string(sv);
}

// 禁用所有指针类型赋值
template<typename T>
std::enable_if_t<std::is_pointer_v<T>, json_variant&>
operator=(T) = delete;

std::string_view可以直接接收const char*、std::string、std::string_view等类型，避免不必要的字符串拷贝（如果内部支持直接存储string_view还能进一步优化），同时彻底解决指针误匹配问题。

对比你之前的方案，以上思路不需要逐个添加char*、const char*重载，也不需要依赖static_assert的编译报错提示，代码更简洁健壮，从机制上避免了误匹配的可能。

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