在常量表达式中调用“static constexpr”函数是...错误？ [复制]

我有以下代码：

class MyClass
{
  static constexpr bool foo() { return true; }
  void bar() noexcept(foo()) { }    
};

我希望从那时起foo() is a static constexpr函数，并且因为它之前已定义bar已声明，这是完全可以接受的。

然而，g++给我以下错误：

 error: ‘static constexpr bool MyClass::foo()’ called in a constant expression

这...没什么帮助，因为在常量表达式中调用函数的能力是整个点constexpr.

clang++更有帮助一点。除了错误消息指出参数noexcept必须是一个常量表达式，它说：

note: undefined function 'foo' cannot be used in a constant expression
note: declared here
static constexpr bool foo() { return true; }
                      ^

那么...这是一个两遍编译问题吗？问题是编译器试图在定义类中的所有成员函数之前声明它们吗？ （请注意，在类的上下文之外，编译器都不会抛出错误。）这让我感到惊讶；直觉上，我看不出任何理由static constexpr成员函数不能在类内部或外部的任何和所有常量表达式中使用。

作为 T.C.通过评论中的一些链接进行了演示，标准不是quite明确这一点；使用尾随返回类型也会出现类似的问题decltype(memberfunction()).

核心问题是，类成员通常在声明它们的类完成之后才被视为已声明。因此，无论事实如何foo is static constexpr并且它的声明先于bar，它不能被视为“可用”用于常量表达式，直到MyClass做完了。

As 沙菲克·亚格莫尔指出 https://stackoverflow.com/q/26761385/1858225，标准中尝试避免对类中成员的排序的依赖，并且显然允许原始问题中的示例进行编译会引入排序依赖（因为foo需要在之前声明bar）。然而，有already对排序的依赖性较小，因为虽然constexpr函数不能是called inside noexcept, a noexcept表达itself可能取决于类内较早的声明：

class MyClass
{
    // void bar() noexcept(noexcept(foo())); // ERROR if declared here
    static constexpr bool foo();
    void bar() noexcept(noexcept(foo())); // NO ERROR
}

（请注意，这实际上并不违反 3.3.7，因为仍然只有one此处可能存在正确的程序。）

这种行为实际上可能是违反标准的； T.C.指出（在下面的评论中）foo这里其实应该在全班范围内查找。 g++ 4.9.2 和 clang++ 3.5.1 都会失败并出现错误bar首先声明，但编译时没有错误或警告foo首先声明。EDIT:clang++ trunk-revision 238946（从 3.7.0 发布前不久开始）确实not失败时bar首先声明； g++ 5.1 仍然失败。

有趣的是，以下变体会导致 clang++ 出现“不同的异常说明符”，但是not使用 g++：

class MyClass
{
  static constexpr bool foo2();
  void bar2() noexcept(noexcept(foo2()));
};

constexpr bool MyClass::foo2() { return true; }
void MyClass::bar2() noexcept(noexcept(MyClass::foo2())) { }

根据错误提示，noexcept规范为宣言 of bar2评估为noexcept(false)，然后被认为是不匹配的noexcept(noexcept(MyClasss::foo2())).