C++模板赋值运算符定义报错求助：自定义operator=无法编译

嘿，我来帮你拆解下这个报错的原因——你的模板赋值运算符没生效，其实是C++编译器的“默认行为”在搞鬼！

当你没有在类A里显式声明拷贝赋值运算符时，编译器会自动给你生成一个默认的版本，它的签名是这样的：

A& operator=(const A&);

当你执行a = 1.3的时候，编译器会优先挑选非模板、完全匹配的函数。默认生成的拷贝赋值运算符是个非模板函数，但double类型的1.3没法隐式转换成const A&，所以编译器找不到合适的赋值重载，直接报错了——而你的模板版本根本没被考虑到！

解决方法 #

要让模板赋值运算符接管所有赋值场景，你只需要显式删除那个默认生成的拷贝赋值运算符就行：

class A {
public:
    // 告诉编译器：我不需要默认的拷贝赋值运算符
    A& operator=(const A&) = delete;

    template<class T>
    A& operator=(const T& obj) {
        // 这里可以加你需要的逻辑，比如根据T类型做不同处理
        return *this;
    }
};

这样修改后，编译器就会优先匹配你的模板版本，把T推导成double，a = 1.3就能正常编译运行了。

如果你还需要支持A类对象之间的赋值，有两种可选方案：

1. 给模板做特化：

// 针对A类型的模板特化
template<>
A& A::operator=(const A& obj) {
    // 这里写A对象之间的赋值逻辑
    return *this;
}

2. 直接在类内添加一个非模板的拷贝赋值重载（这时候就不用删除默认版本了，因为你显式声明了）：

class A {
public:
    // 显式声明拷贝赋值，处理A对象之间的赋值
    A& operator=(const A& obj) {
        // 自定义逻辑
        return *this;
    }

    template<class T>
    A& operator=(const T& obj) {
        // 处理其他任意类型的赋值
        return *this;
    }
};

这样不管是给A对象赋值，还是给它赋int、double、其他类的对象，都能正常工作啦。

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