实现Binary类拷贝构造函数时遭遇Warning C6386问题求助

警告C6386及运行异常的根本原因 #

Warning C6386是缓冲区越界访问的警告，你的代码存在明确的内存越界操作：

• 当alias为false时，你通过new tribool[triLength(copyBinary.triboolList)]分配了长度为triLength(...)的数组，数组有效索引范围是0到triLength(...) - 1。
• 但后续执行triboolList[triLength(copyBinary.triboolList)] = DELIM;时，你访问了索引triLength(...)，超出了数组边界，属于非法内存写入。这种越界行为初期可能无明显异常，但会破坏堆内存结构，后续运行时会触发随机崩溃或异常。
• 另外，(const tribool)强制转换完全多余：copyBinary.triboolList[i]本身就是tribool类型，强制转换既无必要，还可能让编译器误判类型安全，加重警告风险。

解决方法 #

1. 修正数组分配长度 #

分配数组时多预留一个位置给分隔符DELIM，确保内存足够容纳所有元素加分隔符：

triboolList = new tribool[triLength(copyBinary.triboolList) + 1];

2. 移除多余的强制转换 #

直接赋值即可，无需类型转换：

triboolList[i] = copyBinary.triboolList[i];

3. 优化拷贝构造函数参数 #

拷贝构造函数的原对象应该是不可修改的，将参数改为const Binary&，符合C++编码规范：

Binary::Binary(const Binary& copyBinary, bool alias) { 
    if (alias) {
        triboolList = copyBinary.triboolList;
    }
    else {
        int len = triLength(copyBinary.triboolList);
        triboolList = new tribool[len + 1];
        for (int i = 0; i < len; i++) {
            triboolList[i] = copyBinary.triboolList[i];
        }
        triboolList[len] = DELIM;
    }
}

（额外优化：提前计算len，避免多次调用triLength函数，提升效率）

4. 确保triLength函数的正确性 #

triLength需要正确遍历数组直到找到DELIM，返回分隔符之前的元素个数，示例实现参考：

int triLength(const tribool* list) {
    if (!list) return 0; // 处理空指针，避免非法访问
    int count = 0;
    while (list[count] != DELIM) {
        count++;
    }
    return count;
}

5. 补充析构函数避免内存泄漏 #

如果是深拷贝（alias=false），需要在析构函数中释放数组内存：

Binary::~Binary() {
    // 注意：如果是别名模式（alias=true），多个对象共享同一块内存，需额外引入引用计数机制避免重复释放
    // 若当前未实现引用计数，建议仅在深拷贝场景下释放，或重新设计内存管理逻辑
    delete[] triboolList;
}

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