重载基类非虚函数中使用的虚函数

Question

嘿，我正在尝试构建 ConcavePolygon 类的以下成员函子，但由于某种原因，我收到链接器外部符号错误：

无法解析的外部符号“public: virtual void __thiscall sf::ConcavePolygon::Partition::RunAlgorithm(类 TPPLPoly &,类 std::列表> &)"

我的目标是简单地创建一个包含 SFML（lib）可以理解的图形数据的类，以及对图形数据进行分区或三角剖分（多边形）的函数，

而不是使用非常相似的代码编写两个大型函数; 一个用于三角化，一个用于做我所说的凸面，我决定尝试使用函子，并使用后代三角化和制作基本函子分区Convexulate

基类 Partition 仅包含两个函数：

• 包含所有功能的构造函数
• RunAlgorithm 函数（与构造函数分开，因此可以由后代重载）

我认为该错误与此有关。使用虚拟 RunAlgorithm 函数，因为它是构造函数所依赖的，但我猜测它会被后代以某种方式呈现为无效。

我该怎么做才能实现我的目标或解决这个问题？

这是代码：

class ConcavePolygon : public Body{ 
protected:
    std::list<Vector2f> SFMLPoints;
    std::vector <TPPLPoint> TPPLPoints; //TODO: figure out how to make a temp version without Memory Exception

public:
//////////////////// Partitioning/Triangulating Classes /////////////////////////////////////////////////////////////
    class Partition{
    public:
        virtual void RunAlgorithm(TPPLPoly& Poly, std::list<TPPLPoly>& PartitionOutput);

        Partition(){};
        Partition(ConcavePolygon* Poly, Vector2f* Points, long numbPoints){ //TODO turn this into a base class for triangulate or Convexulate

        //rev up all the needed data structs
        std::list<TPPLPoly> PartitionOutput;
        std::list <TPPLPoly> ::iterator I;

        //Backup the points, and convert them to tppl
        for(int I=0; I<numbPoints; I++){
            Poly->TPPLPoints.push_back(TPPLPoint(Points[I].x, Points[I].y));
            Poly->SFMLPoints.push_back(Points[I]);}
        TPPLPoly TempPoly(&Poly->TPPLPoints[0], numbPoints, false);

        //clear everything to be filled with the Partition Algorithm
        Poly->Clear();

        // Run the Partitioning Algorithm (This is an abstract function, and is overloaded)
        RunAlgorithm(TempPoly, PartitionOutput);

        // Convert results to SFML points, shapes, and add to the body
        for( I= PartitionOutput.begin(); I!= PartitionOutput.end();I++){
            sf::Shape TempShape;
            for(int i=0; i< I->GetNumPoints(); i++)
                TempShape.AddPoint( I->GetPoint(i).x, I->GetPoint(i).y);
            Poly->AddShape(TempShape);
        }
    };
};

    class Convexulate: public Partition{
    public:
        Convexulate(ConcavePolygon* Poly, Vector2f* Points, long numbPoints){
            Partition(Poly, Points, numbPoints);};

        void RunAlgorithm(TPPLPoly& Poly, std::list<TPPLPoly>& PartitionOutput){
            TPPLPartition Partition;
            Partition.ConvexPartition_OPT(&Poly, &PartitionOutput);
        };
    };

    class Triangulate: public Partition{
    public:
        Triangulate(ConcavePolygon* Poly, Vector2f* Points, long numbPoints){
            Partition(Poly, Points, numbPoints);};

        void RunAlgorithm(TPPLPoly& Poly, std::list<TPPLPoly>& PartitionOutput){
            TPPLPartition Partition;
            Partition.Triangulate_OPT(&Poly, &PartitionOutput);
        };
    };

//////////////////////  Constructors    /////////////////////////////////////////////////////
    ConcavePolygon(Vector2f* Points, long numbPoints){
        Convexulate(this,Points, numbPoints);
    };


};// ConcavePolygon Class

Answer 1

看起来在您的 Partition 后代中，您没有正确地将调用转发到 Partition 构造函数。相反，您正在构造一个临时 Partition 对象，然后立即将其丢弃。

struct Base {
    Base() { cout << "Base Default" << endl; }
    Base(int i) { cout << "Base Int: " << i << endl;
    ~Base() { cout << "~Base" << endl;
}

struct DerivedWrong : Base {
    DerivedWrong(int i) {
        Base(i);
        cout << "Derived Int: " << i << endl;
    }
};

如果构造一个 DerivedWrong 对象，则输出应该是

Base Default
Base Int: 5
~Base
Derived Int: 5

See that Snake destructor call before the output in the导出类构造函数？那是被销毁的临时对象。在该临时对象的构造函数中，它尝试调用您没有实现的 RunAlgorithm，因此您的链接器错误。如果您将 RunAlgorithm 设为纯虚拟[顺便说一句，您应该这样做]，您将收到有关构造抽象类型的错误，而不是链接器错误，这可能对您更有用。从理论上讲，以下内容可以解决该问题：

struct DerivedRight : Base {
    DerivedRight(int i)
      : Base(i)
    { cout << "Derived Int: " << i << endl; }
};

在这种情况下，输出就是您所期望的。

Base Int: 5
Derived Int: 5

但是，仍然存在一个问题：您无法从基类构造函数调用虚函数并获得多态行为...您最终会调用该函数的基类版本，无论它是否已被重写。您必须等到对象完全构造完毕才能获得多态行为。

基本上，在构建的每个步骤中，对象就是正在构建的任何东西。尽管它最终将成为 Triangulate 对象，但在 Partition 的构造函数中，它的行为与 Partition 相同。这意味着您仍然会遇到链接器错误。

请注意，您仍然可以从构造函数中调用虚拟方法，您只需非常注意这种行为即可。如果您非常确定 Triangulate 等永远不会派生，您可以从基类构造函数中提取代码，并将其放入 Init 方法中，该方法将被调用来自派生类的构造函数。在该方法中，虚拟调度将按需要运行。

您还可以考虑延迟初始化...存储输入参数，并且仅在第一次执行函子时执行计算。之后，只需返回缓存的结果即可。这需要大量的额外开销，但好处是完全安全，无论您的最终继承图最终是什么样子。不过，有状态函子也有自己的问题，具体取决于您计划如何使用此类。

Answer 2

要么在内部class Partition内有一个virtual void RunAlgorithm()的方法体，要么将其声明为纯virtual：

virtual void RunAlgorithm(TPPLPoly& Poly, std::list<TPPLPoly>& PartitionOutput) = 0;

有一种特殊情况， ，当声明该类或其子对象时，任何虚函数都不能保持未实现状态（即使未使用该函数）。