我遇到指针问题。我的程序有许多指针，其中大多数都正常工作，但我试图在结构数组中添加一个指针数组，指向同一个结构数组中的不同成员。这应该有点像链接列表，但也有数组的好处。数组需要动态分配，因为数据是一个结构数组，其中的元素是结构数组，其中包含元素，这些元素是基本类型的数组，每个元素的数量在运行时都是未知的。我已经尝试过制作静态分配的数组来保存所有数据但最终只有很多兆字节。
我在下面创建了一个精简测试程序，只有我遇到困难的部分。
在groups[0].sub_group[0] = groups[1];行中，我尝试将指向groups[1]地址的指针分配到groups[0].sub_group。这会编译，但它会产生运行时错误＆＃39; EXE_BAD_ACCESS＆＃39;。我认为该行应该是groups[0].sub_group[0] = &groups[1];，但这甚至不能编译。
最终我想从一个函数内部运行它，所以我还需要能够使用指向组的指针进行这个赋值，比如(*p_groups)[0].sub_group[0] = groups[1];，但这也不起作用。
如果我也可以提出相关问题：有什么区别：
(*p_groups)[0].sub_group[0] = groups[1];和
p_groups[0]->sub_group[0] = groups[1];？
非常感谢任何帮助。
#include <stdio.h>
#include <string.h>
#include <stdlib.h>
typedef struct {
char * text;
int data_type_count; // count of elements in data_type_list
char * bacnet_name; // string of name
} pup_item_t;
typedef struct pup_group_t pup_group_t;
struct pup_group_t {
char * title; // Null Title indicates end of list
pup_item_t * items; // array of items
int item_count; //count of items
pup_group_t * sub_group; // array of pointers to associated sub groups
int sub_group_count; // count of sub groups
};
typedef pup_group_t * pup_group_array_t;
int main(int argc, const char * argv[])
{
pup_group_array_t groups = (pup_group_t *)malloc(sizeof(pup_group_t) * 2);
groups[0].items = (pup_item_t *)malloc(sizeof(pup_item_t)*2);
groups[1].items = (pup_item_t *)malloc(sizeof(pup_item_t)*2);
pup_group_array_t * p_groups;
p_groups = &groups;
groups[0].items[0].text = strdup("Group 0 Text 0");
groups[0].items[1].text = strdup("Group 0 Text 1");
groups[1].items[0].text = strdup("Group 1 Text 0");
groups[1].items[1].text = strdup("Group 1 Text 1");
groups[0].sub_group[0] = groups[1]; // <-- EXE_BAD_ACCESS (code = 1, address = 0x0)
(*p_groups)[0].sub_group[0] = groups[1]; // <-- EXE_BAD_ACCESS (code = 1, address = 0x0)
printf("%s \n",groups[0].items[0].text); // prints "Group 0 Text 0"
printf("%s \n",groups[1].items[1].text); // prints "Group 1 Text 1"
printf("%s \n",groups[0].sub_group->items[1].text); // <-- EXE_BAD_ACCESS (code = 1, address = 0x8)
// should print "Group 1 Text 1"
return 0;
}
2014年6月30日更新
你在我的示例代码中是对的，我忘记了malloc sub_group 。但是在我的实时代码中，我没有忘记这样做。我的实时代码是数千行，而且太大了，无法在此处发布。我编写了示例代码，以便更接近我的实时代码。示例代码现在编译并正常工作（据我所知）。但是我的实时代码没有执行。
以下是更新的示例代码：
#include <stdio.h>
#include <string.h>
#include <stdlib.h>
typedef struct {
char * text;
int data_type_count; // count of elements in data_type_list
char * bacnet_name; // string of name
} pup_item_t;
typedef struct pup_group_t pup_group_t;
struct pup_group_t {
char * title; // Null Title indicates end of list
pup_item_t * items; // array of items
int item_count; //count of items
pup_group_t * sub_group; // array of pointers to associated sub groups
int sub_group_count; // count of sub groups
};
typedef pup_group_t * pup_group_array_t;
void allocate_groups(pup_group_array_t * p_groups) {
*p_groups = (pup_group_t *)malloc(sizeof(pup_group_t) * 2);
p_groups[0]->items = (pup_item_t *)malloc(sizeof(pup_item_t) *2 );
p_groups[1]->items = (pup_item_t *)malloc(sizeof(pup_item_t) *2 );
p_groups[0]->sub_group = (pup_group_t *)malloc(sizeof(pup_group_t)* 2);
}
void assign_groups(pup_group_array_t * p_groups) {
p_groups[0]->items[0].text = strdup("Group 0 Text 0");
p_groups[0]->items[1].text = strdup("Group 0 Text 1");
p_groups[1]->items[0].text = strdup("Group 1 Text 0");
p_groups[1]->items[1].text = strdup("Group 1 Text 1");
p_groups[0]->sub_group[0] = *p_groups[1];
}
void print_groups(pup_group_array_t * p_groups) {
printf("%s \n",p_groups[0]->items[0].text); // prints "Group 0 Text 0"
printf("%s \n",p_groups[1]->items[1].text); // prints "Group 1 Text 1"
printf("%s \n",p_groups[0]->sub_group[0].items[1].text);// prints "Group 1 Text 1"
}
int main(int argc, const char * argv[])
{
pup_group_array_t groups = NULL;
allocate_groups(&groups);
assign_groups(&groups);
print_groups(&groups);
return 0;
}
以下是我的实时代码在运行时崩溃的部分：
int allocate_groups_array(char * filename, pup_group_array_t * p_groups, int * p_bacnet_count) {
int i, size;
int item[MAX_GROUPS_PER_FILE] = {0};
int levels[MAX_GROUPS_PER_FILE] = {0};
int count = scan_pup_file("ct9-103.pup", item, levels, p_bacnet_count);
*p_groups = (pup_group_t *)malloc(sizeof(pup_group_t)*(count+1));
for (i = 0; i <= count; i++) {
size = sizeof(pup_item_t) * (item[i]);
p_groups[i]->items = (pup_item_t *)malloc(size); // EXC_BAD_ACCESS (code=1, address = 0x18)
printf("group %d is level %d has %d items with size of %d \n",i,levels[i],item[i], size);
}
assign_sub_groups (p_groups, count, item, levels);
return count;
}
大小和其他变量的值是正确的。但malloc p_groups[i]->items = (pup_item_t *)malloc(size);返回EXC_BAD_ACCESS。我做错了什么？
** 2014年6月30日下午更新**
以下是有人帮助我的工作版本：
#include <stdio.h>
#include <string.h>
#include <stdlib.h>
typedef struct {
char * text;
int data_type_count; // count of elements in data_type_list
char * bacnet_name; // string of name
} pup_item_t;
typedef struct pup_group_t pup_group_t;
struct pup_group_t {
char * title; // Null Title indicates end of list
pup_item_t * items; // array of items
int item_count; //count of items
pup_group_t * sub_group; // array of pointers to associated sub groups
int sub_group_count; // count of sub groups
};
//typedef pup_group_t * pup_group_array_t;
pup_group_t * allocate_groups() {
pup_group_t * p_groups = (pup_group_t *)calloc(sizeof(pup_group_t) , 201);
p_groups[0].items = (pup_item_t *)malloc(sizeof(pup_item_t) *201 );
p_groups[1].items = (pup_item_t *)malloc(sizeof(pup_item_t) *201 );
p_groups[200].items = (pup_item_t *)malloc(sizeof(pup_item_t) *201 );
p_groups[0].sub_group = (pup_group_t *)malloc(sizeof(pup_group_t *)* 201);
return p_groups;
}
void assign_groups(pup_group_t * p_groups) {
p_groups[0].items[0].text = "Group 0 Text 0";
p_groups[200].items[0].text = "Group 200 Text 1";
p_groups[1].items[200].text = "Group 1 Text 200";
p_groups[1].items[200].text = "Group 1 Text 200";
p_groups[200].items[200].text = "Group 200 Text 200";
p_groups[0].sub_group[0] = p_groups[200];
}
void print_groups(pup_group_t * p_groups) {
printf("%s \n",p_groups[0].items[0].text); // prints "Group 0 Text 0"
printf("%s \n",p_groups[200].items[0].text); // prints "Group 200 Text 1"
printf("%s \n",p_groups[0].sub_group[0].items[200].text); // prints "Group 200 Text 200"
}
int main(int argc, const char * argv[])
{
pup_group_t * groups = allocate_groups();
assign_groups(groups);
print_groups(groups);
return 0;
}
答案 0 :(得分：3)
您尚未为sub_group成员变量分配任何存储空间。你也需要malloc。
编辑更新代码：对于真实代码，我担心可能更难诊断。
看看你是否可以访问items会员，哦，等一下。 p_groups是一个隐藏的指针，所以你有一个双指针。它是指向数组的单个指针。所以不应该是：
(*p_groups)[i].items = ...
？我想你可能会破坏你的记忆，而且它可能是malloc本身无法找到它的元数据。您也可以将转换丢失为malloc，这在C中是不必要的。
如果我也可以提出相关问题：有什么区别：
(*p_groups)[0].sub_group[0] = groups[1]; and
p_groups[0]->sub_group[0] = groups[1]; ?
是。我注意到你已经怀疑过这样的事情。区别在于第一行访问指向数组的指针，第二行访问指针数组。它们都是双重间接，但它们将数组放在不同的位置。
更容易看出我们是否将第二个表达式重写为类似的括号形式，
(*p_groups[0]).sub_groups[0] = groups[1];
并且后缀运算符首先应用，所以它等同于此。
(*(p_groups[0])).sub_groups[0] = groups[1];
小测试可能会产生误导，因为索引0可以正常工作。 *E == *(E+0) == E[0]。而其他“小”指数可能不会太远超出范围而导致严重问题。但是你可能会遇到一些奇怪的事情。更改一行修复了一些东西，即使改变不应该真正改变任何东西，这样的东西，这就是破坏内存的东西。
如果你原谅一点ascii艺术，
[ -> ]
[ -> ]
[ -> ]
[ -> ]
-> [ ]
[ ]
[ ]
[ ]