为何编译器无法找到MyPointer类的赋值运算符?
问题原因分析
你的代码出现编译错误的核心原因有两点:
- 模板赋值运算符的参数不匹配
你定义的模板赋值运算符是移动赋值版本:
template <typename U> void operator=(MyPointer<U>&& other)
它仅接受右值引用类型的参数,但你在main中执行my_pointer_b = my_pointer_d;时,my_pointer_d是一个左值,完全不符合这个运算符的参数要求,因此该模板不会被实例化匹配。
- 默认拷贝赋值运算符被抑制
C++标准规定:只要类中显式声明了任何形式的赋值运算符(哪怕是模板类型的),编译器就不会再自动生成默认的拷贝赋值运算符(即MyPointer<T>& operator=(const MyPointer<T>&)或非const左值版本)。
现在你的类中既没有能匹配左值MyPointer<D>的赋值运算符,也没有编译器自动生成的默认拷贝赋值运算符,因此编译器找不到合适的operator=实现,从而报错。
解决办法
可以通过以下两种方式修复:
- 使用右值引用匹配现有运算符
将赋值语句修改为右值形式,让现有模板运算符能匹配:
my_pointer_b = std::move(my_pointer_d);
- 补充左值版本的模板赋值运算符
添加一个接受左值引用的模板赋值运算符,支持派生类指针赋值给基类指针:
template <typename U> void operator=(const MyPointer<U>& other) { // 在这里实现你的拷贝逻辑 }
内容的提问来源于stack exchange,提问作者Zebrafish
相关产品推荐
相关产品推荐

