指向结构的指针数组不完整。检测到堆栈粉碎

Question

对于难看的代码，我提前表示歉意。这只是一个概念证明。

该程序的目的是填充“数据包”，但通过 potmeter 结构的可单独访问的指针。

该程序适用于 *potPointers[3] 的完整类型。它也适用于不完整的类型 *potPointer[]。但是在运行成功后，我得到：

*** 检测到堆栈粉碎 ***：已终止
中止（核心转储）

如何成功处理指向结构的不完整指针数组？我当然可以放一个#define，但是还有别的办法吗？

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

#define BYTES_DATAWORD_POTMETER 2

typedef struct
{
    uint8_t test;
    uint8_t *datawordPointer[2];
}potmeter;

typedef struct
{
    uint8_t amountOfPots;

    size_t datapacket_size;
    uint8_t *datapacket; // needs to be malloc'ed, don't forget to free it.
    
    // Sort of working with *** stack smashing detected ***: terminated Aborted (core dumped)         
    potmeter *potPointers[];

   // Works without stack smashing.
   // potmeter *potPointers[3];     
     
}overall;


void initPointersToDatapackett(overall *allePots)
{ 
    uint8_t counter = 0;

    for(int i = 0; i < allePots->amountOfPots; i++)
    {
        // Allocate memory per pot
        allePots->potPointers[i] = malloc(sizeof(potmeter));

        // Point pointers to dataword of overall
        allePots->potPointers[i]->datawordPointer[0] = &allePots->datapacket[counter++];
        allePots->potPointers[i]->datawordPointer[1] = &allePots->datapacket[counter++];
        
    }
}



int main()
{
    overall AllePotMeters;

    AllePotMeters.amountOfPots = 3;
    AllePotMeters.datapacket = malloc(AllePotMeters.amountOfPots*BYTES_DATAWORD_POTMETER);
    

    initPointersToDatapackett(&AllePotMeters);

    //Test content of pointers to dataword
    *AllePotMeters.potPointers[0]->datawordPointer[0] = 'A';
    *AllePotMeters.potPointers[0]->datawordPointer[1] = 'B';
    *AllePotMeters.potPointers[1]->datawordPointer[0] = 'C';
    *AllePotMeters.potPointers[1]->datawordPointer[1] = 'D';
    *AllePotMeters.potPointers[2]->datawordPointer[0] = 'E';
    *AllePotMeters.potPointers[2]->datawordPointer[1] = '[=10=]';


    printf("String test %s\n", AllePotMeters.datapacket);


    free(AllePotMeters.potPointers[0]);
    free(AllePotMeters.potPointers[1]);
    free(AllePotMeters.potPointers[2]);
    free(AllePotMeters.datapacket);

    return 0;
}

Answer 1

您在此处使用的功能称为 "flexible array member"。如果数组大小为空，则 overall 结构的大小根本不包括该数组。所以 overall 类型的变量不包含你的 potPointers.

的任何内存

程序员有责任为 potPointers 分配 space。请注意，这通常意味着使用 malloc 动态分配 struct。然后，您（程序员）可以告诉它分配比 sizeof(overall).

更多的内存

例如：

overall *AllePotMeters = malloc(sizeof(overall) + 3 * sizeof(potmeter *));

如果 AllePotMeters 在堆栈上，编译器根本不会为灵活数组成员分配任何内存。所以写入它会破坏堆栈（即覆盖堆栈上的重要数据）。

指向结构的指针数组不完整。检测到堆栈粉碎

Incomplete pointer array to struct. Stack smashing detected

c

flexible-array-member