C++泛型二维矩阵创建模板函数失效问题排查求助

核心问题点 #

1. 严重内存泄漏：部分分配的内存未回收 #

当某一行内存分配失败时，代码仅尝试释放当前失败的matrix[i]（此时它是NULL，该操作无实际意义），但之前已经成功分配的所有行内存都没有被释放，直接调用exit(0)会导致这部分内存永久泄漏。比如循环到第3行分配失败时，前0、1、2行的内存会被遗弃。

2. 错误处理逻辑冗余且无效 #

• 当matrix[i]为NULL时，执行free(matrix[i])完全多余，因为free(NULL)是合法但无意义的操作。
• 顶层matrix分配失败时，free(matrix)同样多余，因为malloc返回NULL时，对其执行free不会产生任何效果。

3. C风格强制转换不规范 #

C++中虽允许C风格强制转换，但更推荐使用类型安全的static_cast转换malloc的返回值，能避免潜在的类型不匹配问题。

4. 未处理类类型的构造（致命问题） #

如果T是带有非默认构造函数的类类型，malloc仅会分配原始内存空间，不会调用对象的构造函数，导致矩阵中的对象处于未初始化的非法状态，后续使用会触发未定义行为。

修复后的模板函数 #

#include <cstdlib>
#include <cstdio>
#include <new>

template <typename T>
T** createMatrix(int r, int c)
{
    // 分配行指针数组，用static_cast做类型转换
    T** matrix = static_cast<T**>(malloc(r * sizeof(T*)));
    if (!matrix) {
        fprintf(stderr, "Failed to allocate row pointers.\n");
        return nullptr; // 不直接退出，让调用者灵活处理错误
    }

    // 逐行分配内存，类类型自动调用构造函数
    for (int i = 0; i < r; ++i) {
        // 使用new(nothrow)避免抛出异常，失败时返回NULL
        matrix[i] = new(std::nothrow) T[c];
        if (!matrix[i]) {
            fprintf(stderr, "Failed to allocate row %d.\n", i);
            // 释放已成功分配的所有行
            for (int j = 0; j < i; ++j) {
                delete[] matrix[j];
            }
            // 释放行指针数组
            free(matrix);
            return nullptr;
        }
    }

    return matrix;
}

// 配套的矩阵释放函数，确保内存正确回收
template <typename T>
void deleteMatrix(T** matrix, int r)
{
    if (!matrix) return;
    for (int i = 0; i < r; ++i) {
        delete[] matrix[i];
    }
    free(matrix);
}

关键修复说明 #

• 内存泄漏解决：某一行分配失败时，先遍历释放之前所有成功分配的行，再释放行指针数组，彻底避免内存泄漏。
• 类类型支持：用new(std::nothrow)替代malloc，既保证类类型对象会被构造初始化，又保持了原代码"失败返回空指针"的错误处理逻辑。
• 错误处理优化：取消直接exit(0)的操作，返回nullptr让调用者自主决定错误处理方式，提升函数灵活性。
• 配套释放逻辑：提供deleteMatrix模板函数，确保矩阵内存被正确释放（类类型会自动调用析构函数）。

内容的提问来源于stack exchange，提问作者D. Alfano