c – 如果我真的想要继承STL容器,并且继承构造函数并删除新运算

#include <vector>
#include <array>
#include <iostream>

using PointType = std::array<double,3>;
class Point
:
    public PointType 
{
    public: 

        using PointType::PointType;

        Point(const Point& copy)
            :
                PointType(copy)
        {
            std::cout << "Point(const Point&)" << std::endl;
        }

        Point(Point&& rval)
            :
                PointType(rval)
        {
            std::cout << "Point(Point&&)" << std::endl;
        }

        // Prevent PolygonType* p = new Polygon; delete p;
        template<typename ...Args>
        void* operator new (size_t,Args...) = delete;
};

using PolygonType = std::vector<PointType>; 
class Polygon
:
    public PolygonType
{
    public: 

        using PolygonType::PolygonType;

        Polygon(const Polygon& copy)
            :
                PolygonType(copy)
        {
            std::cout << "Polygon(const Polygon&)" << std::endl;
        }

        Polygon(Polygon&& rval)
            :
                PolygonType(rval)
        {
            std::cout << "Polygon(Polygon&&)" << std::endl;
        }

        // Prevent PolygonType* p = new Polygon; delete p;
        template<typename ...Args>
        void* operator new (size_t,Args...) = delete;
};

如果我对从未使用Point或Polygon或类似类型的new感到满意,删除new运算符会解决未定义行为的问题：

std::array<double,3> a = new Point({1.,2.,3.})
delete a;

std :: vector< PointType>上的条件由对其起作用的算法强加的算法是：算法检查公共接口是否适合算法中的操作.如果我想要一个算法(函数模板)来查看这个点向量作为线段的开链或闭合多边形,这是一个问题.这解析了在解析函数模板候选时依赖于隐式接口.此外,概念在它们到达时对我没有帮助,因为同样,容器上的条件是相同的,我希望算法对它们做的不同.因此,如果我执行标记调度with SFINAE using the new metafunctions from type_traits以检查模板参数是否已使用特定标记进行标记,那么使用这样的具体类型并标记它们会使标记调度变得微不足道.

C 11构造函数继承也使得重新键入构造函数的旧问题消失了.

那么,当继承STL并继承构造函数并删除new运算符时,仍会爆炸的是什么？必须有一些我没有看到的东西.