嵌套结构断裂constexpr尽管是相同的全球的人(Nested struct breaks con

我在用下面的代码的麻烦：

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)则不是。唯一改变的是一个使用一个全球性的结构coord ，而其他使用嵌套结构coord2 。该结构的身体是一样的。

为什么是这样？

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; }

这是一个常量表达式....最终，因为这说明你可以通过移动看到i进入main()