相关疑难解决方法(0)

我刚刚遇到了 gcc 和 clang 的编译错误，所以我认为这段代码是不可能的：

template < typename T >
struct Type {

  using type = T;
};

template < int size = 1024 >
struct Foo {};

constexpr auto test_ = [] (const int size) {

  return Type<Foo<size>>;
};

编译错误：

test.cpp:12:19: error: non-type template argument is not a constant expression
  return Type<Foo<size>>;
                  ^
1 error generated.

问题是为什么？size是一个常量值，应该能够适合作为模板参数不是吗？我已经使用了一些静态常量值作为模板参数，但似乎不支持这种情况。