求证：shared_ptr多态缺陷及C++11/14数组使用限制说法是否属实

这个观点完全是真实的，在C11和C14标准下，shared_ptr确实不适合用来管理数组，尤其是涉及多态派生对象的场景，具体问题和背景可以拆解来看：

1. 原生不支持数组的核心问题 #

C++11/14的shared_ptr没有针对数组的特化版本，如果你直接写：

std::shared_ptr<MyClass> arr_ptr(new MyClass[10]);

默认的删除器会调用delete而非delete[]——这不仅会导致数组中除第一个元素外的其他对象析构函数不被调用，还可能引发内存泄漏或堆损坏，属于未定义行为。

2. 多态派生场景的致命问题 #

即使你手动指定了delete[]作为删除器，比如：

std::shared_ptr<Base> arr_ptr(new Derived[10], [](Base* p) { delete[] p; });

只要Base和Derived是多态关系（哪怕Base有虚析构），这段代码依然是未定义行为。原因在于：

• delete[]要求指针的静态类型必须与数组元素的动态类型完全匹配，否则编译器无法正确计算每个数组元素的内存偏移，会导致析构调用混乱、内存释放错误。
• 不同编译器对这种错误的容忍度不同：有些编译器可能在测试环境下看似正常运行，但在生产环境或特定架构下会触发崩溃、内存 corruption 等难以调试的问题，这也是“部分编译器下问题尤为显著”的原因。

3. 问题的修复：从提案到C++17标准 #

针对这个痛点，确实有专门的提案（比如早期的N4077）提议为shared_ptr添加数组特化，最终该提案被纳入C17标准。C17中新增了std::shared_ptr<T[]>和std::shared_ptr<const T[]>的特化版本：

• 自动使用delete[]作为删除器，无需手动指定；
• 支持通过operator[]直接访问数组元素；
• 严格限制了多态场景的使用，避免未定义行为。

4. C++11/14下的替代方案 #

如果必须在C++11/14中用智能指针管理数组，更稳妥的选择是：

• 使用std::unique_ptr<T[]>：它从C++11开始就原生支持数组特化，行为安全且高效；
• 若必须用shared_ptr，则确保数组元素类型无多态特性，且始终手动指定delete[]删除器，但这种方式依然不推荐用于多态场景。

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