如何在派生类中存储基类初始化期间获得的信息

Question

我遇到的情况是，作为初始化基类的数据的副作用，派生类计算一段信息，这些信息稍后必须通过其接口提供。以下给出了问题的概念，使用布尔值作为所需信息：

class base {
public:
base(some_initialization_data);
// ... 
};
class derived : public base {
public:
derived()
: base(calc_init_data())
{
}
bool condition_x_occurred() const
{
// How to get at the information obtained 
// during the call to calc_init_data()? 
}
private:
static some_initialization_data calc_init_data()
{
// This piece of information will later be needed: 
const bool condition_x_occurred = /* ... */;
return some_initialization_data(condition_x_occurred);
}
};

这样做的问题是，在初始化基类的过程中，在初始化派生类自己的数据成员之前，会计算出重要的信息。因此，我还不能写入派生类的数据元素。虽然我确信我可以在过去20年中遇到的任何平台上使用尚未正式创建的布尔值，但我希望避免调用未定义的行为。

请注意，有问题的信息与基类完全无关，因此无法将其存储在基类中。此外，信息不能存储在静态数据成员中。我对如何重构代码有一些想法，这样我就可以做到这一点，但对于这样一个小问题，我能想到的都是侵入性的。所以我想知道你们中是否有人能想出一些简单的办法？

---

注意：由于我们使用的是嵌入式平台，因此我们只能使用GCC 4.1.2。所以严格来说是C++03(包括TR1)，但没有C++11。

Answer 1

在C++11中，您可以执行以下操作：

class derived : public base {
public:
derived() : derived(calc_init_data()) {}
bool condition_x_occurred() const { return my_condition_x_occurred; }
private:
derived(const std::pair<bool, some_initialization_data>& p) :
base(p.second), my_condition_x_occurred(p.first)
{}
static std::pair<bool, some_initialization_data> calc_init_data()
{
// This piece of information will later be needed:
const bool condition_x_occurred = /* ... */;
return std::make_pair(condition_x_occurred, some_initialization_data(condition_x_occurred));
}
private:
bool my_condition_x_occurred;
};

在C++03中，您可以将派生类更改为类似的类

class derived : public base {
public:
static derived make_derived() { return derived(calc_init_data()); }
bool condition_x_occurred() const { return my_condition_x_occurred; }
private:
derived(const std::pair<bool, some_initialization_data>& p) :
base(p.second), my_condition_x_occurred(p.first)
{}
static std::pair<bool, some_initialization_data> calc_init_data()
{
// This piece of information will later be needed:
const bool condition_x_occurred = /* ... */;
return std::make_pair(condition_x_occurred, some_initialization_data(condition_x_occurred));
}
private:
bool my_condition_x_occurred;
};

Answer 2

如果在编译器上可用，您可以使用委托构造函数：

struct derived_init
{
bool data;
some_initialization_data calc()
{
data = true;
return some_initialization_data();
}
};

class derived : public base {
public:
derived()
: derived(derived_init{})
{ }
bool condition_x_occurred() const
{
return init_data.data;
}
private:
derived(derived_init init)
: base(init.calc()), init_data(init)
{ }
derived_init init_data;
};

使用C++03，您可以使用默认参数：

class derived : public base {
public:
derived(derived_init init = derived_init{})
: base(init.calc()), init_data(init)
{
}
private:
derived_init init_data;
};