const值作为模板参数

Question

我只是遇到了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是一个const值，应该能够适合作为模板参数吗？ 我已经使用了一些静态const值作为模板参数，但是似乎不支持这种情况。

Answer 1

size是一个const值，应该能够适合作为模板参数吗？

不，在编译时不一定知道const值（即它们不是常量表达式 ） 。

您想要的是std::integral_constant ：

constexpr auto test_ = [] (auto size) 
{
    return Type<Foo<size>>{};
};

test_(std::integral_constant<int, 100>{});

---

正如Rakete1111在评论中提到的，该行return Type<Foo<size>>; ;。 也是格式错误的-您可能想像上面一样实例化它。