运算符重载中的类型转换错误

Question

我有一个模板类，我需要重载运算符 ==。我通过以下方式做到这一点

template <typename T>
class Polynomial {
    vector<T> coefficients;

    public:
    Polynomial(vector<T> c);

    bool operator ==(const Polynomial& second) const {
            const typename vector<T>::iterator thisBegin = this->coefficients.begin();
            const typename vector<T>::iterator secondBegin = second.coefficients.begin();
            for ( ; ((thisBegin != this->coefficients.end()) &&
                                    (secondBegin != second.coefficients.end()));
                            ++thisBegin, ++secondBegin) {
                    if (*thisBegin != *secondBegin)
                            return false;
            }
            while (thisBegin != this->coefficients.end()) {
                    if (*thisBegin != 0)
                            return false;
                    ++thisBegin;
            }
            while (secondBegin != second.coefficients.end()) {
                    if (*secondBegin != 0)
                            return false;
                    ++secondBegin;
            }
            return true;
    }
};

但是，当我使用 T=int 创建此类的两个对象并尝试应用此运算符时

Polynomial<int> first(firstVector);
Polynomial<int> second(secondVector);
std::cout << (first == second) << std::endl;

我收到了错误

problem2.cpp: In instantiation of ‘bool Polynomial<T>::operator==(const Polynomial<T>&)    const [with T = int; Polynomial<T> = Polynomial<int>]’:
problem2.cpp:63:32:   required from here
problem2.cpp:23:83: error: conversion from ‘std::vector<int, std::allocator<int> >::const_iterator {aka __gnu_cxx::__normal_iterator<const int*, std::vector<int, std::allocator<int> > >}’ to non-scalar type ‘std::vector<int, std::allocator<int> >::iterator {aka __gnu_cxx::__normal_iterator<int*, std::vector<int, std::allocator<int> > >}’ requested

有人能指出这种转换有什么问题吗？谢谢！

Answer 1

您正在尝试将const_iterator 转换为iterator：

const typename vector<T>::iterator thisBegin = this->coefficients.begin();

this 在这种情况下是const，所以this->coefficients.begin(); 返回一个const_iterator。试试这个：

typename vector<T>::const_iterator thisBegin = this->coefficients.begin();

另请注意，thisBegin 不是 const，如您的示例所示。这是因为您随后会做这种事情：

++secondBegin;

这要求const_iterator 是非常量的（这意味着您可以修改迭代器，但不能修改它指向的东西）。

Answer 2

• 您的方法是 const，这意味着您只能在 this 和
上调用 const 函数
• 您将const 引用传递给方法，因此您只能在其上调用const 函数

所以，两个

 this->coefficients.begin();
 second.coefficients.begin()

返回常量迭代器。

您不能将它们分配给非const 的。

有一个解决办法：

vector<T>::const_iterator& thisBegin = this->coefficients.begin();
vector<T>::const_iterator& secondBegin = second.coefficients.begin();

（使用对const_iterator的引用）

更好：

auto& thisBegin = this->coefficients.begin();
auto& secondBegin = second.coefficients.begin();

（使用对auto的引用，C++11 特性）

顺便说一句，您可以使用std::mismatch 简单地比较两个向量