微软文档中的该C++代码实例是否属于Heap Buffer Overflow？我是否理解有误？

微软的标注没有错误，是你对缓冲区溢出的概念理解偏窄了。

缓冲区溢出的核心定义是：程序试图访问或写入超出自身合法分配的内存缓冲区范围之外的空间——这个缓冲区不一定是数组，结构体、类实例本质上也是一块连续的内存缓冲区，只要越界操作就属于缓冲区溢出。

我们来拆解这段代码的问题：

• new Parent在堆上分配了一块仅能容纳Parent类实例的内存（大小等于一个int，通常是4字节）。
• 强制将Parent*转换为Child*后，c->extra_field = 42这行代码会试图往Parent实例内存的后续4字节空间写入数据。
• 这部分后续内存并没有被合法分配给当前对象，属于堆内存中已分配缓冲区之外的区域，完全符合堆缓冲区溢出的判定标准。

传统认知里的数组溢出只是缓冲区溢出最常见的场景，但实际上只要是越界操作已分配的内存块，不管是数组、结构体还是类对象，都属于缓冲区溢出范畴。比如你定义了一个只有2个成员的结构体，却试图给第3个成员赋值，这同样是缓冲区溢出——和这段代码的本质是一样的。

内容的提问来源于stack exchange，提问作者user185543