c++ - const 模板参数在创建后不保留 const-ness

Question

为什么 width 在第一次实例化后不保持其 constness？

template<typename T, const std::size_t N>
class ProjectionTest
{
    std::array<T, N*N> _arr;
public:
    ProjectionTest() : width(N)
    { }

    const std::size_t width = 0;

};

ProjectionTest<int, 9> test;
ProjectionTest<int, test.width> test2;

它给出了错误:错误 C2975“N”:“ProjectionTest”的无效模板参数，预期的编译时常量表达式

Answer 1

非静态成员 width 是常量，但不是编译时常量，模板参数需要它。

您可以使用constexpr(必须是静态成员)，例如

template<typename T, const std::size_t N>
class ProjectionTest
{
    std::array<T, N*N> _arr;
public:
    ProjectionTest()
    { }

    constexpr static std::size_t width = N;

};

然后

ProjectionTest<int, test.width> test2;

LIVE with VC