1

我想创建一个具有纯虚函数的抽象类，该函数由非纯虚的构造函数调用。下面是我的文件class.hpp：

#ifndef __CLASS_HPP__
#define __CLASS_HPP__

#include <iostream>

class Parent {
 public:
  Parent(){
    helloWorld(); // forced to say hello when constructor called                    
  };
  virtual void helloWorld() = 0; // no standard hello...                            
};

class Child : public Parent {
 public:
  void helloWorld(){ // childs implementation of helloWorld                         
    std::cout << "Hello, World!\n";
  };
};

#endif

在此示例中，我有一个具有纯虚函数的父类helloWorld()。我希望每个派生类在调用构造函数时都说“你好”；因此为什么helloWorld()在父类构造函数中。但是，我希望每个派生类都被强制选择它如何说“你好”，而不是使用默认方法。这可能吗？如果我尝试使用 g++ 编译它，我会收到构造函数正在调用纯虚函数的错误。我main.cpp的是：

#include "class.hpp"

int main(){
  Child c;
  return 0;
}

我正在编译使用g++ main.cpp -o main.out，结果错误是：

In file included from main.cpp:1:0:
class.hpp: In constructor ‘Parent::Parent()’:  
class.hpp:9:16: warning: pure virtual ‘virtual void Parent::helloWorld()’ called from constructor [enabled by default]

有关如何以合法方式获得类似设置的任何建议？

新问题

DyP 引起了我的注意，构造函数不使用任何重写的函数，所以我想要做的事情在我设置它的方式上是不可能的。但是，我仍然想强制任何派生构造函数调用该函数helloWorld()，有什么办法吗？

4

2 回答 2

2

你的所作所为是非法的。

为了在 C++ 中定义一个抽象类，你的类必须至少有一个纯虚函数。在你的情况下

virtual void helloWorld() = 0;

在这种情况下，你是对的。

但是您的纯虚函数没有任何实现，因为它是纯虚函数。所以从同一个类的构造函数中调用纯虚函数是非法的。（在类级别纯虚函数没有任何实现）

所以，

Parent(){
helloWorld(); // forced to say hello when constructor called                    
};

这是非法的。

如果需要，您可以在派生类中实现纯虚函数，然后helloWorld()从派生类的构造函数中调用

于 2013-09-11T04:03:48.690 回答
1

为什么不简单地将它添加到每个子类的构造函数中呢？

如果您想避免每次都在构造函数中编写它（甚至跳过或继承它），那么您可以使用 CRTP：

class Parent {
 public:
  Parent(){};
  virtual void helloWorld() = 0; // no standard hello...                            
};

template <typename Par>
class ParentCRTP: public Parent {
 public:
  ParentCRTP(){
    Par::doHelloWorld();
  };
  virtual void helloWorld(){
    Par::doHelloWorld();
  }
};

class Child : public ParentCRTP<Child> {
 public:
  static void doHelloWorld(){ // childs implementation of helloWorld                         
    std::cout << "Hello, World!\n";
  };
};

这种方法不会在您孩子的 hello 方法中为您提供指向子类的指针 - 此时类实例只是Parent实例，无法获得有效的Child指针。要在构造后强制执行Child' 方法，您只能使用两个阶段初始化：首先使用构造函数创建类实例，然后使用单独的方法对其进行初始化。

除此之外，像这样的问题可能是重新思考您的设计的提示。你不应该强迫你的类以给定的方式初始化自己。

于 2013-09-11T03:57:04.820 回答