尽管嵌套结构与全局结构相同，但它会破坏constexpr

Question

我在使用以下代码时遇到问题：

template<typename T>
constexpr int get(T vec) {
  return vec.get();
}

struct coord {
  constexpr int get() const { return x; }
  int x;
};

struct foo {
    struct coord2 {
      constexpr int get() const { return x; }
      int x;
    };
    constexpr static coord f = { 5 };
    constexpr static int g = get(f); // works

    constexpr static coord2 h = { 5 };
    constexpr static int i = get(h); // doesn't work
};

constexpr coord foo::f;
constexpr foo::coord2 foo::h;

int main(){}

本质上，get（f） 被认为是一个常量表达式，但 get（h） 不是。唯一更改的是，一个使用全局结构坐标，而另一个使用嵌套结构坐标2。结构体是相同的。

为什么会这样？

GCC误差:

test.cpp:20:35: error: field initializer is not constant

叮当错误：

test.cpp:20:26: error: constexpr variable 'i' must be initialized by a constant expression
    constexpr static int i = get(h); // doesn't work
                         ^   ~~~~~~
test.cpp:8:10: note: undefined function 'get' cannot be used in a constant expression
  return vec.get();
         ^
test.cpp:20:30: note: in call to 'get({5})'
    constexpr static int i = get(h); // doesn't work
                             ^
test.cpp:13:21: note: declared here
      constexpr int get() const { return x; }

Answer 1

这是一个不变的表达。最终，如图所示，您可以通过将 i 移动到 main（） 中看到：

< Li > http://ideone . com/Luc fui

错误消息非常清楚发生了什么，这就是＜code＞foo:：coord2：：get（）＜/code＞尚未定义，因为成员函数定义被延迟到封闭类结束，以便它们可以使用稍后声明的成员。

定义延迟到最外层封闭类的末尾有点令人惊讶，但如果foo:：coord2:：get（）无法访问foo:：g，则会更加惊讶。

本标准与编译器一致，但第9.2p2节的部分内容如下

在类成员规范中，该类在函数体、默认参数、异常规范以及非静态数据成员的大括号或相等的初始值设定项（包括嵌套类中的此类内容）中被视为完整的。

不幸的是，只能推断类声明的右括号成为这些延迟区域的定义点。我认为这是标准中的一个缺陷，它没有明确说明这一点。

另请参见:

< Li > https://stack overflow . com/a/11523155/103167