对静态数据成员的类内初始化感到困惑

Confusion about in-class initialization of static data members

本文关键字：初始化 静态 数据成员      更新时间：2023-10-16

我正在阅读 lippman 的 c++ 入门书，在第 303 页上，他们给出了这个：

class Account {
private:
  static constexpr int period = 30;
  double daily_tbl[period];
}

如果成员仅在编译器可以替换成员值的上下文中使用，则不需要单独定义初始化的 const 或 constexpr 静态。但是，如果我们在无法替换值的上下文中使用成员，则必须为该成员定义。

也：

例如，如果我们将 Account：:p eriod 传递给一个接受 const int&的函数，则必须定义 period。

所以我尝试添加这样的函数：

class Account {
private:
  static constexpr int period = 30;
  double daily_tbl[period];
  void foo(const int &i) { ; }
  void bar() { foo(period); } //no error?
};

在那里，我添加了一个函数，该函数采用 const int&。我也没有为周期变量添加任何定义。但我仍然没有错误，正如他们说的那样，我应该得到。为什么不呢？

违反此规则不需要诊断。因此，行为实际上是未定义的。

我认为不需要诊断的原因是因为诊断将由链接器给出。当编译器优化访问时（在这种情况下可能发生），链接器不会再注意到任何错误。仍然注意到此错误将需要在链接器中进行整个程序分析，以便它能够访问原始的未优化源代码表示形式。这会增加编译时间，并且需要高级链接器和编译器。

相关文章：