2

我有点困惑。下面是一个非常简单的例子：

#include <stdlib.h>

typedef struct 
{
  unsigned char one: 1;
  unsigned char two:1;
  unsigned char three: 1;
  unsigned char four: 1;
} nibble_bits;

typedef union
{
  unsigned char all : 4;
  nibble_bits bits;
} nibble;

void initArr(nibble ** arrLoc, unsigned int size)
{
  nibble * start = arrLoc[0];
  int i =0;
  for (i=0; i<size; i++)
    {
      start[i].all = 0;
    }
}

int main()
{
  nibble * fourNibbles = (nibble *) malloc(4 * sizeof(nibble));
  initArr(&fourNibbles,4);
}

这编译得很好，没有警告。但是，当我更改 main 中的第一行时：

nibble * fourNibbles = (nibble *) malloc(4 * sizeof(nibble));

至：

nibble fourNibbles[4];

我得到以下信息：

警告：main.c：在函数'main'中：main.c:150：警告：从不兼容的指针类型传递'initArr'的参数1

运行时，我收到“总线错误 10”。

在我看来，这些行在做同样的事情，除了 malloc 为堆上的数组分配空间并且数组声明在堆栈上。但是（我认为）无论哪种方式“fourNibbles”都是“指向nibble的指针”类型，因此“fourNibbles”的地址将是指向nibble的指针（nibble **）。

我在这里想念什么？

4

2 回答 2

3

这些甚至都不相同。这个

nibble * fourNibbles = (nibble *) malloc(4 * sizeof(nibble));

声明一个指针fourNibbles，而 this

nibble fourNibbles[4];

声明一个数组。数组和指针是两个完全不同的东西，它们（在对象级别）没有任何共同点。试图在对象上下文（如&运算符）中互换使用它们只会导致灾难。在 SO（搜索“数组指针差异”）以及这个 [de-facto standard] C FAQ 中有很多关于这个主题的信息：http: //c-faq.com/aryptr/index.html

不过，还有另一件事在您的代码中引起了人们的注意。你的功能

void initArr(nibble ** arrLoc, unsigned int size)

是专门为第一个变体定制的，因为它需要一个指向指针的指针作为它的第一个参数。如果您尝试将指向数组的指针强制指向第一个参数（您已经有机会亲眼观察），它将不起作用。

然而，这里真正的问题是为什么你的initArr函数以如此奇怪的方式编写。这个序列

void initArr(nibble ** arrLoc, unsigned int size)
{
  ...
  nibble * start = arrLoc[0];
  ...
    start[i].all = 0;

看起来很不寻常。为什么将指针传递给指针而不是普通的单级指针？例如，您可以简单地做

void initArr(nibble *start, unsigned size)
{
  unsigned i;
  for (i = 0; i < size; ++i)
    start[i].all = 0;
}

这个版本将被称为

initArr(fourNibbles,4); /* note: no `&` operator */

它将与malloc-ed 数组和显式声明的数组兼容。

PS 在 C 语言中，一个更好的习惯用法malloc是

nibble * fourNibbles = malloc(4 * sizeof *fourNibbles);

请注意，在此变体类型名称nibble中仅提及一次。

于 2013-09-06T17:24:16.567 回答
2

您错过了数组的地址与在表达式中使用纯数组名称时的指针具有不同的类型。

那是：

int *a1 = ...;
int a2[] = { ... };

some_func(&a1);
some_func(&a2);

除非some_func()期望void *. 第一个调用传递一个int **— 指向指针的指针int；第二个调用传递一个int (*)[]— 指向数组的指针int。&从数组中删除。

但是，在您的代码中，问题更为复杂。因为函数需要 a nibble **，所以你有问题。你应该做的是传递一个nibble *：

void initArr(nibble *arrLoc, unsigned int size)
{
    for (unsigned int i = 0; i < size; i++)
        start[i].all = 0;
}

int main(void)
{
    nibble *fourNibbles_1 = (nibble *) malloc(4 * sizeof(nibble));
    nibble fourNibbles_2[4];
    initArr(fourNibbles_1, 4);
    initArr(fourNubbles_2, 4);
    initArr(&fourNubbles_2[0], 4);
}

您的实际代码正在做一些非常奇怪的事情。它造成的损害可能取决于指针与nibble.

于 2013-09-06T17:19:02.247 回答