在初始化列表中调用私有函数时，是否存在未定义的行为？

Question

考虑以下代码：

struct Calc
{
   Calc(const Arg1 & arg1, const Arg2 & arg2, /* */ const ArgN & argn) :
      arg1(arg1), arg2(arg2), /* */ argn(argn), 
      coef1(get_coef1()), coef2(get_coef2()) 
   {
   }

   int Calc1();
   int Calc2();
   int Calc3();

private:
  const Arg1 & arg1;
  const Arg2 & arg2;
  // ...
  const ArgN & argn;

  const int coef1; // I want to use const because 
  const int coef2; //      no modification is needed.

  int get_coef1() const {
     // calc coef1 using arg1, arg2, ..., argn;
     // undefined behavior?     
  }
  int get_coef2() const {
     // calc coef2 using arg1, arg2, ..., argn and coef1;
     // undefined behavior?
  }

};

当我调用 get_coef1 和 get_coef2 时，struct Calc 未完全定义 该代码有效吗？我可以得到UB吗？

Answer 1

12.6.2.8：可以为正在构造的对象调用成员函数（包括虚拟成员函数，10.3）。相似地，
正在构造的对象可以是 typeid 运算符（5.2.8）或dynamic_cast（5.2.7）的操作数。然而，
如果这些操作是在构造函数初始化程序中执行的（或者在从构造函数初始化程序直接或间接调用的函数中）
在基类的所有内存初始化程序完成之前，操作的结果是未定义的。

因此，您可以通过这种方式初始化类成员，但不能初始化基类。而且，正如其他人指出的那样，如果您的函数使用成员的某些值，您应该了解成员初始化顺序。

Answer 2

由于您的计算所依赖的变量在调用时已经初始化，因此它不应该是未定义的行为。请参阅此问题了解相关信息。

Answer 3

不是它不是未定义的，而是您必须绝对确定这些成员函数仅使用初始化值。另请注意，值按照它们在类中出现的顺序进行初始化，而不是按照它们在初始化列表中出现的顺序进行初始化。例如：

struct Foo
{
  int a, b;
  int c;
  Foo(): c(1), a(1), b(1) {}
};

在该构造函数中，变量按照a、b、c的顺序初始化，列表中的顺序没有任何意义。因此，如果您希望使用 b 和 c 上的一些计算来初始化 a 的值，那么您需要移动 a 的声明code>a 到 b 和 c 之后的点。