重载<<运算符出错：直接输出x+y报错，赋值后输出正常

问题背景 #

我定义了Vector类，包含私有成员std::vector<double> coordinates和int len，dim()方法返回len的值。重载<<、+、[]运算符后，出现了以下异常：

重载的运算符代码 #

重载<<运算符

friend std::ostream& operator<<(std::ostream& os,  Vector& vec ) 
{
    std:: cout << "(";
    for ( int i = 0; i < vec.dim(); i++ ) {
        if ( i != vec.dim()-1){
            os << vec[i] << ", ";
        } else {
            os << vec[i];
        }
    }
    os << ")";
    return os;
}

重载+运算符

friend Vector operator +(Vector& first, Vector& second)
{
    if(first.dim() != second.dim()){
        throw std::length_error{"Vectors must be the same size"};
    }else {
        Vector localVec(first.dim()); // 初始化为dim个0
        for (int i = 0; i < first.dim(); i++){
            localVec[i] = first[i] + second[i];
        }
        return localVec;
    }
}

重载[]运算符

double& operator[](int index)
{
    return this->coordinates[index];
}

问题重现 #

Vector x{1,2,4};
Vector y{1,2,3};
    
Vector z = x + y; 
std:: cout << z; // 正常输出 (2, 4, 7)

std:: cout << x + y; // 编译报错

错误信息 #

could not match 'unique_ptr<type-parameter-0-2, type-parameter-0-3>' against 'Vector'
operator<<(basic_ostream<_CharT, _Traits>& __os, unique_ptr<_Yp, _Dp> const& __p)

我猜测问题和Vector& vec参数有关，但不确定具体原因和解决方法，希望得到提示或学习方向。

完整代码 #

class Vector
{
    private:
        std::vector <double> coordinates;
        int len;
    public:
        Vector(): len{0}, coordinates{} {};
        Vector(std::initializer_list <double> coordinates_): len{static_cast <int>( coordinates_.size())}, coordinates{coordinates_} {}
        Vector(int len) : len{len} {
            for(int i = 0; i < len; i++){
                coordinates.push_back(0);
            }
        }
        int dim() const
        {
            return this->len;
        }

        double& operator[](int index)
        {
            return this->coordinates[index];
        }

        friend std::ostream& operator<<(std::ostream& os,  Vector& vec ) 
        {
            std:: cout << "(";
            for ( int i = 0; i < vec.dim(); i++ ) {
                if ( i != vec.dim()-1){
                    os << vec[i] << ", ";
                } else {
                    os << vec[i];
                }
            }
            os << ")";
            return os;
        }

        friend Vector operator +(Vector& first, Vector& second)
        {
            if(first.dim() != second.dim()){
                throw std::length_error{"Vectors must be the same size"};
            }else {
                Vector localVec(first.dim());
                for (int i = 0; i < first.dim(); i++){
                    localVec[i] = first[i] + second[i];
                }
                return localVec;
            }
        }
};

问题原因与解决方法 #

核心原因 #

1. operator<<参数不兼容临时对象：当前operator<<的第二个参数是Vector& vec（非const左值引用），而x + y返回的是临时对象（右值）。C++规则禁止将右值绑定到非const的左值引用，因此编译器找不到匹配的operator<<，只能尝试匹配其他内置重载（比如unique_ptr的输出重载），导致错误提示。
2. operator+参数同样存在缺陷：当前operator+的参数是Vector&，无法接收临时对象作为输入，比如x + (y + z)这类嵌套加法也会报错。

修复步骤 #

1. 修改operator<<为const引用参数

将第二个参数改为const Vector& vec，同时确保函数内调用的成员方法都是const的：

friend std::ostream& operator<<(std::ostream& os, const Vector& vec) 
{
    os << "("; // 注意：不要用std::cout，必须使用传入的os参数，否则会输出混乱
    for (int i = 0; i < vec.dim(); i++) {
        if (i != vec.dim()-1){
            os << vec[i] << ", ";
        } else {
            os << vec[i];
        }
    }
    os << ")";
    return os;
}

同时需要给operator[]添加const版本，因为const对象只能调用const成员方法：

// 非const版本，用于修改元素
double& operator[](int index)
{
    return this->coordinates[index];
}

// const版本，用于读取元素
const double& operator[](int index) const
{
    return this->coordinates[index];
}

2. 修改operator+为const引用参数

operator+不需要修改操作数，参数改为const引用后，既可以接收左值，也可以接收临时右值：

friend Vector operator+(const Vector& first, const Vector& second)
{
    if(first.dim() != second.dim()){
        throw std::length_error{"Vectors must be the same size"};
    }else {
        Vector localVec(first.dim());
        for (int i = 0; i < first.dim(); i++){
            localVec[i] = first[i] + second[i];
        }
        return localVec;
    }
}

3. 额外优化：移除冗余的len成员

std::vector自带size()方法，len成员属于冗余设计，容易出现不一致问题。可以直接用coordinates.size()代替len：

// 修改后的构造函数和dim()方法
Vector(): coordinates{} {};
Vector(std::initializer_list<double> coordinates_): coordinates{coordinates_} {}
Vector(int len) : coordinates(len, 0.0) {} // 直接用vector构造函数初始化0值

int dim() const
{
    return static_cast<int>(coordinates.size());
}

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