如何理解标准中提到的“全表达式必须是常量表达式”

jac*_*k X 5 c++ language-lawyer constant-expression full-expression c++17

以前,标准中的一些规则说它们适用于表达式,我很困惑这些规则是否也可以任意应用于全表达式。我得到了那个问题的答案。但是,标准中有一些规则,例如“初始化的完整表达式应为常量表达式。”。如:
dcl.constexpr#9
basic.start.static#2

他们都说full-expression必须是上面这些链接中的常量表达式。
常量表达式的先决条件是它必须是一个核心常量表达式,而且它首先是一个表达式。我们知道expr.const#2中的这些规则应用于expression,而不是应用于不是表达式的 full- expression 。

一个表达式e是一个核心常量表达式除非e的评价,如下所述抽象机的规则,将评估以下中的一个表达式

但是init-declarator,哪个是形式declarator initializer(opt)不是表达式。那么如何解释一个完整的初始化表达式是一个常量表达式呢?或者,在标准方法的句子,这些表述的范围内充分表达都必须是常量表达式?