覆盖构造函数c++

override constructor c++

本文关键字：c++ 构造函数 覆盖      更新时间：2023-10-16

我有一个抽象类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类创建init-method:

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);
  }
}

但它不起作用。我的问题有什么可能的解决办法吗?

我认为你可以写一个小的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，而转换发生时(隐式地)，它将测试断言，如果成功，只有这样您才能将dim.data传递给基类A。如果断言失败，程序将在进入基类构造函数之前中止(也不初始化派生类中的任何内容)。

你甚至可以把它概括为:

//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) { }
}

很酷,不是吗?

如果您想让第二个选项工作，您必须向A添加一个空构造函数。但是，这不会给您带来太大的帮助，因为A对象是在您进入B的构造函数之前创建的，因此，无论您有一个空的构造函数还是一个接受int类型对象的构造函数，您总是会构造一个A类型的对象。

如果A像你在这个例子中展示的那样简单，我相信即使对于无效的dims，构建它也不是什么大问题。如果它更复杂，我建议你为A创建一个空构造函数，它初始化A的尽可能少的部分，然后一个init方法来做更复杂的东西。

相关文章：