C++ 方法中的抽象 class 指针

Question

所以我有一个c++项目，我正在研究，我试图理解其他人的代码，但我得到的只是关于 c++ 抽象类的错误和困惑。

所以我有一个 header 文件一个 cpp 文件和一个主程序。

我想创建一个抽象的 class 指针，然后将其传递给将其初始化为子类的方法，然后返回到主程序中，我可以将其用作子类：

主.cpp：

#include "a.h"
#include <iostream>

using namespace std;

void parse(A* a){
  a = new B();
  a->foo();
}

int main() {
  A* a;
  parse(a);
  a->foo();
}

啊：

class A{
  public:
    virtual void foo() const = 0;
    virtual ~A(){ }
};

class B : public A{
  public:
    void foo() const override;
};

class C : public A{
  public:
    void foo() const override;
};

a.cpp

#include <iostream>
#include "a.h"

void B::foo() const{
  std::cout << "B" << std::endl;
}

void C::foo() const{
  std::cout << "C" << std::endl;
}

基本上在这里，我认为我应该 cee 一个 B 但我得到一个分段错误或程序退出而不打印任何东西。

谢谢您的帮助！

Answer 1

在 main 中，您有未初始化的指针a

int main() {
  A* a;
  parse(a);
  a->foo();
}

所以这个说法

  a->foo();

导致未定义的行为。

至于 function 解析

void parse(A* a){
  a = new B();
  a->foo();
}

然后它处理它的局部变量a 。 更改局部变量不会影响 main 中声明的原始指针。

您需要将参数声明为具有引用类型

void parse(A* &a){
  a = new B();
  a->foo();
}

在这种情况下，main 中声明的指针 a 将通过引用传递给 function，而 function 将更改原始指针 a。

Answer 2

除了弗拉德的回答中描述的未定义行为问题外，即使main中的指针已正确初始化，您的示例也会泄漏 memory。

我推荐一个替代解决方案。 我建议不要使用拥有裸指针，而不是通过引用修改指针。 相反，返回指针，并使用智能指针作为所有权：

std::unique_ptr<A>
parse(){
    auto a = std::make_unique<B>;
    a->foo();
    return a;
}

int
main() {
    auto a = parse();
    a->foo();
}