Question

我有抽象类A

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

和B级

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

我需要为B类创建构造函数，它只在dim＆gt;时才有效。 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);
  }
}

但它不起作用。我的问题有可能解决方案吗？

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，并且在转换发生时（隐式），它将测试断言，如果成功，那么您才能将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) { }
}

很酷，不是吗？

Answer 2

如果您想让第二个选项工作，则必须向A添加一个空构造函数。但是这对你没有多大帮助，因为A对象是在你输入B的构造函数之前创建的，因此无论你有一个空构造函数还是一个带有int类型对象的consturctor，你都会总是构造一个A类型的对象。

如果A就像你在这个样本中展示的一样简单，我相信即使对于无效的dims，构建它也不是什么大问题。如果它更复杂，我建议您为A创建一个ampty consturctor，尽可能初始化A的一部分，然后使用init方法来执行更复杂的操作。

覆盖构造函数c ++

2 个答案: