C语言双指针访问疑问：为何main#2无法正常运行？

先明确out_param_test的设计逻辑：它需要修改一个int*类型变量的值，因此第二个参数要求传入int**——也就是这个int*变量的内存地址。

main#1的正确逻辑 #

在main#1中：

• int *output是栈上的int*类型变量，初始值随机但内存空间合法
• 调用out_param_test(..., &output)时，传入的是output的地址，类型为int**，和函数参数完全匹配
• 函数内部执行*out = temp，本质是把temp的地址赋值给output变量，操作的是合法的栈内存，因此运行正常

main#2的错误根源 #

在main#2中：

• int **output是一个未初始化的双指针，它的值是随机的内存地址（野指针），指向的空间既不合法也不可控
• 调用out_param_test(..., output)时，虽然类型也是int**，但传入的是野指针本身，而非某个合法int*变量的地址
• 函数内部执行*out = temp时，相当于试图给野指针指向的未知内存赋值，这直接触发未定义行为——可能导致程序崩溃、内存损坏或其他异常表现

额外补充：若非要用int**的正确写法 #

如果确实需要用int**类型变量接收结果，必须先让它指向一个合法的int*变量，比如：

int main()
{
    srand(42);
    int *p;
    int **output = &p; // 让output指向栈上合法的int*变量p
    int *one_k_rand_ints = calloc(buffer_size, sizeof(int));

    for(int i = 0; i < buffer_size; i++)
    {
        one_k_rand_ints[i] = rand() % 11;        
    }

    out_param_test(one_k_rand_ints, output); // 此时*out等价于p，赋值后p会指向temp
}

但这种写法完全多此一举，main#1的实现才是贴合函数设计意图的最优方式。

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