如何使用虚函数对基类进行抽象？

Question

我有以下结构

class Base
{
public:
    Base(Type);
    virtual render
}

class A
{
public:
    Base(Type == A);
    void render()
}

class B
{
public:
    Base(Type == B);
    void render()
}

void client_function()
{
    Base baseObject(A);
    //Base is an instance of class A
    baseObject.render()//runs class A render
}

据我所知，上述代码中的某些内容不是 C++，它们与 Haskell 中发现的模式匹配密切相关，但这是我能找到的最好的方式来说明我的问题，而无需已经知道答案了；）

在写作中，我希望客户端能够创建一个基础对象并将对象的类型作为参数传递，返回对象的正确规范，并且客户端不需要关心它，只需知道运行渲染将运行正确的特定渲染。

如果我不清楚，请随时提问：）

Answer 1

我认为您需要阅读有关虚拟函数和继承的内容：

http://www .parashift.com/c++-faq-lite/virtual-functions.html

http://www.parashift.com/c++-faq-lite/proper-inheritance.html

http://www.parashift.com/c++-faq-lite/abcs.html

Answer 2

您需要运行时多态性。构造函数没有太多重要的部分。您必须将 Base 继承到 A 和 B 中。例如：

class Base
{
public:
  virtual void render ();  // <--- declare 'virtual'
  virtual ~Base();  // <--- very much needed to avoid undefined behavior
};
class A : public Base //<---- inheritance
{
public:
  void render();  // <--- this also becomes 'virtual'
};
...

现在您可以根据您的要求使用。

Base *baseObject = new A();  // <----- need to use pointer (or reference)
(*baseObject).render();  // <--- other way to write: baseObject->render();
delete baseObject;

Answer 3

我不确定我是否理解你的问题。在 C++ 中，您无法在运行时选择基类，但您当然可以让基类依赖于派生类。这是通过使用模板和所谓的奇怪的重复模板模式来完成的：

template <typename T> class Base {
public:
    virtual void render(T *) {}
};

class A : public Base<A>
{
public:
    void render(A * t) {}
};

class B : public Base<B>
{
public:
    void render(B * t) {}
};

void client_function() {
    A a1;
    A a2;
    a1.render(&a2); // calls A::render
    a1.Base<A>::render(&a2); // calls Base<A>::render
    Base<A> * ba = &a1;
    ba->render(&a2); // calls A::render
}

希望这能回答您的问题问题。

Answer 4

您所要求的正是继承的用途：从专用于功能的类层次结构创建对象。

在您的示例中，除了语法问题之外，一切都会按您的预期工作，即方法 A::render 将被调用，即使您在编译时不知道该对象（声明为 < code>Base，确实是一个A。这就是虚拟继承的魔力。