如何创建指向已初始化结构体的指针数组？

问题背景 #

定义如下结构体：

struct Path{
    int8_t maxtopy;
};

想要创建指向Path结构体的指针数组，尝试的代码出现段错误：

#define NUMBER_OF_PATHS 5

int main(){
    struct Path *paths[NUMBER_OF_PATHS]; 
    init_paths(paths);
}

void init_paths(struct Path **paths){
    paths[0]->maxtopy = -1;

    for(int i = 1; i < NUMBER_OF_PATHS; i++)
        paths[i]->maxtopy = -1;
}

原因是指针数组paths中的元素都是未初始化的野指针，仅第一个指针碰巧指向有效内存（属于偶然情况），其余指针访问时直接触发段错误。

另外尝试用static结构体绑定指针的写法：

for(int i = 1; i < NUMBER_OF_PATHS; i++){
        static struct Path a;
        paths[i] = &a;
        paths[i]->maxtopy = i;
}

但static变量仅初始化一次，导致所有指针都指向同一个结构体实例，修改值会互相覆盖。

需求是：创建指向独立、已初始化结构体的指针数组。

可行解决方案 #

1. 栈上分配结构体实例数组（适合小数量场景） #

先在栈上创建一个Path类型的实例数组，再让指针数组的每个元素指向对应位置的实例，确保每个指针都指向有效且独立的内存：

#include <stdint.h>

#define NUMBER_OF_PATHS 5

struct Path{
    int8_t maxtopy;
};

void init_paths(struct Path **paths, struct Path *instances) {
    for(int i = 0; i < NUMBER_OF_PATHS; i++) {
        paths[i] = &instances[i];
        paths[i]->maxtopy = -1; // 自定义初始化值
    }
}

int main(){
    // 栈上的结构体实例数组，每个元素都是独立的Path对象
    struct Path path_instances[NUMBER_OF_PATHS];
    struct Path *paths[NUMBER_OF_PATHS]; 
    init_paths(paths, path_instances);
    
    // 此处可正常使用指针数组paths
    return 0;
}

注意：栈空间大小有限，若NUMBER_OF_PATHS数值过大，可能导致栈溢出，此时建议用堆分配。

2. 堆上动态分配每个结构体实例（适合大数量/跨函数场景） #

通过malloc为每个指针分配独立的结构体内存，确保每个指针指向不同的实例，使用完毕后记得释放内存避免泄漏：

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

#define NUMBER_OF_PATHS 5

struct Path{
    int8_t maxtopy;
};

void init_paths(struct Path **paths) {
    for(int i = 0; i < NUMBER_OF_PATHS; i++) {
        paths[i] = malloc(sizeof(struct Path));
        // 检查内存分配是否成功
        if (paths[i] == NULL) {
            fprintf(stderr, "内存分配失败\n");
            // 释放已分配的内存，避免泄漏
            for(int j = 0; j < i; j++) {
                free(paths[j]);
            }
            exit(EXIT_FAILURE);
        }
        paths[i]->maxtopy = -1; // 自定义初始化值
    }
}

int main(){
    struct Path *paths[NUMBER_OF_PATHS]; 
    init_paths(paths);
    
    // 使用指针数组...
    
    // 用完后释放每个结构体的内存
    for(int i = 0; i < NUMBER_OF_PATHS; i++) {
        free(paths[i]);
    }
    return 0;
}

3. 使用静态/全局结构体数组（适合长期存在的实例） #

如果结构体实例不需要动态释放，可定义静态或全局的结构体数组，让指针数组指向这些实例：

#include <stdint.h>

#define NUMBER_OF_PATHS 5

struct Path{
    int8_t maxtopy;
};

// 静态全局结构体数组，生命周期覆盖整个程序运行期
static struct Path path_instances[NUMBER_OF_PATHS];

void init_paths(struct Path **paths) {
    for(int i = 0; i < NUMBER_OF_PATHS; i++) {
        paths[i] = &path_instances[i];
        paths[i]->maxtopy = -1;
    }
}

int main(){
    struct Path *paths[NUMBER_OF_PATHS]; 
    init_paths(paths);
    
    // 使用指针数组...
    return 0;
}

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