運行時檢查失敗＃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類型名稱，使用了諸如類型名稱之類的指針來混淆代碼，並使代碼的可讀性和可維護性降低。