“C++的数组不支持多态”？
这篇博客澄清了一个关于“C++数组不支持多态”的常见误解，作者从微博上的一场讨论切入。文章指出，争议的核心在于对C/C++内存布局的理解差异。当使用 `Base* p = new Derived[n]` 时，删除操作能否正确调用派生类析构函数，并非语言本身的缺陷，而是涉及指针类型转换后，数组步长与对象内存布局是否匹配的根本问题。 作者通过对比C和C++进行了深入分析。在C语言中，不同大小的结构体数组被强制转型会导致严重的内存访问越界和数据混乱，这纯粹是内存模型问题。但在C++中，由于编译器通常将虚函数表指针置于对象起始位置，并且在内存对齐规则下，只要派生类大小不小于基类，数组的物理步长就是安全的。文章通过具体的代码示例和内存调试，展示了在特定内存布局下（例如派生类大小不超过基类），上述C++代码反而能正确执行。 最终，文章揭示了所谓“坑”的本质：它混淆了C语言中数组指针转换的危险性和C++对象模型的特殊性。关键在于理解对象的内存布局，而非简单断言语言特性的有无。这提醒开发者，需要扎实掌握底层内存知识，才能准确区分语言设计、编译器实现和编码错误之间的边界。
