运行时检查失败＃2-变量'obj'周围的堆栈已损坏

Question

我收到运行时检查失败＃2-运行以下代码时，变量'obj'周围的堆栈损坏错误。 我知道这是由于覆盖'obj'的边界而导致堆栈损坏而失败的。 那么如何在这里防止缓冲区溢出。

typedef struct _INFO {
    int Count;
} Info, *InfoPtr;

#define MAX_COUNT               10

//void fn(Info(*obj)[MAX_COUNT])
void fn(Info (*obj)[MAX_COUNT])
{
    for (int i = 0; i < 2; i++) 
    {
        obj[i]->Count = i;
    }
}

int main()
{
    Info    obj[MAX_COUNT];
    fn(&obj);
    return 1;
}

Answer 1

使用Info (*obj)[MAX_COUNT]您说obj是指向Info类型的MAX_COUNT对象的数组的指针。

但是，然后像obj[i]->Count = i一样使用它，它将obj视为指向 Info对象的指针数组。 即Info *obj][] 。 不一样的东西。 这导致不确定的行为 。

解决方案非常简单，不要将指向数组的指针作为参数传递，而是将其视为对象数组而不是对象的指针。

即

typedef struct Info {
    int Count;
} Info;

#define MAX_COUNT               10

void fn(Info *obj, const size_t elems)
{
    for (size_t i = 0; i < elems; i++) 
    {
        obj[i].Count = i;
    }
}

int main()
{
    Info    obj[MAX_COUNT];
    fn(obj, MAX_COUNT);
}

更改最明显的是fn函数声明，该声明需要一个指向 Info的指针 。 那是因为数组自然会衰减到指向第一个元素的指针。 我还添加了一个参数来保存数组中元素的数量，因此该函数知道这一点。 这使函数更加通用，您可以将其传递给不同大小的不同数组。

我还更改为main函数，以完全不返回任何内容。 由于C99标准，没有显式return的main函数将由编译器隐式return 0 。 从main函数返回0通常被视为“好”或“无故障”。 返回非零值被视为失败或错误。

我还更改了您的结构名称。 在所有作用域中，编译器和标准C库都保留名称（C或预处理器），下划线前加大写字母的名称。 同样，结构标记名位于单独的命名空间中，因此您可以将结构的名称与类型名（由typedef定义的类型别名）相同。 我还删除了InfoPtr类型名称，使用了诸如类型名称之类的指针来混淆代码，并使代码的可读性和可维护性降低。