更改指针类型会导致写访问异常

Question

我试图弄清楚在缓冲区末尾附近写入一块内存是否会溢出，但我遇到了一个奇怪的问题，我猜这是由于对指针类型如何工作的一些误解。

鉴于这段代码，它只是分配内存并尝试在它的最后写入：

#include <Windows.h>
#include <stdint.h>

int main() {
    size_t size = 19200;
    int16_t* start = (int16_t*) VirtualAlloc(0, size, MEM_RESERVE | MEM_COMMIT, PAGE_READWRITE);
    int16_t* end = start + size;
    int16_t* writeToEnd = end - sizeof(int16_t);
    *writeToEnd = 1;

    return 0;
}

我在writeToEnd 收到非法写入异常。但是，如果我将所有内容都更改为 int:

#include <Windows.h>
#include <stdint.h>

int main() {
    size_t size = 19200;
    int* start = (int*) VirtualAlloc(0, size, MEM_RESERVE | MEM_COMMIT, PAGE_READWRITE);
    int* end = start + size;
    int* writeToEnd = end - sizeof(int);
    *writeToEnd = 1;

    return 0;
}

一切正常。我会理解某些值是否会导致int16_t-type 溢出，但是通过手动检查所有值，一切似乎都正常。 Visual Studio 内存窗口显示可用内存小于 end 计算的内存。

我误会了什么？不应该pointer + size == endOfBuffer，不管使用什么类型？

Answer 1

VirtualAlloc 中的第二个参数是要分配的大小，以bytes 为单位。如果你想要一个 19200 个 16 位整数的数组，你应该调用它

int16_t* start = (int16_t*) VirtualAlloc(0, size*sizeof(int16_t), MEM_RESERVE | MEM_COMMIT, PAGE_READWRITE);

那么下一行就ok了：

int16_t *end = start + size;

在这里你有效地得到了

int16_t *end = &start[size];

比开始提前 19200*2 个字节。

指针算法使用要跳过的元素数，而不是字节数。 int32_t* 加 1 跳过 4 个字节，int16_t* 加 1 跳过 2 个字节。

我不知道为什么 int 案例对你有用，因为它不应该。