[dcl.]c++标准中的Constexpr]p5

[dcl. cn]的基本原理是什么?constexpr] p5 (http://eel.is/c + +/dcl.constexpr # 5)草案?

对于非模板、非默认的constexpr函数或非模板、非默认、非继承constexpr构造函数不存在任何参数值，使得函数的调用或构造函数可以是核心常量的求值子表达式表达式([expr.const])，对于构造函数，则为常量对于某个对象([basic.start.init])的初始化器，程序是不规范的;不需要诊断。

如果程序违反了这条规则，声明违反规则的函数constexpr是无用的。那又怎样?接受对decl-specifier constexpr的无用使用，而不是触发未定义的行为(不需要诊断)，这不是更好吗?除了未定义行为的问题外，我们还遇到了规则[dcl]的额外复杂性。

在某些情况下，实现仍然可以提供它能够检测到的有用的诊断消息(按照约定的警告)。就像下面的例子:

int main() { 0; }

main中的表达式格式良好，但无用。有些编译器无论如何都会以警告的形式发出诊断消息(并且它们被允许这样做)。

我明白[dcl]。p5不需要诊断，所以我不是在问这个。