为何无法将const数据成员用作模板参数？C++编译问题分析

先看你给出的原结构体代码：

template <const int nrow, const int ncol>
struct Mat{
    const int row_size = nrow;
    const int col_size = ncol;
    std::array<std::array<float, ncol>, nrow> mat;
};

错误原因 #

你遇到的编译错误“Non-type template argument is not a constant expression”，核心问题在于非静态的const成员变量不属于编译期常量表达式：

• 原代码里的col_size是类的非静态成员，它属于Mat的每个实例对象，每个对象都有自己的一份col_size拷贝。
• 虽然它被初始化为模板参数ncol，但从C++语法规则上，编译器不会把对象的非静态const成员视为编译期常量——因为语法上允许通过一些技巧（比如const_cast）修改这类成员（尽管这是未定义行为），编译器无法在编译期确保它的值绝对固定。
• 而std::array的模板参数要求必须是编译期可确定的常量表达式，所以当你用mat.col_size（对象的成员）作为模板参数时，编译器判定它不满足要求，直接报错。

static关键字的作用 #

把col_size改成static const后，情况完全改变：

• static const成员属于整个模板实例化后的类（比如Mat<3,3>这个类），而不是某个具体对象。它的值在模板实例化时就绑定到模板参数ncol，编译期就完全确定。
• 这类静态常量成员是C++标准认可的编译期常量表达式，完全符合std::array模板参数的要求，因此可以正常通过编译。

修改后的正确结构体代码示例：

template <const int nrow, const int ncol>
struct Mat{
    static const int row_size = nrow;
    static const int col_size = ncol;
    std::array<std::array<float, ncol>, nrow> mat;
};

内容的提问来源于stack exchange，提问作者MOON