C++类中动态数组分配的成员关联问题咨询

核心问题梳理 #

• 命名遮蔽问题：构造函数内定义了和类成员同名的局部指针float * array，new申请的内存地址仅赋值给了局部变量，出构造函数后局部变量销毁，不仅内存泄漏，类的私有成员array始终是未初始化的野指针，你观测到的全0值属于野指针访问的未定义行为，只是刚好读取到了0值。
• 语法兼容性问题：C++标准不支持C语言风格的柔性数组成员float array[]，这种写法属于编译器非标准扩展，动态数组的成员应该声明为指针类型float *array。
• 参数与成员重名问题：构造函数的参数arraySize和类私有成员arraySize同名，也存在命名遮蔽风险，建议给类成员加统一前缀规避。
• 内存安全问题：当前析构函数delete[]的是未初始化的野指针，会触发未定义行为，轻则程序崩溃，重则出现数据异常。

修正后的实现代码 #

class Arrayclass {
private:
    int m_arraySize; // 加前缀m_区分成员变量和参数
    float* m_array; // 动态数组用指针声明，不要使用C风格柔性数组

public:
    Arrayclass(int arraySize) {
        m_arraySize = arraySize;
        // 直接给成员指针赋值，不要定义同名局部变量覆盖成员
        m_array = new float[arraySize](); 
        // 尾部的()是值初始化语法，会把所有元素默认初始化为0，不需要0初始化可以去掉
    }

    ~Arrayclass() {
        delete[] m_array; // 释放成员指针指向的堆内存
    }

    // 建议禁用拷贝构造、拷贝赋值运算符，避免浅拷贝导致的double free问题
    Arrayclass(const Arrayclass&) = delete;
    Arrayclass& operator=(const Arrayclass&) = delete;

    // 示例：数组元素读取接口
    float get(int index) const {
        if (index >= 0 && index < m_arraySize) {
            return m_array[index];
        }
        // 越界处理逻辑可自行补充
        return 0.0f;
    }

    // 示例：数组元素写入接口
    void set(int index, float value) {
        if (index >= 0 && index < m_arraySize) {
            m_array[index] = value;
        }
    }
};

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