使用类动态分配矩阵返回异常数值问题及Vector类代码咨询

从你提供的Vector类代码片段来看，出现类似21.684268-3121的异常值（本质是垃圾内存数据），主要有以下几个核心问题：

• 缺少析构函数导致内存泄漏与野指针：类中用new分配了float数组，但没有对应的delete[]释放内存。更严重的是，当你用默认拷贝构造/赋值运算符复制Vector对象时，会触发浅拷贝——两个对象的a指针指向同一块内存区域。当其中一个对象析构时，这块内存被释放，另一个对象的a就变成了野指针，后续访问时就会读取到垃圾值。

• 第三个构造函数的边界处理缺失：当传入的init为NULL时，函数什么都没做，此时dim和a会处于未初始化的随机状态（如果直接调用这个构造函数而非默认构造后调用），后续访问必然出问题。

• 第二个构造函数未处理输入失败的情况：如果cin读取输入时失败（比如输入的不是浮点数，或者输入数量不足x个），未被赋值的数组元素会保留内存中的原始垃圾值，后续访问这些元素就会出现异常数据。

• 默认拷贝构造与赋值运算符的浅拷贝问题：C++编译器自动生成的拷贝构造和赋值运算符只会复制指针值，而不是指针指向的内容。当多个对象共享同一块内存时，任意一个对象的析构都会导致其他对象的指针失效，进而读取到垃圾内存。

针对上述问题，我们可以一步步修复Vector类：

1. 添加析构函数释放内存 #

首先必须实现析构函数，避免内存泄漏，同时为深拷贝打基础：

~Vector() {
    delete[] a; // 释放动态分配的数组
    a = NULL;
    dim = 0;
}

2. 实现深拷贝的拷贝构造函数 #

替换默认的浅拷贝，确保每个对象拥有独立的内存空间：

Vector(const Vector& other) {
    dim = other.dim;
    a = new float[dim];
    for (unsigned int index = 0; index < dim; index++) {
        a[index] = other.a[index];
    }
}

3. 实现重载赋值运算符（推荐拷贝交换 idiom） #

同样要避免浅拷贝，这里用拷贝交换写法更简洁安全：

Vector& operator=(Vector other) { // 传值触发拷贝构造
    swap(dim, other.dim);
    swap(a, other.a);
    return *this;
}

这样当函数结束时，other会自动析构，带走原来的旧内存。

4. 完善第三个构造函数的边界处理 #

当init为NULL时，明确初始化成员变量：

Vector(const float *init, const unsigned int& size) {
    if (init && size > 0) {
        dim = size;
        a = new float[size];
        for (unsigned int index = 0; index < size; index++) {
            a[index] = init[index];
        }
    } else {
        // 处理空指针或size为0的情况
        dim = 0;
        a = NULL;
    }
}

5. 修复第二个构造函数的输入错误处理 #

添加cin的状态检查，避免垃圾值残留：

#include <iostream>
#include <limits> // 需要包含这个头文件使用numeric_limits

// ... 其他代码 ...

Vector(const unsigned int& x) {
    dim = x;
    a = new float[dim];
    bool inputSuccess = true;
    for (unsigned int index = 0; index < dim; index++) {
        if (!(cin >> a[index])) {
            inputSuccess = false;
            // 清空错误状态，避免后续cin失效
            cin.clear();
            cin.ignore(std::numeric_limits<std::streamsize>::max(), '\n');
            break;
        }
    }
    if (!inputSuccess) {
        // 输入失败，释放已分配的内存并重置状态
        delete[] a;
        a = NULL;
        dim = 0;
        std::cerr << "输入失败，Vector已重置为空" << std::endl;
    }
}

6. 可选：添加边界检查的元素访问函数 #

为了避免越界访问，可以添加at()成员函数：

#include <stdexcept> // 需要包含这个头文件使用out_of_range

// ... 其他代码 ...

float& at(unsigned int index) {
    if (index >= dim || a == NULL) {
        throw std::out_of_range("Vector index out of bounds");
    }
    return a[index];
}

const float& at(unsigned int index) const {
    if (index >= dim || a == NULL) {
        throw std::out_of_range("Vector index out of bounds");
    }
    return a[index];
}

这样处理后，你的Vector类就不会再出现野指针、未初始化内存导致的异常值问题了。

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