C语言中return后能否释放动态内存？代码是否合规？

问题1：返回指针的C语言函数中，return语句之后能否释放函数内动态分配的内存？ #

不能。return语句执行后，函数会立即终止，后续所有代码都不会被执行。你代码里get_column函数的free(column);写在return column;之后，属于死代码，永远不会被调用，这会直接导致动态分配的内存无法释放，造成内存泄漏。

问题2：代码是否存在未定义行为、违反C语言良好编程规范？ #

你的代码存在多处问题，即便编译无警告、执行符合预期，也不代表没有问题：

• 内存泄漏：
  1. get_column中free(column);在return之后，永远不会执行，分配的内存无法释放；
  2. main函数中调用get_column（你代码里写错成get_columb，属于笔误）返回的动态指针，传给print_vector使用后没有调用free，再次导致内存泄漏。
• 未检查malloc返回值：如果malloc因为内存不足返回NULL，后续对column[i]的赋值操作会触发未定义行为（访问空指针）。
• 未校验参数合法性：columnIndex没有做范围检查，如果传入的索引大于等于dimension，访问matrix[i][columnIndex]会导致数组越界，属于未定义行为。
• 笔误问题：main里的get_columb是拼写错误，正确应该是get_column，这个笔误会直接导致编译错误，你说编译通过大概率是实际代码里修正了这个问题。

修正后的示例代码 #

#include <stdio.h>
#include <stdlib.h>

double *get_column(size_t dimension, double matrix[dimension][dimension], unsigned int columnIndex)
{
    // 校验参数合法性
    if (columnIndex >= dimension) {
        fprintf(stderr, "columnIndex out of range\n");
        return NULL;
    }
    double *column = malloc(dimension * sizeof(double));
    // 检查malloc是否成功
    if (column == NULL) {
        fprintf(stderr, "malloc failed\n");
        return NULL;
    }
    for (unsigned int i = 0; i < dimension; i++) {
        column[i] = matrix[i][columnIndex];
    }
    return column;
}

void print_vector(size_t dimension, double vector[dimension])
{
    if (vector == NULL) {
        fprintf(stderr, "vector is NULL\n");
        return;
    }
    for (unsigned int i = 0 ; i < dimension; i++) {
        printf("| %f |\n", vector[i]);
    }
}

int main()
{
    double A[3][3] = {
            {1, 2, 3},
            {4, 5, 6},
            {7, 8, 9}
         };
    
    double *col = get_column(3, A, 2);
    print_vector(3, col);
    // 使用完动态内存后释放
    free(col);
    return 0;
}

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