9

我正在阅读 lippman 的 c++ 入门书,位于 p。303 他们给了这个:

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

如果成员仅在编译器可以替换成员值的上下文中使用,则不需要单独定义初始化的 const 或 constexpr static。但是,如果我们在值不能被替换的上下文中使用该成员,则该成员必须有一个定义。

还:

例如,如果我们将 Account::period 传递给接受 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& 的函数。我也没有为周期变量添加任何定义。但我仍然没有得到任何错误,正如他们所说的那样。为什么不?

4

1 回答 1

6

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

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

于 2013-01-27T12:49:30.833 回答