C语言：通过指针引用修改结构体数组元素的效率及优化方案

定义的结构体数组 #

typedef struct custom_struct
{
    bool my_bool;
    float my_float;
    char my_text[100];
} custom_struct;

custom_struct my_struct[] = {
        {false, 1.0, "text_1"},
        {false, 2.0, "text_2"},
        {false, 3.0, "text_3"},
        {false, 4.0, "text_4"},
        {false, 5.0, "text_5"},
    };

函数调用与定义 #

// 函数调用：
toggle_state(0, &my_struct);

// 函数定义
void toggle_state(int idx ,custom_struct (*p)[])
{
    if ((*p)[idx].my_bool == true)
    {
        (*p)[idx].my_bool = false;
    }
    else
    {
        (*p)[idx].my_bool = true;
    }
}

核心问题 #

希望通过传递结构体数组的指针到函数中修改数组第n个下标的结构体元素，若该函数在循环中被调用10万次以上，此方式是否能提升效率？有没有更优的实现方案？

当前实现的效率分析 #

当前传递数组指针的方式，不会带来额外效率损耗。在C语言中，数组作为参数传递时会被隐式转换为指向首元素的指针，你显式传递数组指针的写法，和直接声明参数为custom_struct p[]（实际编译后等价于custom_struct *p）的实现，生成的机器码几乎完全一致。

10万次调用的量级下，这个实现的性能瓶颈不在参数传递环节，单次函数调用的开销和布尔值读写、分支判断的成本极低，总耗时可以忽略不计。

更优实现方案 #

1. 简化分支逻辑 #

布尔值的翻转可以直接用逻辑非或位异或操作替代分支判断，减少分支预测失败的潜在影响（现代CPU分支预测精度很高，但极端场景下仍有优化空间），同时简化代码：

void toggle_state(int idx, custom_struct *p)
{
    // 逻辑非写法，可读性更好
    p[idx].my_bool = !p[idx].my_bool;
    // 或位异或写法，效果一致
    // p[idx].my_bool ^= 1;
}

将参数改为custom_struct *p，写法更简洁，效率和原实现完全一致，可读性更强。

2. 消除函数调用开销 #

如果10万次调用是在连续循环中执行，可以将翻转逻辑直接内联到循环内部，省去函数调用的栈帧创建与销毁开销（虽然编译器可能自动做内联优化，但显式内联或直接编写逻辑能确保这一点）：

// 示例：循环内直接处理翻转逻辑
for (int i = 0; i < 100000; ++i) {
    // 假设每次操作的下标是动态计算的，比如循环取模
    int target_idx = i % 5;
    my_struct[target_idx].my_bool = !my_struct[target_idx].my_bool;
}

3. 内存布局优化（极端高频场景） #

如果只有my_bool是高频修改的字段，可考虑将其从结构体中拆分出来单独做成数组。原结构体中my_text占100字节，整体体积较大，连续访问不同结构体的my_bool时，缓存会加载大量无关的my_float和my_text数据，浪费缓存空间。拆分后能提升缓存命中率，进而优化性能：

// 拆分后的独立数组
bool struct_bools[] = {false, false, false, false, false};
float struct_floats[] = {1.0, 2.0, 3.0, 4.0, 5.0};
char struct_texts[5][100] = {"text_1", "text_2", "text_3", "text_4", "text_5"};

// 翻转操作直接针对bool数组
void toggle_state(int idx)
{
    struct_bools[idx] = !struct_bools[idx];
}

内容的提问来源于stack exchange，提问作者Rohit Kumar J