静态与动态分配指针地址相同，free操作及未定义行为咨询

代码中的关键错误 #

首先要指出你代码里的一个明显问题：output是char**类型，你用malloc(sizeof(char))分配的空间仅够存储一个char，但char**指向的是char*类型变量，正确的分配写法应该是：

char **output = (char **)malloc(sizeof(char*));

如果不修正这个空间大小问题，后续对*output的任何读写操作都会触发未定义行为（属于堆内存越界访问），不过这和你关注的内存释放问题是独立的两个点。

内存释放的合法性判断 #

回到你的核心问题：通过input调用free释放这块堆内存是完全可行的，不属于未定义行为。

原因很直接：free函数只关心传入的地址是否是malloc/calloc/realloc返回的有效堆内存地址，和存储该地址的指针变量本身的分配方式（栈上静态分配或其他）毫无关系。你把output的值（也就是malloc返回的堆内存地址）赋值给了input，此时两个指针指向同一块堆内存，用任意一个调用free都符合C标准的要求。

需要注意：一旦调用free释放了这块内存，input和output都会变成野指针，后续再访问它们指向的内存会触发未定义行为。

关于程序结束时的栈清理 #

你提到程序结束时调用栈会自动清理，但这个清理仅针对栈上的变量（比如input和output这两个指针变量本身），不会自动释放堆内存。虽然现代操作系统会在进程终止后回收该进程占用的所有内存，但从编程规范角度，手动释放堆内存是良好习惯，能避免长期运行的程序出现内存泄漏。

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