如何解决[]定义数组传&array时的类型转换错误并实现O(1)数组交换？

错误原因分析 #

你遇到的编译错误 error: cannot convert ‘int (*)[4]’ to ‘int**’ 本质是类型不兼容：

• 栈数组int fr[] = {1,2,3,4}的地址&fr类型是int (*)[4]（指向长度为4的int数组的指针），而你的函数参数是int**（指向指针的指针），两者无法隐式转换。
• 动态分配数组时，int* fr = new int[4]{...}中的fr是指针变量，&fr类型为int**，和函数参数匹配，因此可以正常运行。

注意：你第二个代码存在笔误，int fr = new int[4]{...};应改为int* fr = new int[4]{...};，否则会触发类型不匹配错误。

实现O(1)交换的可行方案 #

栈数组的内存地址是编译期固定的，无法直接修改栈数组变量的指向，因此要实现O(1)复杂度的交换，需要通过指针变量间接持有栈数组地址，再交换指针变量：

#include <iostream>
using namespace std;

void swap_array_by_ptr(int** a, int** b) {
    int* temp = *a;
    *a = *b;
    *b = temp;
}

int main()
{
    // 定义栈上数组
    int fr_arr[] = {1,2,3,4};
    int rv_arr[] = {4,3,2,1};
    // 用指针变量持有栈数组的首地址
    int* fr = fr_arr;
    int* rv = rv_arr;
    
    // 按你期望的方式调用交换函数
    swap_array_by_ptr(&fr, &rv);
    
    // 输出交换后的结果
    for (int i = 0; i < 4 ; i++) {
        cout << fr[i] << " ";
    }
    cout << endl;
    
    for (int i = 0; i < 4 ; i++) {
        cout << rv[i] << " ";
    }
}

运行结果：

4 3 2 1 
1 2 3 4 

为什么不能直接传栈数组地址实现O(1)交换？ #

栈数组变量属于数组类型左值，其指向的内存区域在编译阶段就已确定，无法通过赋值操作修改它的指向。如果强行用int (*a)[4]作为函数参数，只能实现数组内容的交换（O(n)复杂度），无法达成你想要的O(1)交换效果。

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