c++ - 重写构造函数 C++

Question

我有抽象类A

class A{
 public:
  A(dim) : dim_(dim);
 private:
  int dim_;
}

和B级

class B : public A{
 public:
  B(int dim);
}

我需要为类 B 创建构造函数，它仅在 dim > 1 时有效，否则抛出断言。

在这种情况下

B::B(int dim) : A(dim){
  assert(dim > 1);
}

它有效，但我认为这不是好的解决方案，因为创建和删除了类 A 的实例。

比起我为 A 类制作初始化方法:

class A{
 public:
  void init(int dim){
    dim_ = dim;
  }
  A(int dim){
    init(dim);
  }
 private:
  int dim_;
}

并更改 B 类的构造函数:

class B : public A {
 public:
  B(int dim){
    assert(dim > 1);
    init(dim);
  }
}

但它不起作用。我的问题是否有任何可能的解决方案？

Answer 1

我想你可以写一个小的 myint 类来确保你传递的 int 总是大于 1:

struct myint
{
    int data; 
    myint(int i) : data(i) { assert(data > 1); }
};

现在在你的类里面使用它:

class B : public A{
 public:
  B(myint dim) //this can still take int, due to implicit conversion! 
   : A(dim.data) { }
}

请注意，您仍然可以构造 B 传递 int，因为它将隐式转换为 myint 并且在转换发生时(隐式) ，它将测试 assert，如果成功，只有这样你才能将 dim.data 传递给基类 A。如果 assert 失败，您的程序将在进入基类构造函数之前中止(也不会在派生类中初始化任何内容)。

---

您甚至可以将其概括为:

//Summary : gint<N> makes sure that data > N
template<int N>
struct gint  //call it greater int
{
    int data; 
    gint(int i) : data(i) { assert(data > N); } //Use N here!
};

现在在你的类里面使用它:

class B : public A{
 public:
  B(gint<1> dim) //the template argument 1 makes sure that dim.data > 1
   : A(dim.data) { }
}

如果你需要另一个类，例如:

class Xyz : public A{
 public:
  B(gint<10> dim)  //gint<10> makes sure that dim.data > 10
   : A(dim.data) { }
}

很酷，不是吗？