C 指针取消引用错误

Question

假设我有以下代码（示例）：

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

void Ex(void *ret, int ret_len, int choice){
    if(choice==1){
        int *ret = ret;              
        for(int i=0; i<ret_len; i++){
            *(ret+i) = i;
        }
     } else {
        int **ret = ret;            
        for(int i=0; i<ret_len; i++){
            for(int j=0; j<ret_len; j++){
                *(*(ret+i)+j) = i*j;
            }
        }
     }
}

int main()
{
    int m[10];
    Ex(m,10,1);
    printf("%i",m[3]);
    return 0;
}

该函数的目标是获取一个指向一维数组的预分配内存的指针。或。

当编译和执行代码在choice==1时工作，否则，如果我运行

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

void Ex(void *ret, int ret_len, int choice){
    if(choice==1){
        int *ret = ret;              
        for(int i=0; i<ret_len; i++){
            *(ret+i) = i;
        }
     } else {
        int **ret = ret;            
        for(int i=0; i<ret_len; i++){
            for(int j=0; j<ret_len; j++){
                *(*(ret+i)+j) = i*j;
            }
        }
     }
}

int main()
{
    int m[100];
    Ex(m,10,2);
    printf("%i", m[3][5]);
    return 0;
}

没有产生任何输出，代码似乎永远运行（注意选择现在不是 1，m 是正确的大小）

我的印象是 Ex 中的强制转换应该改变数组的形状并允许 main 像 2d 一样索引它，但既不能像 1d 那样索引也不能像 2d 一样工作。

Answer 1

查看了有关问题的 cmets 和一些答案，这是我为您的要求收集的内容。

您需要一个通用函数，该函数接受 choice 维度的数组并使用一些值对其进行初始化。

这可以满足您的目的。

void Ex(void *_ret, int ret_len, int choice){
    if(choice==1){
        int *ret = _ret;              
        int i;
        for(i=0; i<ret_len; i++){
            ret[i] = i;
        }
     } else {
        int (*ret)[ret_len] = _ret;            
        int i, j;
        for(i=0; i<ret_len; i++){
            for(j=0; j<ret_len; j++){
                ret[i][j] = i*j;
            }
        }
     }
}

现在你可以这样称呼它

int main(void) {
    int first[10];
    Ex(first, 10, 1);
    int second[20][20];
    Ex(second, 20, 2);
    printf("first[4] = %d\n", first[4]);
    printf("second[3][4] = %d\n", second[3][4]);
} 

你可以看到Demo here

Answer 2

因为ret if 属于int * 类型，但 else 部分是：

    for(int i=0; i<ret_len; i++){
        for(int j=0; j<ret_len; j++){
            *(*(ret+i)+j)=i*j;
        }
    }

需要int ** 类型的ret。这会导致错误。

---

解决问题的方法是使用void *。这是在 C 中使用 泛型 的一种方式。

看看qsort in C.

void Ex(void *_ret, int ret_len, int choice){
    if(choice==1){
        int *ret = (int *)_ret;              // <---- type conversion
        for(int i=0; i<ret_len; i++){
            *(ret+i) = i;
        }
     } else {
        int **ret = (int **)_ret;            // <---- type conversion
        for(int i=0; i<ret_len; i++){
            for(int j=0; j<ret_len; j++){
                *(*(ret+i)+j) = i*j;
            }
        }
     }
}

Answer 3

我想出的对现有代码更改最少的最接近的事情是：

#include <stdio.h>
void Ex(int * ret, int ret_len, int choice){
    if(choice==1){
        for(int i=0; i<ret_len; i++){
            *(ret+i)=i;
        }
     }else{
        for(int i=0; i<ret_len; i++){
            for(int j=0; j<ret_len; j++){
                *(ret + i*ret_len + j) = i*j;
            }
        }
     }
}

int main() {
  int anint[10][10];
  Ex(anint, 10, 2);

  for (int i = 0; i < 10; i++) {
    for (int j = 0; j < 10; j++) {printf("%d\n", anint[i][j]);}
  }
}

基本上，我在Ex 函数中手动操作偏移量。我假设两个维度的长度总是相同的。

更“传统的方式”是真正的二维数组，其中每个元素都是独立的 malloc。因此，第一级数组的元素可以强制转换为指针并在第二级取消引用。但是我不愿意调用 malloc 太多次。

我希望这可以解决您的问题。