c++ - 关于Abstract pure virtual function Runtime Segment Fault的问题

Question

在下面的代码中，我试图实现 Sean Parent 的 Better Code Run Time Polymorphism。我的问题是

1) 当我尝试将 struct TConcept 的方法定义为抽象虚拟时，代码无法编译。错误消息非常严重。谁能解释一下如何解决这个问题

2) 当我尝试在 main 函数中插入以下行并尝试运行代码片段时，我收到了段错误。我该如何修复它。

//文档.emplace_back(文档);

谢谢

萨贝泰

我正在使用以下在线 C++ 编译器。
https://wandbox.org/

#include <iostream>
using namespace std;
#include <vector>
#include <memory>
#include <cstdio>
#include <cassert>
#include <functional>
#include <algorithm>    // std::reverse
template<typename T>
void draw(ostream& os, const T& Entry)  {
    os << Entry << endl;
}
class TObject {
public :
    template<typename T>
    TObject(T Entry) : Self(make_unique<TModel<T>>(move(Entry))) {}
    friend void draw(ostream& os, const TObject& Entry) {
        Entry.Self->ModelDraw(os);
    }
    TObject(const TObject& Entry) : Self(Entry.Self->Copy()) {}
    TObject& operator=(TObject& Entry) { return *this = TObject(Entry); }
    TObject(TObject&& Entry) noexcept = default;
    TObject& operator=(TObject&& Entry) noexcept = default;
private :
    struct TConcept {
        virtual ~TConcept() = default;
        virtual void ModelDraw(ostream& os) const {} //  Must be abstract function
        virtual unique_ptr<TConcept> Copy() const {} //  Must be abstract function
    };
    template<typename T>   
    struct TModel final : TConcept {
        T Data;
        TModel(T Entry) : Data(move(Entry)) { } 
        void ModelDraw(ostream& os) const override {
            draw(os, Data);    
        }
        unique_ptr<TConcept> Copy() { return make_unique<TConcept>(*this); }
    };
    unique_ptr<TConcept > Self;
};
using TDocument = vector<TObject>;
void draw(ostream& os, const TDocument& vDoc) {
    os << " Document Start" << endl;
    for(auto& Entry : vDoc)
        draw(os, Entry);
    os << " Document End " << endl;
}
int main() {
TDocument Document;
    Document.reserve(5);
    Document.emplace_back(0);
    Document.emplace_back(1);
    Document.emplace_back(" Hello World ");
    Document.emplace_back(Document); // This line is giving Segment fault why
    reverse(Document.begin(), Document.end());
    draw(cout,Document);
    return 0;
}

Answer 1

1) Copy()在 TModel 中发挥作用constness 不同于 Copy() const在基类中。所以它不是覆盖，使派生类也抽象。

2)我不知道你的意图Document.emplace_back(Document);去做。对我来说，它看起来像是在尝试插入 Document进入自身。

如果不出意外， Document存储 TObject 类型的元素, 不是 TDocument 类型，所以这是行不通的。

---

进一步看，Document正在存储持有指向其他对象的指针的对象(很好地隐藏在嵌套类中)。所以它可能持有一个指向自身的包装指针。

Document.emplace_back(Document); 的主要问题是被覆盖的Copy()函数试图做 return make_unique<TConcept>(*this); .然而，make_unique<TConcept>将尝试做 new TConcept(parameters) ，这在 TConcept 时不起作用是抽象的。

我可以通过修改 TModel::Copy 来获得编译和运行的代码在这个相当讨厌的部分中发挥作用:

unique_ptr<TConcept> Copy() const override 
{ return unique_ptr<TConcept>(new TModel(*this)); }

它现在是否有任何用处，我还不能确定。 :-)